数组访问越界相关论文
针对程序静态分析技术误报过多的问题,提出一种基于最弱前置条件的静态分析误报消除方法。根据不同的软件安全性质,从目标状态出发......
针对数组访问越界这一类安全漏洞，以源程序的抽象语法树作为分析对象，提出了一种新的静态解决方案。该方案通过分析数组访问越界安全......
