C程序非法计算缺陷的静态检测
董玉坤
Illegal computing defect detection by static analysis for C program
DONG Yukun
计算机工程与应用 . 2016, (19): 31 -36 .