PC-lint Plus静态分析工具

PC-lint Plus是一个静态分析工具，它通过分析C和C++源代码来发现软件中的缺陷。 像编译器一样，PC-lint Plus解析您的源代码文件，执行语义分析，并构建抽象语法树来表示您的程序。在此基础上，PC-lint Plus采用各种机制（包括数据流分析、抽象解释、值跟踪、读写分析、强类型检查、函数语义验证和许多其他技术）来提供对单个文件和整个项目的强大而全面的分析。 然后，PC-lint Plus使用易于理解的清晰、简洁且可操作的诊断报告其发现。诊断消息格式是完全可定制的，并且包括快速解决缺陷所需的精确位置信息和上下文。PC-lint Plus可以从命令行运行，集成到您的构建流程或持续集成系统中，或者从您的IDE中运行。欢迎下载使用！

软件亮点

1、支持新的自定义指标

2、支持新的定制查询系统

3、扩展的AUTOSAR支持

4、支持Visual Studio 2022

5、增加了C++20支持

软件优势

1、识别广泛的缺陷和漏洞

2、深入分析以发现潜在的bug和可疑代码

3、快速确定根本原因并提供可行的修复措施

4、支持MISRA、AUTOSAR和CERT C等编码标准

5、通过ISO 26262和IEC 61508认证