Precise Null Pointer Analysis Through Global Value Numbering.

Ankush Das, Akash Lal

Browse the full ATVA paper archive.