论文研究-基于最弱前置条件的静态分析误报消除技术.pdf

【文件属性】：

文件名称：论文研究-基于最弱前置条件的静态分析误报消除技术.pdf

文件大小：501KB

文件格式：PDF

更新时间：2022-09-27 16:15:11

论文研究

针对程序静态分析技术误报过多的问题，提出一种基于最弱前置条件的静态分析误报消除方法。根据不同的软件安全性质，从目标状态出发，以需求驱动的方式得到过程起始位置的最弱前置条件，判断该条件公式的可满足性来消除误报。将该方法实例化来消除静态分析工具检测数组访问越界和空指针解引用的误报，实验结果表明该方法是有效且实用的。