Detecting all potential null dereferences based on points-to property sound analysis

作者:Yukun, Dong
来源:International Journal of Computers and Applications, 2020, 42(2): 187-195.
DOI:10.1080/1206212x.2018.1476805