Verifying dereference safety via expanding-scope analysis.

Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda

Browse the full ISSTA paper archive.