/casper

Open-science code of "Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces" (JSS'16).

Primary LanguageJava

No issues in this repository yet.