Illegal computing defect detection by static analysis for C program
DONG Yukun
Computer Engineering and Applications . 2016, (19): 31 -36 .