微机发展2004，Vol.14Issue(6)：99-101,3.
静态检测缓冲区溢出漏洞
Statically Detecting Buffer Overflow Vulnerabilities
摘要
关键词
缓冲区溢出/安全漏洞/静态分析/静态检测/注解/Splint分类
信息技术与安全科学引用本文复制引用
李建平,刘坚..静态检测缓冲区溢出漏洞[J].微机发展,2004,14(6):99-101,3.基金项目
武器装备预研基金资助项目(51406070101DZ0151) （51406070101DZ0151）
