文件名称：论文研究-一种面向二进制的控制流图混合恢复方法.pdf
文件大小：476KB
文件格式：PDF
更新时间：2022-08-11 13:48:08
二进制分析,符号执行,反向切片,控制流图
控制流图恢复是进行二进制文件安全性分析的基础，静态恢复分析速度快，但其精确度欠缺；动态恢复方法的优点是精确度高，但分析效率较低。将两者优点结合，提出了面向二进制程序的混合分析恢复方法，在对二进制文件进行静态分析生成控制流图的基础上，结合局部符号执行技术和反向切片技术对间接分支跳转的目的地址进行求解，之后再分析边和节点的可达性，合并不可达的边和节点。经实验验证，混合方法的分析效率与静态方法相近，远高于纯动态分析方法，其精确度较静态方法有较大提高。