基于抽象语法树的数组越界的静态检测方法

• 作者: 刘坚 徐明昌
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 数组访问越界 抽象语法树(AST) 安全漏洞 安全模式 安全规则
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 108-109,205
• 页数: 3页
• 分类号: TP311
• 字数: 3436字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.01.038

摘要

针对数组访问越界这一类安全漏洞,以源程序的抽象语法树作为分析对象,提出了一种新的静态解决方案.该方案通过分析数组访问越界安全漏洞的表现,抽象出安全模式,然后根据安全模式以及遍历ast过程中记录的节点属性构建安全规则,最后在安全规则的指导下实现对安全漏洞的检测.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘坚	西安电子科技大学软件工程研究所	28	264	10.0	15.0
2	徐明昌	西安电子科技大学软件工程研究所	1	12	1.0	1.0