静态程序分析
- 网络Static Program Analysis
静态程序分析-
数据流分析是一类典型的静态程序分析方法。
Data flow analysis is a set of static program analysis techniques .
-
然而，类、对象、继承、多态、动态定连等概念的出现，向静态程序分析提出新的挑战。
However , the concepts of classes , objects , inheritance , polymorphism , and dynamic binding represent new challenges for static program analysis .
-
CQual是一个轻量级的静态程序分析工具，和其他静态分析工具一样，在某些情况下，CQual会存在一些误报。
Like other static analysis tools , it may lead to a few false positives in some situations .