基于动态符号执行的不透明谓词反混淆算法

• 作者: 何明星 宋雪勦 张俊
• 来源期刊: 西华大学学报（自然科学版）
• 学科: 工学
• 关键词: 混淆 不透明谓词 反混淆 动态符号执行 路径可达性
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 计算机与信息技术
• 页码范围: 73-77
• 页数: 5页
• 分类号: TP311
• 字数: 3881字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-159X.2018.03.011

摘要

恶意软件、漏洞利用程序等层出不穷,这些程序通常会利用代码混淆来增加其分析难度,以此来延长生存周期.不透明谓词混淆是代码混淆中的主要方法之一.目前通过数据流分析消除程序中的不可达路径是不透明谓词的主要反混淆方法.文章提出一种基于动态符号执行的路径不可达分析的不透明谓词反混淆算法,通过控制流图分析得到每个函数的基本块,然后对含有分支的基本块进行路径可达性分析,去除不可达路径.原型系统实验结果表明,该算法的平均反混淆率在80%左右.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张俊	西华大学计算机与软件工程学院	37	124	5.0	9.0
2	何明星	西华大学计算机与软件工程学院	54	255	8.0	13.0
3	宋雪勦	西华大学计算机与软件工程学院	3	9	2.0	3.0