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

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

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

# 31款JAVA开发必备控件和工具 # 企业数字化建设合规无风险[专题]

相关链接:

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


标签:

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


为你推荐

  • 推荐视频
  • 推荐活动
  • 推荐产品
  • 推荐文章
  • 慧都慧问
在线咨询
联系我们
TOP
在线客服系统
live chat