PC-lint Plus是一种静态分析工具，通过分析C和C++源代码来查找软件中的缺陷。
与编译器一样，PC-lint Plus 解析源代码文件，执行语义分析，并构建抽象语法树来表示
程序。从那里，PC-lint Plus采用各种机制，包括数据流分析，价值跟踪，读写分析，强类型检查，函数语义验证以及许多其他技术，以提供对单个文件和整个项目的强大而全面的分析。
然后，PC-lint Plus使用清晰，简洁且易于操作的诊断报告其
结果。诊断消息格式是完全可自定义的，包括快速解决缺陷所需的精确位置信息和上下文。PC-lint Plus 可以从命令行运行，集成到生成过程或持续集成系统中，也可以从 IDE 中运行。
一个简短的例子
若要查看 PC-lint Plus 的实际运行情况，请考虑
以下示例：虽然此程序可能不会从编译器生成任何警告（尝试使用最高警告级别），但它包含 PC-lint Plus 将发现的多个缺陷：
该函数可以返回空指针，并将空指针传递给导致未定义的行为。检查 的返回值将禁止显示此消息。补充消息演示了 PC-lint Plus 如何确定指针可能为 null（返回值存储在其中，然后传递给 ）。
目的是为字符串和 nul 字符终止符分配足够的空间，但意外地将 空间放在了错误的位置（应该是 ），因此结果是分配的 2 个字节太
短。这将导致对 的调用中的缓冲区溢出。
该函数无法初始化在初始化之前现在使用
的成员。
PC-lint Plus 生成的每个诊断程序都有一个随附的消息编号，可用于消息自定义和抑制
目的。消息记录在 PC-lint Plus 参考手册中，也可以使用该选项从 PC-lint Plus 获取消息说明。例如，要查看消息的说明，您可以使用以下选项运行PC-lint Plus：
该选项还可用于获取有关PC-lint Plus支持的各种选项的帮助。
PC-lint Plus有一类名为”选择性笔记”的诊断程序，默认情况下处于禁用
状态。如果在启用所有消息的情况下运行上述示例，则PC-lint Plus将有更多的话要说。您可以通过我们的在线演示在浏览器中试用PC-lint Plus。
苏公网安备 32059002002276号
