PC-lint for C/C++

PC-lint for C / C ++

PC-lint是强大的静态分析工具，它们将检查您的C / C ++源代码，并发现错误，故障，不一致，非便携式构造，冗余代码等等。 它跨越多个模块。

特性

平台：

PC-lint for C / C ++：

Windows 10/8/7 / Vista / XP / NT / 2000/98 / ME

兼容性：

支持K＆R C，ANSI C，ANSI / ISO C ++

显式支持Microsoft，GCC和大多数其他主要编译器和库

支持大多数主要的嵌入式系统编译器。

许多选项来支持编译器

可以为交叉编译指定标量大小

特殊检查设施：

自动和静态（甚至全局）变量的值跟踪，以检测微妙的初始化问题

函数间价值追踪 - 强大的语句间价值追踪跨越函数边界。稍后处理使用特定值调用的函数，这些值用于初始化参数。

多通道 - 为了充分利用功能跟踪和静态变量跟踪，已经引入了多通道操作。

使用价值追踪作为一种启用技术，我们支持几乎100个库函数的检查，这种检查可以扩展到用户函数（见函数模拟）

可选强类型检查（基于typedef）和丰富的选项集，以检测标称类型差异。您甚至可以仅使用typedef形成完全检查的标量类型的类型层次结构

用户定义的函数参数和返回值的语义检查

在整个项目中查找未使用的宏，typedef的类，类，成员，声明等

检查可能未初始化变量的控制流。

显式支持MISRA C和MISRA C ++（TM）标准的子集

其他特殊测试

速度：

使用预编译的报头高速处理多个模块

消息停止和启用：

通过消息码

通过消息码和符号名（包括通配符）

通过消息码和符号类型

通过消息码和消息参数

单线停止

通过宏名称

通过消息码（取决于它是如何包括的库;这可以通过用户选项覆盖）

对于指定的功能，通过消息码

表达式

灵活性：

间接文件（嵌套到任何深度）可以包含文件名，选项，环境变量

错误消息的格式可以定制，以支持与各种编辑器和IDE的集成

所有选项都可以嵌入用户代码中

性能：

一次快速操作，具有用于函数间值跟踪的多遍选项

表将根据需要扩展以处理大型应用程序