-
题名基于逆向计算的细粒度污点分析方法
被引量:1
- 1
-
-
作者
屈雪晴
张圣昌
-
机构
河北大学网络空间安全与计算机学院
-
出处
《河北大学学报(自然科学版)》
CAS
北大核心
2019年第4期437-443,共7页
-
基金
河北大学研究生创新项目(hbu2018ss58)
-
文摘
精度是污点分析的核心考虑因素.目前的污点分析方法,包括比特级污点分析的研究中,细粒度逻辑语义会导致精度缺失问题,而精度缺失直接致使“过度污点”现象.本文讨论了现有污点分析算法的局限性,阐述了污点传播过程中产生“过度污点”现象的原因,并提出一种基于逆向计算的细粒度污点分析方法,通过规定逆向计算规则,考虑语句的语义逻辑,推算污点传播策略.对未混淆代码和混淆代码分别进行污点分析的实验结果表明,相比于传统的污点分析算法,基于逆向计算的污点分析算法对混淆代码能够减少50%的代码冗余,有效地避免了污点的过度传播.
-
关键词
动态污点分析
反混淆代码
逆向计算
过度污点
-
Keywords
dynamic taint analysis
deobfuscation code
reverse computing
over-tainting
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-