一种基于静态分析的自动化代码审计方法及系统
摘要:
本发明涉及一种基于静态分析的自动化代码审计方法及系统,通过将非结构化的源代码经过抽象语法树构造、依赖分析及数据分析,输出结构化的AST、CFG以及PDG,达到对代码更准确地进行审计分析的目的,还采用了多种静态分析方法对程序依赖图进行检测,以达到检测目标源代码是否存在安全脆弱的目的。
0/0