Computing Must and May Alias to Detect Null Pointer Dereference.

Xiaodong Ma, Ji Wang, Wei Dong

Browse the full ISoLA paper archive.