超实用静态分析工具PC-lint Plus支持MISRA标准-控件新闻-慧都网

超实用静态分析工具PC-lint Plus支持MISRA标准

原创|行业资讯|编辑：郑恭琳|2020-08-27 09:56:32.887|阅读 299 次

概述：汽车工业软件可靠性协会（MISRA）是生产和维护C和C++编程准则的组织。这些准则的主要目的是编纂一组与软件开发有关的建议，这些建议有助于创建“安全可靠的软件”。尽管MISRA是汽车行业的一项努力，但MISRA的成功却不断增长，并且已采用该指南来满足其他对安全至关重要的行业（例如医疗保健和航空航天）的需求。

# 界面/图表报表/文档/IDE等千款热门软控件火热销售中 >>

相关链接：

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

点击免费下载 PC-lint Plus 最新版

汽车工业软件可靠性协会（MISRA）是生产和维护C和C++编程准则的组织。这些准则的主要目的是编纂一组与软件开发有关的建议，这些建议有助于创建“安全可靠的软件”。尽管MISRA是汽车行业的一项努力，但MISRA的成功却不断增长，并且已采用该指南来满足其他对安全至关重要的行业（例如医疗保健和航空航天）的需求。

PC-lint Plus提供对MISRA C2，MISRA C3和AMD-1以及MISRA C++准则的支持。通过将标准PC-lint Plus消息和专门针对特定MISRA规则的选修笔记相结合，可以实现这种支持。Gimpel软件提供作者配置文件au-misra2.lnt，au-misra3.lnt，au-misra3-amd1.lnt和au-misra-cpp.lnt，以启用支持这些准则所需的检查。这些作者文件包括-append选项，这些选项使用于报告MISRA违规情况的消息带有相应的“规则”或“指令号”。

要深入了解对特定MISRA标准的支持，请参阅：

MISRA C 2012

MISRA C++ 2008

MISRA C 2004

标签：

本站文章除注明转载外，均为本站原创或翻译。欢迎任何形式的转载，但请务必注明出处、不得修改原文相关链接，如果存在内容上的异议请邮件反馈至chenjj@atlvshi.cn

上一篇：超实用静态分析工具PC-lint Plus支持AUTOSAR 下一篇：超实用静态分析工具PC-lint Plus支持MISRA C 2004