在此基础之上，我们引入新的Codan静态分析框架作为可选组件，在编译之前提供语义错误报告。
On top of that, we introduced the new Codan static analysis framework as optional component to provide semantic error reports ahead of compile time.
静态分析的精确度取决于对程序抽象语义的表达。
Accuracy of static analysis depends on the representation of program's abstract semantics.
本文在对公共信息模型研究的基础上，根据CIM规定的语法和语义，对CIM进行了扩展，设计了预想故障集特有的类，并提出了一个基于CIM通用的静态安全分析软件。
This paper presents an extension of CIM to include a unique class representing the anticipated fault set and develops a software package for static security analysis based on CIM.
应用推荐