基于静态分析的Web应用代码审计系统研究
来源：计算机应用与软件杂志2025年第11期北京时间：
作者：方圆, 张亮, 许静萱, 沈越欣
摘要：该文研究基于语义的Web应用代码审计，通过静态分析的手段自动化定位漏洞。系统处理流程分为两个阶段：第一阶段是前期编译，通过静态分析技术将代码转换成抽象语法树，并输出适合后续处理的程序控制流图；第二阶段是漏洞利用，以程序控制流图为输入，定位潜在威胁函数的同时进行回溯操作与污点分析。该文提出污点分析的惰性策略，对传统静态分析流程进行了改进和优化。与当前流行的漏洞分析软件Rips商业版进行对比，该系统检出的有效漏洞数量显著超出，展现了较好的漏洞检测能力。
关键词：Web应用安全, 代码审计, 自动漏洞分析, 静态分析, 污点分析
