电子学报Issue(5)：870-878,9.DOI:10.3969/j.issn.0372-2112.2015.05.006
一种抵抗符号执行的路径分支混淆技术
Branch Obfuscation to Combat Symbolic Execution
摘要
Abstract
At run time ,a large number of program branching information is leaked .Branching information is the binary rep-resentation of program internal logic .Symbolic execution could automatically collect and reason about the leaked branch informa-tion ,which could be used for reverse engineering and weaken the strength of code obfuscation .Hash function can effectively safe-guard equal branch conditions ,but it can’ t be used to protect branching information containing unequal trigger conditions ,such as greater than or less than .In this paper ,a new branch obfuscation approach combining prefix-preserving algorithm and hash function , which extends the protection scope of hash function .The strength and resilience of the branch obfuscation are discussed .This branch obfuscation approach has been tested on 7 programs from the SPECint-2006 benchmark suite ,and the experimental results show that this approach could effectively mitigate branch information leaking ,yet practical in terms of performance .关键词
代码混淆/符号执行/哈希函数/保留前缀加密Key words
code obfuscation/symbolic execution/Hash function/prefix-preserving encryption分类
信息技术与安全科学引用本文复制引用
王志,贾春福,刘伟杰,王晓初,张海宁,于晓旭,陈哲..一种抵抗符号执行的路径分支混淆技术[J].电子学报,2015,(5):870-878,9.基金项目
国家自然科学基金（No ．61300242，No ．61272423，No ．60973141）；国家“973”重点基础研究发展计划（No ．2013CB834204）；中央高校基本科研业务费专项资金（No ．65121012）；南开大学-腾讯联合项目 （）
