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

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:liongliong446
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
不透明谓词是一类轻量级的代码混淆方法,能以单向的执行复杂度对抗程序的逆向分析。广义不透明谓词扩展狭义不透明谓词的值恒定属性至逻辑恒定属性,已经应用于部分恶意代码中以提升抗查杀能力。为消除不透明谓词对程序恶意性判定的影响,以广义不透明谓词后趋依赖的属性为依据,结合逻辑恒定判定,提出了基于逻辑一致性的广义不透明谓词检测方法。通过静态分析提取谓词前置条件约束、后趋逻辑约束和谓词判定表达式,以相交基本块搜寻初筛谓词,并依据约束求解方法判定广义不透明谓词。构造原型系统并进行测试,结果表明该方法能精准高效地检测出恶意代码中的不透明谓词。
其他文献
随着人们生活质量的不断提升,食品安全问题备受人们重视,食品检验技术也开始受到人们的关注。为提高食品的质量,保障人们的生命安全,需要进一步探讨当前的食品检验技术,并找
归纳总结了产学研协同创新及知识转移的概念,确立了产学研协同创新知识转移的四要素;建立了产学研协同创新知识转移的一般模式;运用动态能力理论分析了产学研协同创新知识转
习近平总书记曾经说:'基层跑遍、跑深、跑透了,我们的本领就会大起来。'确实,要克服'本领恐慌',新闻工作者只有不断增强'脚力、眼力、脑力、笔力',
在冶金、建筑、石油、化工、造船及机械制造等行业,有许多产品是用板材及型材(金属或非金属)加工而成,凡是用这些材料弯曲成形的零件(统称为钣金件)都需要进行展开放样。随着工业
《企业会计准则第11号——股份支付》和股权激励管理办法等对股权支付交易的确认、计量和披露进行了规定,本文尝试对股份支付会计处理的逻辑及其经济学涵义进行梳理分析。一
锂(Li)原子具有质量小、单光子反冲能量大等诸多特点,是开展量子简并气体、自旋波碰撞以及高精度原子干涉仪等基础原子物理实验的理想体系。本学位论文以双组份原子干涉仪等
习近平总书记指出,好的新闻报道,要靠好的作风文风来完成,靠好的脚力、眼力、脑力、笔力得来。笔者结合多年采编工作经验,谈谈获奖作品与'四力'间的关系。
21世纪,科学技术高速发展,人类正在面临新的发展纪元。然而,就在我们飞速发展的同时,我们又面临着社会犯罪、环境污染、生态恶化、等严峻的问题,这些问题对于我们个人安危、
<正>《财富》杂志每年评出世界500强企业。2001年榜上有两个日本企业令人瞩目——京瓷和KDDI。这两个企业出自同一个缔造者。2010年1月,有58年历史的日航公司申请破产保护。
自十八大以来,习近平总书记多次强调:让红色基因代代相传。红色基因被提到历史新高度,同时国家又指出教育的根本任务在于立德树人。小学生作为基础教育阶段的重要主体,承载着国家的期许和人民的希望。他们是中国特色的社会主义建设者和接班人,担负着实现中华民族伟大复兴中国梦的重任。随着时代的发展和科学的进步,国内外的思想环境变得愈加复杂,小学生处于身心发展的萌芽阶段,价值观正在学习和形成的重要时期,极易受外界因