基于逻辑一致性判定的广义不透明谓词检测方法

• 作者: 史大伟 周季璇 徐良华
• 来源期刊: 计算机应用研究
• 关键词: 不透明谓词 约束求解 执行逻辑 后趋约束
• 年，卷（期）: 2019,（6）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1808-1812
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.19734/j.issn.1001-3695.2017.12.0824

摘要

不透明谓词是一类轻量级的代码混淆方法,能以单向的执行复杂度对抗程序的逆向分析.广义不透明谓词扩展狭义不透明谓词的值恒定属性至逻辑恒定属性,已经应用于部分恶意代码中以提升抗查杀能力.为消除不透明谓词对程序恶意性判定的影响,以广义不透明谓词后趋依赖的属性为依据,结合逻辑恒定判定,提出了基于逻辑一致性的广义不透明谓词检测方法.通过静态分析提取谓词前置条件约束、后趋逻辑约束和谓词判定表达式,以相交基本块搜寻初筛谓词,并依据约束求解方法判定广义不透明谓词.构造原型系统并进行测试,结果表明该方法能精准高效地检测出恶意代码中的不透明谓词.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐良华		17	101	6.0	9.0
2	周季璇		2	1	1.0	1.0
3	史大伟		5	18	2.0	4.0