【摘 要】
：
系统平台、编译器以及编译选项的差异,都可能会导致程序的源代码和编译得到的可执行代码之间存在语义差异,仅对源代码进行分析可能会遗漏隐藏在可执行代码里的漏洞。即使在源
论文部分内容阅读
系统平台、编译器以及编译选项的差异,都可能会导致程序的源代码和编译得到的可执行代码之间存在语义差异,仅对源代码进行分析可能会遗漏隐藏在可执行代码里的漏洞。即使在源代码分析中验证了所需要的安全性质,也无法保证不违反可执行代码中的安全性质。本文基于一个二进制动态插装框架,设计并实现了一种对程序执行路径进行追踪的原型系统。实验证明,本系统在准确追踪执行路径的同时,能够过滤掉90%~99%的次要指令,极大提高了分析效率。最后,本文对其他的技术方案、现有原型系统的不足以及未来的工作进行了讨论。
其他文献
良好的建筑采光设计应当适应当前社会能源背景,同时,符合绿色、可持续的建筑理念。针对当前部分新建高校图书馆阅览空间内采光不均匀、采光效率低等问题,利用Desktop Radianc
<正>张振福童年时受民间艺人父亲的影响,喜欢上了美术和雕刻,少年时就立志要当艺术家,中学时他初露艺术才华。随着成长,振福对艺术的理解也越发深刻,他求学时选择了美术专业,
从变形迷彩伪装技术出发．结合人类视觉原理．应用现代数学工具和数字图像处理技术等基础理论．提供了一种新的科学可行的变形迷彩设计方法．避免了人的主观因素所造成的各种误差．
通过实验摸索出测定辛硫磷与杀螟硫磷的最佳检测方法。
叶色特异茶树的内含物成分有各自特点,因此具有开发特色或健康茶产品的前景。本文对白化、黄化、紫芽等叶色特异的茶树品种及品种授权情况进行了统计,并将物候期、化学成分含
沿边金融综合改革是推动广西科学发展的又一重大制度创新,给广西发展带来了重大机遇。文章从区域金融合作理论和制度创新理论两个方面论述了广西沿边金融综合改革的意义。从
赵庄煤层气井水中富集产甲烷菌群,可优化产气能力。采用厌氧富集得到本源菌群,通过正交试验优化产气条件。水样中存在产甲烷菌群,实验室条件下最优产气条件：NH4Cl为1.0g/L,K2H
<正> 一、前言钧瓷被艺术家赞喻为“火的艺术”,古人也曾用“夕阳紫翠忽成岚”的诗句来形容钧瓷窑变色彩之微妙,变化之莫测;新中国成立以来,钧瓷这一珍贵的中华民族文化遗产,
采用超声波辅助的方法从马尾松松针中提取总黄酮，比较了乙醇体积分数、提取时间、料液比等因素对提取率的影响，采用响应面分析法对松针提取物工艺条件进行优化．实验结果表明，松针
本文探讨了高层建筑沉降观测的方法,结合小区高层建筑沉降观测的实例,分析了沉降观测数据,探讨沉降原因,为小区建筑安全评价提供数据支持。