PC-lint Plus 2.0 for linux

C 和 C++ 的静态代码分析 PC-lint Plus 是一种静态分析工具，通过分析 C 和 C++ 源代码来发现软件中的缺陷。 像编译器一样，PC-lint Plus 解析您的源代码文件，执行语义分析，并构建一个抽象语法树来表示您的程序。从那里，PC-lint Plus 采用各种机制，包括数据流分析、抽象解释、价值跟踪、读写分析、强类型检查、函数语义验证和许多其他技术，以提供对单个文件和文件的稳健和整体分析。一个完整的项目。