日本亚洲一区二区,精品中文字幕,一区二区三区免费视频

超實(shí)用靜態(tài)分析工具PC-lint Plus支持MISRA標(biāo)準(zhǔn)

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

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

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

相關(guān)鏈接：

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

點(diǎn)擊免費(fèi)下載 PC-lint Plus 最新版

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

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

要深入了解對(duì)特定MISRA標(biāo)準(zhǔn)的支持，請(qǐng)參閱：

MISRA C 2012

MISRA C++ 2008

MISRA C 2004

標(biāo)簽：

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

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