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

来源 :西华大学学报:自然科学版 | 被引量 : 0次 | 上传用户:jsdhxmb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
恶意软件、漏洞利用程序等层出不穷,这些程序通常会利用代码混淆来增加其分析难度,以此来延长生存周期。不透明谓词混淆是代码混淆中的主要方法之一。目前通过数据流分析消除程序中的不可达路径是不透明谓词的主要反混淆方法。文章提出一种基于动态符号执行的路径不可达分析的不透明谓词反混淆算法,通过控制流图分析得到每个函数的基本块,然后对含有分支的基本块进行路径可达性分析,去除不可达路径。原型系统实验结果表明,该算法的平均反混淆率在80%左右。
其他文献
采用抛光或抛光-化学刻蚀对铝合金表面进行预处理,获得微纳米结构表面,再利用自制模具对铝合金与尼龙6(PA6)进行热压成型。用扫描电镜、激光共聚焦显微镜观察发现,硫酸刻蚀形成
乏组件水下检测装置中的齿轮副机构参数具有不确定性,在地震工况下,结构产生随机振动时有可能发生失效。为评估其失效概率,针对乏组件水下检测装置中的关键齿轮副机构,首先通
齿轮箱工作环境恶劣,齿轮与滚动轴承等关键部件易发生疲劳故障。将目前常用的故障特征提取方法应用于齿轮箱实际诊断时,其结果具有不稳定性。Alpha稳定分布与多重分形分析被
利用CFD仿真软件STAR-CCM+,对类车体MIRA模型的尾流场进行仿真研究。采用主动控制减阻技术的流动控制方式,应用定常射流的方式控制尾流场的流动结构,探讨射流减阻的减阻措施
通过粉末烧结、高能球磨和直流快速热压相结合的工艺制备高熔点half-Heusler合金TaCoSb,热电性能测试结果表明TaCoSb是一种n型热电材料,电导率、热导率、塞贝克系数、ZT值在9
为提高燃料电池物流车的综合性能,需要对动力系统各部件参数进行匹配。本文根据某燃料电池物流车动力性能指标的要求,在对动力系统结构进行设计的基础上对动力驱动系统不同部