【摘 要】
：
程序在动态执行过程中泄露了大量的路径分支信息,这些路径分支信息是其内部逻辑关系的二进制表示.符号执行技术可以自动地收集并推理程序执行过程所泄露的路径信息,可用于逆
【基金项目】
：
国家自然科学基金(No.61300242,No.61272423,No.60973141);国家“973”重点基础研究发展计划(No.2013CB834204);中央高校基本科研业务费专项资金(No.65121012);南开大学-腾讯联合项目
论文部分内容阅读
程序在动态执行过程中泄露了大量的路径分支信息,这些路径分支信息是其内部逻辑关系的二进制表示.符号执行技术可以自动地收集并推理程序执行过程所泄露的路径信息,可用于逆向工程并可削弱代码混淆的保护强度.哈希函数可以有效保护基于等于关系的路径分支信息,但是难以保护基于上下边界判断的不等关系的路径分支信息.将保留前缀算法与哈希函数相结合提出了一种新的路径分支混淆技术,将符号执行推理路径分支信息的难度等价到逆向推理哈希函数的难度.该路径分支混淆方法在SPECint-2006程序测试集上进行了实验,试验结果表明该混淆方法能有效保护程序路径分支信息,具有实用性.
其他文献
本文简要介绍了舰艇武器共架系统的发展现状。重点介绍了舰载弹炮共架近程武器系统的现有系统、各系统比较以及在系统研制时应考虑和解决的技术问题，和未来舰载武器共架共系统
文章重点分析中小企业财务管理发展现状寄存在的问题,并围绕问题提出了相关的对策建议。
[摘要]目的探讨护理干预对急性上消化道出血患者负性情绪的作用。方法选取急性上消化道出血患者76例，随机分为2组，对照组38例给予常规护理，观察组38例患者给予护理干预，护理前后
本文综合运用珠江三角洲外南海北部陆架的地震测线和三角洲地区的钻孔资料进行联合解译,获得由浅海至陆地的层序地层剖面,辨识出三角洲地区4套地层层序和南海北部陆架6套地层
阐述了小波变换去除信号噪声的基本原理和方法.研究利用小波变换技术对信号噪声进行抑制和去除非平稳信号的噪声,然后利用Matlab软件编制程序实现了基于小波变换的正弦信号噪
明渠河流交汇常形成复杂的水流结构,从而影响该区域的水沙运动及河床变形。采用实测资料验证的平面2维数学模型,对白沙河支流与岷江干流交汇区的水流运动进行了模拟分析。结
<正>随着智慧城市和移动互联网的快速发展,智能手机、平板电脑等移动终端用户数量呈爆发式增长,智能终端型号五花八门,应用多样,极大方便了广大用户日常工作、学习、生产和生
目的探讨结直肠癌手术部位发生感染的病原菌分布及相关影响因素,以降低结直肠癌患者术后切口感染率。方法回顾性分析2007-2012年收治的100例结直肠癌患者的临床资料,通过对切
弘扬中华教育传统不是复古，应进行具体的历史分析与鉴别，存优汰劣；应结合时代发展的需要，赋予传统文化新的意蕴，在继承中不断创新。弘扬教育传统，必须贴近生活，切合实际需要，做到多样
双链特异性核酸酶（DSN酶）是一种能高效识别并酶切完全互补配对的DNA双链或者DNA/RNA杂交双链中的DNA链,而对单链DNA和单/双链RNA几乎没有作用的核酸酶,所以DSN酶在生物和医学等