源程序分析相关论文
提出并实现了一种基于模型检验的源程序分析方法.该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源......
从设计与实现的角度阐述了一种用Visual FoxPro语言开发出的工具软件,该软件可被用于分析若干个源程序间的调用关系.......