计算机应用研究

作者：李自友,黄晓芳,殷明勇,

单位：1.西南科技大学计算机科学与技术学院,四川绵阳621000；2.计算机应用研究所,四川绵阳621000；

关键词：控制流图,二进制程序,混合分析,二进制重写,

基金：四川省科技厅重点研发资助项目(2022YFG0321)；四川省自然科学基金资助项目(2022NSFSC0916)；；

控制流图（CFG）是二进制程序分析的基础。传统静态分析方法构建控制流图速度快，代码覆盖率高，但不能解决间接跳转问题；动态分析方法能够分析间接跳转，但代码覆盖率低、性能开销大。为更加高效构建完备的控制流图，提出静态动态结合的混合分析方案。首先使用静态分析获取程序的初始控制流图，采用模糊测试的方法获取目标程序不同执行流的输入数据，诱导重写后的目标程序执行获取间接跳转地址；融合静态分析和动态分析结果，从而高效构建完备的控制流图。通过实验验证，该混合分析方案相比于现有的混合分析方案，能够构建更加完整的控制流图，相比于基于动态二进制插桩的混合分析方案效率更高。

来源：2025年第2期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2025年第2期