静态程序的合法性检查研究

摘要：

介绍了静态分析软件合法性的规则、算法思想以及模块、迁移标的数据结构,分析了模块之间存在的各种可能的关系以及其对应关系应采取的算法策略,并具体分析了如何进行程序设计来满足测试的要求.

关键词：静态分析、程序、合法性、模块关系、入度、出度

所属期刊栏目：23

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2004-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：86-90