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