Null dereference verification via over-approximated weakest pre-conditions analysis.

Ravichandhran Madhavan, Raghavan Komondoor

Browse the full OOPSLA paper archive.