Casper: Automatic tracking of null dereferences to inception with causality traces

Benoit Cornu, Earl T. Barr, Lionel Seinturier, Martin Monperrus. Casper: Automatic tracking of null dereferences to inception with causality traces. Journal of Systems and Software, 122:52-62, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.