-
题名基于抽象语法树的数组越界的静态检测方法
被引量:2
- 1
-
-
作者
徐明昌
刘坚
-
机构
西安电子科技大学软件工程研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2006年第1期108-109,205,共3页
-
基金
武器装备预研基金资助项目
-
文摘
针对数组访问越界这一类安全漏洞,以源程序的抽象语法树作为分析对象,提出了一种新的静态解决方案。该方案通过分析数组访问越界安全漏洞的表现,抽象出安全模式,然后根据安全模式以及遍历ast过程中记录的节点属性构建安全规则,最后在安全规则的指导下实现对安全漏洞的检测。
-
关键词
数组访问越界
抽象语法树(AST)
安全漏洞
安全模式
安全规则
-
Keywords
Array access violation
Abstract syntax tree
Safety vulnerability
Safety pattern
Safety rule
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于最弱前置条件的静态分析误报消除技术
被引量:1
- 2
-
-
作者
陈杰
-
机构
国防科学技术大学计算机学院并行与分布处理国家重点实验室
-
出处
《计算机工程与应用》
CSCD
2012年第33期1-4,33,共5页
-
基金
国家自然科学基金(No.61120106006
No.91118007)
-
文摘
针对程序静态分析技术误报过多的问题,提出一种基于最弱前置条件的静态分析误报消除方法。根据不同的软件安全性质,从目标状态出发,以需求驱动的方式得到过程起始位置的最弱前置条件,判断该条件公式的可满足性来消除误报。将该方法实例化来消除静态分析工具检测数组访问越界和空指针解引用的误报,实验结果表明该方法是有效且实用的。
-
关键词
静态分析
误报消除
最弱前置条件
数组访问越界
空指针解引用
-
Keywords
static analysis
reduce false alarms
weakest precondition
array bounds violation
null pointer dereference
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-