河南省杰出人才创新基金(082102210011)
- 作品数：2 被引量：1H指数：1
- 相关作者：姚伟平王震宇窦增杰余弦陈楠更多>>
- 相关机构：解放军信息工程大学更多>>
- 发文基金：河南省杰出人才创新基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 可执行可信软件安全性分析技术研究被引量：1
- 2010年
- 为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理。提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率。设计了一种可执行代码中间表示的方法,给出了建立程序存储空间抽象模型和程序抽象运行时刻环境的方法。详细地讨论了程序的控制流和数据流分析技术,并给出了求解算法。最后,概述了程序动态测试系统。
- 陈楠王震宇窦增杰姚伟平余弦
- 关键词：控制流分析数据流分析
- 可执行代码简化中间表示的设计与实现
- 2010年
- 为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系。通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR。最后,给出汇编代码转化SAIR的实例。实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率。
- 窦增杰王震宇姚伟平王瑞敏
- 关键词：结构化操作语义形式语义
