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认证




























共有 0条评论