基于动静态程序分析的整形漏洞检测工具

陈平, 韩浩, 沈晓斌, 殷新春, 茅兵, 谢立

Detecting Integer Bugs Based on Static and Dynamic Program Analysis

CHEN Ping, HAN Hao, SHEN Xiao-bing, YIN Xin-chun, MAO Bing, XIE Li

电子学报 . 2010, (8): 1741 -1747 .