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

【文件属性】：
文件名称：基于抽象语法树的数组越界的静态检测方法 (2006年)
文件大小：266KB
文件格式：PDF
更新时间：2021-05-22 03:42:42
工程技术 论文 针对数组访问越界这一类安全漏洞，以源程序的抽象语法树作为分析对象，提出了一种新的静态解决方案。该方案通过分析数组访问越界安全漏洞的表现，抽象出安全模式，然后根据安全模式以及遍历ast过程中记录的节点属性构建安全规则，最后在安全规则的指导下实现对安全漏洞的检测。