基于回调函数的控制流深度模糊模型

来源：软件学报杂志2022年第5期北京时间：

作者：沙子涵，舒辉，武成岗，熊小兵，康绯

单位：沙子涵，数学工程与先进计算国家重点实验室, 河南 郑州 45000111,舒辉，数学工程与先进计算国家重点实验室, 河南 郑州 45000102,武成岗，中国科学院 计算技术研究所, 北京 10019003,熊小兵，数学工程与先进计算国家重点实验室, 河南 郑州 45000104,康绯，数学工程与先进计算国家重点实验室, 河南 郑州 45000105

摘要：控制流是程序过程的抽象表现, 对控制流进行混淆, 可有效提高代码抗逆向能力. 提出了控制流深度模糊思想:针对循环结构, 利用回调函数构造等价循环模型, 将过程内基本块跳转变更为过程间函数调用, 对抗逆向技术. 综合应用控制流分析和数据流依赖性分析, 建立了基于回调函数的控制流深度模糊模型, 并给出功能一致性证明. 为进一步增大混淆强度, 设计并实现了函数调用融合算法, 构造更为复杂的函数调用过程. 最后, 使用OpenSSL和SpecInt-2000标准测试套件作为测试集, 验证了模型的可行性和有效性.

关键词：深度模糊;回调函数;循环结构;数据流依赖;代码变换

基金资助：国家重点研发计划(2016YFB08011601)