Qian Wang, Dahai Jin, Yunzhan Gong, Hongbo Zhou. Detecting Null-dereference Bugs via a Backward Analysis. JSW, 8(12):3120-3131, 2013. [doi]
@article{WangJGZ13,
title = {Detecting Null-dereference Bugs via a Backward Analysis},
author = {Qian Wang and Dahai Jin and Yunzhan Gong and Hongbo Zhou},
year = {2013},
doi = {10.4304/jsw.8.12.3120-3131},
url = {http://dx.doi.org/10.4304/jsw.8.12.3120-3131},
researchr = {https://researchr.org/publication/WangJGZ13},
cites = {0},
citedby = {0},
journal = {JSW},
volume = {8},
number = {12},
pages = {3120-3131},
}