可执行代码简化中间表示的设计与实现

为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR).根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义.对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系.通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR.最后,给出汇编代码转化SAIR的实例.实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率.     

枫江水污染的分析及对策

对枫江的水污染现状及其污染原因进行分析,并提出了相应的对策及建议。     

叶黄素皂化提纯工艺的优化

叶黄素是一种含氧类胡萝卜素,在万寿菊中的含量最高,广泛应用于饲料和食品中。本文研究了以万寿菊提取物为原料,首先经过皂化,再进行精制和重结晶,主要考察了精制的溶剂、温度和条件,重结晶的体系和条件等对叶黄素含量的影响,同时提高其含量,获得高纯度叶黄素。     

水库试运行中调度问题的探讨

任何水利工程在正式运行前都要通过试运行来验证工程中的一些安全问题,通过对水库试运行发现问题并对这些问题加以解决,达到确保水利工程安全运行的目的。本文主要以广东潮州供水枢纽工程在试运行阶段水库调度中遇到问题的处理方法进行探讨和研究,通过对该枢纽工程试运行阶段的水库调度进行总结,以期为今后新的水利工程的运行提供一些借鉴。     

可执行可信软件安全性分析技术研究

为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理,提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率.设计了一种可执行代码中间表示的方法,给出了建立程序存储空间抽象模型和程序抽象运行时刻环境的方法.详细地讨论了程序的控制流和数据流分析技术,并给出了求解算法.最后,概述了程序动态测试系统.     

二进制代码覆盖率评估系统的设计与实现

在程序动态测试中,需要评价二进制代码动态测试效果.提出了一种二进制代码覆盖率评估方法,设计并实现了基于分支轨迹存储技术的二进制代码覆盖率评估系统.通过分支监视引擎记录动态测试中的代码分支轨迹,利用分支轨迹数据修正静态分析结果,综合静态分析结果和分支轨迹记录评估二进制代码覆盖率,并实现轨迹数据的可视化.实验结果表明,该系统能够有效提高覆盖率评估精度和效率.     

基于抽象解释的可执行代码值范围分析

阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术。通过抽象解释静态逼近程序不动点语义的理论保证二进制代码数据流分析的正确性以及可计算性。基于抽象解释和单调数据流框架提出一种自动分析可执行代码变量取值范围的方法及自动获取程序循环最大迭代次数和不可执行路径,并给出数据流分析实例。     

试析人工挖孔桩桩基的施工总结

人工挖孔桩优点突出,应用广泛,特别是在扩大头的桩基施工,更显优越,以下结合实际,试就人工挖孔桩桩的施工加以总结。