程序控制流图(CFG) 相关硕士博士期刊学术论文

为降低软件工程项目的开发风险和后期维护成本,本文提出一种模型检验的可扩展C代码静态检查方法。该方法将C代码常见错误归纳为可......