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

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