Computing Must and May Alias to Detect Null Pointer Dereference.

Xiaodong Ma Ji Wang Wei Dong Computing Must and May Alias to Detect Null Pointer Dereference. 252-261 2008 ISoLA http://dx.doi.org/10.1007/978-3-540-88479-8_18 conf/isola/2008 db/conf/isola/isola2008.html#MaWD08