论文部分内容阅读
精细分析对提高关键软件的安全非常重要，并因计算量大而需要自动化。本文基于J M Voas 的Fault/Failure概念模型及其PIE分析，提出一个实用的软件代码精细分析技术和工具。文中描述了软件代码精细分析的全过程，重点讲述"自动分析记录"的工作流程及执行、感染和传播这三个关键分析的概念性算法，并给出了工具的框架图解。此外还提出粒度可调思想，能调节分析的精度和范围，较好地解决了Falut/Failure模型的限制，拓展了用途。最后本文给出了一些具体的应用思路，如放置警报器、评估可靠