[00003391]一种静态分析辅助的符号执行漏洞检测方法
技术详细介绍
一种静态分析辅助的符号执行漏洞检测方法，包括轻量级符号执行、图生成、静态分析和符号执行等阶段；轻量级符号执行阶段，使用KLEE符号执行工具以简单的符号化策略在很小的时间开销下对目标程序字节码文件进行符号执行以获得完成链接过程后的完整程序的字节码；图生成阶段，在完整程序的字节码的基础上，通过使用LLVM3.1工具集中的opt工具生成完整程序的函数调用图与各个函数的控制流图；静态分析阶段，以完整程序的函数调用图、各个函数的控制流图以及配置文件作为输入；符号执行阶段，使用有效跳转表与分支打分表辅助漏洞检测符号执行。
