成人三级视频,日韩在线观看精品,成年免费大片黄在线观

超實用靜態(tài)分析工具PC-lint Plus支持MISRA標準

原創(chuàng)|行業(yè)資訊|編輯：鄭恭琳|2020-08-27 09:56:32.887|閱讀 381 次

概述：汽車工業(yè)軟件可靠性協(xié)會（MISRA）是生產和維護C和C++編程準則的組織。這些準則的主要目的是編纂一組與軟件開發(fā)有關的建議，這些建議有助于創(chuàng)建“安全可靠的軟件”。盡管MISRA是汽車行業(yè)的一項努力，但MISRA的成功卻不斷增長，并且已采用該指南來滿足其他對安全至關重要的行業(yè)（例如醫(yī)療保健和航空航天）的需求。

# 界面/圖表報表/文檔/IDE等千款熱門軟控件火熱銷售中 >>

相關鏈接：

PC-lint Plus是一種靜態(tài)分析工具，通過分析C和C ++源代碼來發(fā)現軟件中的缺陷。與編譯器一樣，PC-lint Plus會解析源代碼文件，執(zhí)行語義分析，并構建一個抽象語法樹來表示程序。PC-lint Plus采用各種機制，包括數據流分析，數值跟蹤，讀寫分析，強類型檢查，功能語義驗證和許多其他技術，來提供對單個文件和整個項目強大而全面的分析。

點擊免費下載 PC-lint Plus 最新版

汽車工業(yè)軟件可靠性協(xié)會（MISRA）是生產和維護C和C++編程準則的組織。這些準則的主要目的是編纂一組與軟件開發(fā)有關的建議，這些建議有助于創(chuàng)建“安全可靠的軟件”。盡管MISRA是汽車行業(yè)的一項努力，但MISRA的成功卻不斷增長，并且已采用該指南來滿足其他對安全至關重要的行業(yè)（例如醫(yī)療保健和航空航天）的需求。

PC-lint Plus提供對MISRA C2，MISRA C3和AMD-1以及MISRA C++準則的支持。通過將標準PC-lint Plus消息和專門針對特定MISRA規(guī)則的選修筆記相結合，可以實現這種支持。Gimpel軟件提供作者配置文件au-misra2.lnt，au-misra3.lnt，au-misra3-amd1.lnt和au-misra-cpp.lnt，以啟用支持這些準則所需的檢查。這些作者文件包括-append選項，這些選項使用于報告MISRA違規(guī)情況的消息帶有相應的“規(guī)則”或“指令號”。

要深入了解對特定MISRA標準的支持，請參閱：

MISRA C 2012

MISRA C++ 2008

MISRA C 2004

標簽：

本站文章除注明轉載外，均為本站原創(chuàng)或翻譯。歡迎任何形式的轉載，但請務必注明出處、不得修改原文相關鏈接，如果存在內容上的異議請郵件反饋至chenjj@fc6vip.cn

上一篇：超實用靜態(tài)分析工具PC-lint Plus支持AUTOSAR 下一篇：超實用靜態(tài)分析工具PC-lint Plus支持MISRA C 2004