一种抵抗符号执行的路径分支混淆技术

• 作者: 于晓旭 刘伟杰 张海宁 王志 王晓初 贾春福 陈哲
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 代码混淆 符号执行 哈希函数 保留前缀加密
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 870-878
• 页数: 9页
• 分类号: TP311
• 字数: 8628字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2015.05.006

摘要

程序在动态执行过程中泄露了大量的路径分支信息，这些路径分支信息是其内部逻辑关系的二进制表示。符号执行技术可以自动地收集并推理程序执行过程所泄露的路径信息，可用于逆向工程并可削弱代码混淆的保护强度。哈希函数可以有效保护基于等于关系的路径分支信息，但是难以保护基于上下边界判断的不等关系的路径分支信息。将保留前缀算法与哈希函数相结合提出了一种新的路径分支混淆技术，将符号执行推理路径分支信息的难度等价到逆向推理哈希函数的难度。该路径分支混淆方法在SPECint-2006程序测试集上进行了实验，试验结果表明该混淆方法能有效保护程序路径分支信息，具有实用性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贾春福	南开大学计算机与控制工程学院	72	689	14.0	21.0
2	王志	南开大学计算机与控制工程学院	51	299	11.0	15.0
3	刘伟杰	南开大学计算机与控制工程学院	3	13	2.0	3.0
4	王晓初	南开大学计算机与控制工程学院	2	20	2.0	2.0
5	张海宁	南开大学计算机与控制工程学院	1	11	1.0	1.0
6	于晓旭	南开大学计算机与控制工程学院	1	11	1.0	1.0
7	陈哲	南开大学计算机与控制工程学院	1	11	1.0	1.0