路径模糊:一种有效抵抗符号执行的二进制混淆技术

• 作者: 刘昕 刘昕海 王志 贾春福
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 软件保护 代码混淆 符号执行 异常处理 不透明谓词
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 软件技术
• 页码范围: 2111-2119
• 分类号: TP311
• 字数: 5894字
• 语种: 中文

摘要

符号执行能够对软件的路径分支信息进行收集和形式化表示,然后通过路径可达性推理得到软件行为同用户输入、网络输入等外部执行环境间的依赖关系.这些依赖关系已被广泛地应用到漏洞发掘、代码复用、协议分析等领域.该逆向分析技术也可被黑客用于软件破解、篡改和盗版等,对软件知识产权的保护带来了新的威胁.提出了一种新的基于路径模糊的软件保护方法以抵抗基于符号执行的逆向分析:利用条件异常代码替换条件跳转指令来隐藏程序的路径分支信息,使用不透明谓词技术引入伪造的路径分支来弥补程序在统计属性上的差异,并对路径模糊技术的强度、弹性和开销进行了分析.实验结果表明路径模糊技术能保护各类路径分支条件,有效减少路径分支信息的泄露,抵抗基于符号执行的逆向分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贾春福	南开大学信息技术科学学院	72	689	14.0	21.0
2	王志	南开大学信息技术科学学院	51	299	11.0	15.0
3	刘昕	南开大学信息技术科学学院	13	216	5.0	13.0
4	刘昕海	南开大学信息技术科学学院	1	12	1.0	1.0