一种抵抗符号执行的路径分支混淆技术

来源 :电子学报 | 被引量 : 0次 | 上传用户:aiyi23_2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序在动态执行过程中泄露了大量的路径分支信息,这些路径分支信息是其内部逻辑关系的二进制表示。符号执行技术可以自动地收集并推理程序执行过程所泄露的路径信息,可用于逆向工程并可削弱代码混淆的保护强度。哈希函数可以有效保护基于等于关系的路径分支信息,但是难以保护基于上下边界判断的不等关系的路径分支信息。将保留前缀算法与哈希函数相结合提出了一种新的路径分支混淆技术,将符号执行推理路径分支信息的难度等价到逆向推理哈希函数的难度。该路径分支混淆方法在SPECint-2006程序测试集上进行了实验,试验结果表明该混淆方法能有效保护程序路径分支信息,具有实用性。
其他文献
目的 探讨在线清除率监测(online clearance monitoring,OCM)在评价维持性血液透析患者透析充分性中的应用价值.方法 测定111例稳定血液透析患者的在线清除率监测与取血法计
目的:探讨临床药师在参与多部位感染患者的抗菌治疗过程中发挥的重要作用。方法:通过临床药师参与多部位感染患者的抗菌治疗过程(早期经验性抗感染治疗及目标性治疗),分析、
目的:观察比较七氟烷与氯胺酮麻醉诱导用于患儿全身麻醉的效果。方法:90例手术患儿随机分为两组。七氟烷组采用七氟烷面罩吸入麻醉诱导,氯胺酮组患儿予氯胺酮静注麻醉诱导。
本试验旨在研究高能饲料对热应激条件下奶牛的生产性能和生理指标的影响及对其机理的探究.选择33头处于热应激期泌乳中期的荷斯坦奶牛,随机分为对照组和处理Ⅰ、Ⅱ.处理Ⅰ,Ⅱ
为了明确斯卑尔脱(T.spelta)小麦和莫迦小麦(T.macha)1BS染色体对K型小麦不育系育性恢复等的影响,利用1B/1R小麦K型不育系K3314A、YS型小麦温敏雄性不育系YS3314和YM型小麦温
地方性砷中毒是一种生物地球化学性疾病,为严重危害病区居民身体健康的地方病之一[1-2].为了查明云南省普洱市镇沅县地方性砷中毒病区和高砷水源的分布及危害,作者于2005年11
通过对CB-1、F1-35、9804等3个清香型烤烟品种的对比试验,结果表明:9804整体表现最为稳定,F1-35经济性状表现最优;F1-35和9804烘烤性均优于CB-1,9804和F1-35均较耐肥,高施肥
试验对鸡腿肉中焦磷酸酶进行了分离纯化.将鸡腿肉匀浆后,经0.25mol/L蔗糖和0.6mol/L NaCl提取、45[%]-60[%]饱和硫酸铵分级沉淀、DEAE-52纤维素离子交换柱层析,得到纯的焦磷酸
在输电线路无源干扰研究中,经常需进行宽频带的线路散射场扫频计算,而当前各类算法每次只能计算单个频点,现有计算机硬件条件无法解决短波及以上宽频带计算问题。针对该问题,提出
电力电缆的内部结构和运行环境影响其线路参数,间接影响电缆的无功功率。当电缆内部结构和运行环境改变时,难以从“路”的角度计算线路参数的改变规律,研究了基于坡印亭矢量的电