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的集成 所有选项都可以嵌入用户代码中 性能： 一次快速操作，具有用于函数间值跟踪的多遍选项 表将根据需要扩展以处理大型应用程序