PC-lint Plus提供了超过一千种您的编译器不会发出的诊断信息。这些支持数十个检测区域以及丰富且可自定义的功能集。有关功能和诊断的完整列表，请参阅发行产品和30天的PC-lint Plus评估许可证随附的PC-lint Plus参考手册。以下是代表性列表，突出显示了PC-lint Plus的一些主要功能。

• 使用值跟踪检测空指针解除引用、创建和访问越界指针、缓冲区溢出以及类似问题。
• 初始化问题，例如访问未初始化的变量、乱序的类成员初始化、构造函数未初始化的类成员等。
• 读写分析可识别分配了未使用值的变量。
• 格式不正确或缺少分配、移动和复制操作。
• 资源管理不当问题，例如无法解除资源分配，不正确的重新分配，双重释放，超出范围的分配，临时性等。
• “可能为常量”诊断报告何时可以将变量或成员函数声明为const或何时可以将指针变量声明为指向const。
• 报告未引用/未定义的类成员、函数、标签等。
• 通过成员函数公开特权类数据。
• 用于200多个标准库函数的内置语义可检测对库函数的潜在滥用。
• 为用户功能创建自定义语义的能力。
• 不遵循通用的面向对象规范的基类。
• 始终评估为true或false的条件。
• 与宏相关的问题包括将表达式传递给未括号的宏参数，将具有副作用的表达式传递给重复的宏参数以及未括号的类似于表达式的宏。
• 无法访问或“dead”代码检测。
• 可能表示潜在问题的异常表达式，例如运算符优先级问题，与0的无符号比较等。
• 压痕检查（预期/意外的正/负压痕）。
• 对printf和scanf之类的功能进行全面的格式检查。
• 借助我们独有的精度跟踪功能，各种精度误差丢失。
• 检测可以静态化的外部。
• 基于typedef类型的强类型检查。
• 初始化不规则（太少、太多、不正确的形状、内部的字符串串联等）。
• 堆栈分析，以确定函数堆栈的使用情况、递归函数等。

关于PC-lint Plus

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

免费下载 PC-lint Plus 安装包