PC-lint Plus是领先的C和C++的静态代码分析解决方案!其目的在于通过对C和C++源代码的分析,从而能够查找、识别项目中的缺陷、漏洞以及不符合标准规范的问题和情况!快速解析您的源代码文件,执行包括数据流分析、抽象解释、值跟踪、读写跟踪、强类型检查和函
PC-lint Plus是领先的C和C++的静态代码分析解决方案!其目的在于通过对C和C++源代码的分析,从而能够查找、识别项目中的缺陷、漏洞以及不符合标准规范的问题和情况!快速解析您的源代码文件,执行包括数据流分析、抽象解释、值跟踪、读写跟踪、强类型检查和函数语义分析,从而为您的整个代码库提供全面的诊断。并获得更详细直观的诊断结果,提供可行的解决方案,支持支持MISRA、AUTOSAR和CERT C等编码标准,已通过ISO 26262、IEC 62304和IEC 61508关键安全标准认证。
功能特色
1、广泛兼容
PC-lint Plus可在Windows、Linux和macOS上原生运行,从而能够分析几乎任何目标平台的源代码。
它为多种编译器和现代C/C++语言标准提供全面支持,包括:
C11 / C17 / C23
C++17 / C++20 / C++23
PC-lint Plus能与您的集成开发环境(IDE)、构建流程或持续集成系统无缝集成。
输出结果支持纯文本、HTML、XML和SARIF格式,支持灵活的报告和工具链集成。
2、更智能的诊断工作方式
PC-lint Plus 2025中的新功能——诊断统计,为您的静态分析结果提供了全面的可追溯性和透明度。它能够捕获每次诊断过程中遇到的所有信息,包括被抑制的消息,并解释每条消息为何被发出或隐藏。对于那些需要证明抑制的合理性、检测未使用选项以及构建详细审计追踪的安全关键团队而言,此功能至关重要。
> 追踪被抑制的诊断及其抑制原因
识别未使用或不必要的抑制
为违反编码标准的做法提供正当理由
> 导出详细的JSON数据,以供合规报告和审计使用
这种诊断洞察力是我们新图形界面PC-lint Plus View的基石
3、PC-lint Plus视图 – 图形分析
PC-lint Plus View为处理分析结果提供了一个强大的图形界面。它使开发人员和测试人员能够:
> 以交互方式过滤和探索结果
> 追踪随时间变化的调查结果
> 创建和定制报告
> 可视化诊断趋势和抑制状态
以SARIF和其他格式导出结果
PC-lint Plus View可帮助团队更有效地分类和管理分析结果:支持更快的反馈、改进的审计以及大型项目之间更好的协作。
4、遵守安全标准
确保符合行业编码标准,包括MISRA C和C++、AUTOSAR和CERT C。可自定义单个准则的检测,并通过精确的诊断抑制轻松支持准则偏差。
《PC-lint Plus参考手册》包含一份详细的编码指南支持矩阵,以及针对MISRA C 2004、MISRA C++ 2008、MISRA C 2012、MISRA C2023、MISRA C 2025、MISRA C++ 2023、CERT C、AUTOSAR17和AUTOSAR 19的更详细版本细分。
5、CWE支持
通用弱点枚举(CWE)是一个由社区维护的列表,用于识别和分类软件和硬件中的典型安全弱点。“弱点”指的是任何可能导致漏洞的软件、固件、硬件或服务问题。
PC-lint Plus已通过CWE兼容性认证,能够使用提供的配置文件检测并指出这些常见弱点。
6、安全现场分析
PC-lint Plus可在开发人员工作站、构建服务器或持续集成服务器上本地运行。它不使用互联网连接,也绝不会通过任何渠道从您的系统中收集或提交数据、代码、统计信息、分析数据或任何其他信息。
7、通过ISO 26262、IEC 62304和IEC 61508认证
PC-lint Plus已获得exida®的ISO26262:2018(ASIL D合格)、IEC 62304和IEC 61508:2010(SIL 4合格)认证,认证文件可供查阅。您可以放心地在安全关键项目中使用PC-lint Plus,因为它已获得这些标准的认可。
软件优势
1、及早发现缺陷
在内存错误、缓冲区溢出、逻辑故障和未定义行为成为代价高昂的故障之前及时检测。
2、遵守行业标准
支持MISRA C 2012、MISRA C 2023、MISRA C 2025、MISRA C++ 2023、CERT C、AUTOSAR17, 以及AUTOSAR 19。
3、提升安全性
PC-lint Plus 官方兼容 CWE,支持安全设计编码实践。
4、快速、可扩展的分析
这是C和C++中最快的静态分析引擎之一,非常适合时间关键和安全关键的开发。
5、完全本地部署
所有分析都发生在你的环境中。没有代码会离开你的网络。
6、提升开发者生产力
快速、准确的分析减少了调试时间,帮助开发者专注于编写高质量、易于维护的代码。
闪电小编说明:
提供友好的工作流程,快速诊断问题,及早发现漏洞,并提出警告和可行的解决方案,在项目早期就深入分析识别,发现问题和可疑代码,降低后期出现问题的风险,减少不必要的麻烦!
通过网盘分享的文件:VectorPC-lintPlus