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

摘要：

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

关键词：软件保护、代码混淆、符号执行、异常处理、不透明谓词

所属期刊栏目：48

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目60973141;天津市自然科学基金项目09JCYBJ00300;高等学校博士学科点专项科研基金项目20100031110030;计算机软件新技术国家重点实验室南京大学开放课题KFKT2011B28

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：2111-2119