Null pointer dereference defects detection based on property sound analysis
DONG Yukun
Computer Engineering and Applications . 2016, (22): 9 -14 .