女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

帶你走近MISRA C:2012

北匯信息POLELINK ? 2022-10-13 14:37 ? 次閱讀

作者:給你小魚干小編:吃不飽

01

汽車軟件與C語言

隨著軟件定義汽車概念的興起,汽車軟件開發(fā)的工作量開始呈指數(shù)級增加,當(dāng)前車載軟件代碼量已經(jīng)達(dá)到1億-3億行。這是一個什么概念呢,相當(dāng)于比Windows系統(tǒng)還高出一個數(shù)量級。據(jù)調(diào)查,大部分的車載軟件都是使用C語言進(jìn)行開發(fā),因為C執(zhí)行效率高、代碼量小,因此在汽車的小型控制部件中被廣泛使用。盡管C語言在嵌入式系統(tǒng)中如此流行,但仍有很多缺陷:

1

C是弱類型語言

在下面代碼中,char類型和int類型是可以直接運(yùn)算的,因為char類型會被提升為int,這就是C中的隱式類型轉(zhuǎn)換,將精度較小的轉(zhuǎn)換為大精度的,在這個意義上講,它并不符合強(qiáng)類型語言的定義。

#include

int main(void){

char a='a';

int b=10;

int c=a+b;

return 0;

}

2

C有更多操作符及優(yōu)先級

C相較于其他的語言有更多的操作符,因此其也有更多不同的操作符優(yōu)先級,其中的大多數(shù)都不是能直觀判斷的,所以通常會被程序員誤解。

3

C程序一般不為常見問題

提供運(yùn)行時檢查

C程序一般不為常見問題提供運(yùn)行時檢查,例如運(yùn)算異常(如零除),溢出,指針的有效性或者數(shù)組越界。

02

MISRA C編碼規(guī)范

綜上所述,C語言對于安全性要求很高的汽車軟件而言是不安全的。汽車工業(yè)軟件可靠性協(xié)會(Motor Industry Software Reliability Association,MISRA)在1998年發(fā)布了第一版針對汽車工業(yè)軟件安全性的C語言編碼規(guī)范---MISRA C,讓程序員有規(guī)范可循。從1998年發(fā)布的MISRA C:1998,只針對汽車制造業(yè)的嵌入式開發(fā),到MISRA C:2012,已經(jīng)開始擴(kuò)大覆蓋范圍到其他高安全性系統(tǒng)。下面我們就看一下具體的MISRA C:2012規(guī)則內(nèi)容。

03

MISRA C:2012規(guī)則介紹

MISRA C:2012包含159條規(guī)則,其中Directives有16條,Rules有143條。

01

Dir 4.12:動態(tài)內(nèi)存分配不應(yīng)被使用。

a009cbba-4a6e-11ed-b116-dac502259ad0.png

圖1 Dir 4.12規(guī)則

原理:任何庫的動態(tài)內(nèi)存分配和進(jìn)程的釋放都可能導(dǎo)致未定義的行為。

02

Rule 10.3:表達(dá)式的值不應(yīng)分配給具有較窄基本類型或不同基本類型類別的對象。

a03f348a-4a6e-11ed-b116-dac502259ad0.png

圖2 Rule 10.3規(guī)則

原理:C語言允許程序員有相當(dāng)大的自由度,并允許自動形成不同算術(shù)類型之間的賦值。然而,使用這些隱式轉(zhuǎn)換可能會導(dǎo)致意外的結(jié)果,可能會丟失值、符號或精度。如MISRA基本類型模型所強(qiáng)制的,使用更強(qiáng)的類型可以降低這些問題發(fā)生的可能性。

看到這里,相信大家有許多疑問:為什么一個是Dir而另一個是Rule呢?Category、Analysis這些又是什么呢?下面就來介紹一下MISRA規(guī)則的分類和屬性。

04

MISRA C:2012規(guī)則分類

MISRA C:2012的規(guī)則按照性質(zhì)分為兩類:指令(Directives)和規(guī)則(Rules)。規(guī)則有三種不同類別:”強(qiáng)制(Mandatory)”、”要求(Required)”和“建議(Advisory)”;其中具體結(jié)果如下圖所示。

a0506e6c-4a6e-11ed-b116-dac502259ad0.png

圖3 MISRA C:2012規(guī)則分類那么,在任何情況下都可以明確地說明該條代碼違反了規(guī)則嗎?出于此問題,MISRA C:2012規(guī)則的Rules具有可判定性Decidable/Undecidable,他們的區(qū)分標(biāo)準(zhǔn)為是否能在任何情況下明確回答“該代碼是否遵循了這條規(guī)則”?a08f1450-4a6e-11ed-b116-dac502259ad0.png圖4 MISRA C:2012規(guī)則的可判定性要注意的是,可判定性并不適用于Directives規(guī)則。Rules的分析范圍分為Single Translation Unit/System:a0a0ed56-4a6e-11ed-b116-dac502259ad0.png圖5 Rules的分析范圍

05

Helix QAC與MISRA C:2012

很明顯,MISRA C:2012規(guī)則就是為靜態(tài)測試而生的。Perforce公司的靜態(tài)分析工具Helix QAC,是汽車行業(yè)中主流的靜態(tài)分析器,其開發(fā)團(tuán)隊是MISRA C&C++編碼委員會的創(chuàng)始會員,也是MISRA C&C++委員會最具影響力的會員。Helix QAC具有業(yè)界領(lǐng)先的編碼規(guī)范覆蓋度,目前MISRA C:2004的編碼規(guī)范覆蓋度達(dá)到了99%,而對MISRA C:2012的編碼規(guī)范覆蓋度已達(dá)到100%。是嵌入式靜態(tài)分析領(lǐng)域公認(rèn)的行業(yè)領(lǐng)導(dǎo)及先驅(qū)。a0b7196e-4a6e-11ed-b116-dac502259ad0.png圖6 Helix QAC的編碼規(guī)范覆蓋度下面以開源工程wget為例,演示一下Helix QAC是如何定位違反MISRA C:2012規(guī)則的代碼。a0cafb00-4a6e-11ed-b116-dac502259ad0.png圖7 HelixQAC診斷消息0883診斷消息0883:“包含文件代碼不受重復(fù)包含的保護(hù)”正是MISRAC:2012規(guī)則Dir 4.10的映射,通過診斷消息開發(fā)人員就可以了解到代碼違反MISRA C:2012規(guī)則的情況,從而對代碼進(jìn)行修改使其合規(guī)。a0fe16f2-4a6e-11ed-b116-dac502259ad0.png圖8 Rule 9.1規(guī)則的不同診斷消息Rule 9.1:對象在初始化前不能被使用。a134044c-4a6e-11ed-b116-dac502259ad0.png圖9 Rule 9.1規(guī)則這里大家或許會疑惑,為什么同一個規(guī)則下會產(chǎn)生兩種診斷消息呢?答案是:數(shù)據(jù)流分析。數(shù)據(jù)流分析是Helix QAC的高級分析,Helix QAC通過內(nèi)置的數(shù)據(jù)流分析器分析運(yùn)行時的行為。數(shù)據(jù)流分析可以識別各種問題,包括可能指示編碼錯誤的條件,以及可能導(dǎo)致程序崩潰的關(guān)鍵未定義行為。我們可以看到圖中的診斷消息2962和2963雖然都是Rule 9.1產(chǎn)生的,但是分成了Suspicious和Apparent兩種。我們在代碼中看一下這兩條診斷消息的不同。診斷消息2963的源碼如下:a13ec814-4a6e-11ed-b116-dac502259ad0.png
在226行聲明了數(shù)組saved_lengths,241行對saved_lengths進(jìn)行賦值操作,在255行使用saved_lengths。但saved_lengths的賦值操作不一定會進(jìn)行,因為該操作在for循環(huán)中進(jìn)行,如果for循環(huán)沒有達(dá)到執(zhí)行條件導(dǎo)致并未執(zhí)行,那么此時saved_lengths就沒有初始化。所以此條診斷消息是Suspicious。診斷消息2962源碼如下:a163cf2e-4a6e-11ed-b116-dac502259ad0.png
可以看到,在824行聲明變量dt,但后面并未對dt進(jìn)行初始化。所以此條診斷消息是Apparent。
由此可見Helix QAC數(shù)據(jù)流分析功能的強(qiáng)大。Helix QAC的數(shù)據(jù)流功能也在不斷地更新,在即將到來的新版本2022.4中,數(shù)據(jù)流計劃從Helix QAC引擎中分離出來,成為自己的組件。在近期發(fā)布的最新版本Helix QAC 2022.3中,引入了對微軟Visual Studio 2022的支持,提供更廣泛的編譯器支持,以及對C++20和C23的升級語言支持。此外,此版本具有使用“qainject”自動生成 CCT 的功能,可簡化構(gòu)建理解和編譯器設(shè)置。作為Perforce公司的合作伙伴,北匯信息將為客戶提供優(yōu)質(zhì)的靜態(tài)代碼測試工具和服務(wù)。

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • 汽車軟件
    +關(guān)注

    關(guān)注

    1

    文章

    124

    瀏覽量

    3415
收藏 人收藏

    評論

    相關(guān)推薦
    熱點(diǎn)推薦

    X1A000171000300,FC2012AN,32.768kHz,2012mm,EPSON晶振

    產(chǎn)品簡介X1A000171000300,FC2012AN,32.768kHz,2012mm,EPSON晶振,日本進(jìn)口晶振,EPSON晶振,愛普生晶振,型號:FC2012AN,編碼為
    發(fā)表于 05-13 17:03 ?0次下載

    Helix QAC 2025.1 重磅發(fā)布!MISRA C:2025? 100%覆蓋

    Helix QAC 2025.1新增功能 Helix QAC 2025.1實(shí)現(xiàn)了對新版MISRA C:2025?標(biāo)準(zhǔn)的 100% 覆蓋,并提供對應(yīng)的合規(guī)模塊。此版本還擴(kuò)展了對 CERT C
    的頭像 發(fā)表于 05-13 16:48 ?191次閱讀
    Helix QAC 2025.1 重磅發(fā)布!<b class='flag-5'>MISRA</b> <b class='flag-5'>C</b>:2025? 100%覆蓋

    MISRA C:2025新標(biāo)準(zhǔn)解析:新增規(guī)則、優(yōu)化點(diǎn)與靜態(tài)代碼分析工具支持(Perforce QAC、Klocwork)

    MISRA C:2025?發(fā)布!新增5條規(guī)則,并對部分現(xiàn)有規(guī)則進(jìn)行了擴(kuò)展、重組,以進(jìn)一步簡化安全關(guān)鍵型系統(tǒng)的開發(fā)流程。如何實(shí)現(xiàn)最新MISRA合規(guī)性?
    的頭像 發(fā)表于 05-08 17:58 ?572次閱讀
    <b class='flag-5'>MISRA</b> <b class='flag-5'>C</b>:2025新標(biāo)準(zhǔn)解析:新增規(guī)則、優(yōu)化點(diǎn)與靜態(tài)代碼分析工具支持(Perforce QAC、Klocwork)

    hyper 2012 r2,Hyper 2012 R2:經(jīng)典版本功能與使用

    在日常工作中,我們常常需要對大量文件、數(shù)據(jù)或任務(wù)進(jìn)行重復(fù)性操作,這些工作不僅耗時費(fèi)力,還容易出錯。幸運(yùn)的是,批量管理工具的出現(xiàn)為這些問題提供了高效的解決方案。今天就為大家介紹Hyper2012
    的頭像 發(fā)表于 02-08 10:11 ?584次閱讀
    hyper <b class='flag-5'>2012</b> r2,Hyper <b class='flag-5'>2012</b> R2:經(jīng)典版本功能與使用

    EV2012、bq2012評估系統(tǒng)產(chǎn)品簡介

    電子發(fā)燒友網(wǎng)站提供《EV2012、bq2012評估系統(tǒng)產(chǎn)品簡介.pdf》資料免費(fèi)下載
    發(fā)表于 12-21 11:17 ?0次下載
    EV<b class='flag-5'>2012</b>、bq<b class='flag-5'>2012</b>評估系統(tǒng)產(chǎn)品簡介

    杰和課堂|帶你認(rèn)識算力

    杰和課堂|帶你認(rèn)識算力人工智能浪潮洶涌的今天,算力一詞頻繁出現(xiàn)在各類科技新聞、產(chǎn)業(yè)發(fā)展報告中。了解過杰和科技產(chǎn)品的讀者們,也會在杰和各產(chǎn)品參數(shù)中發(fā)現(xiàn)算力這一概念,比如AI一體機(jī)主板CB4-411,該
    的頭像 發(fā)表于 12-06 10:24 ?877次閱讀
    杰和課堂|<b class='flag-5'>帶你</b>認(rèn)識算力

    5CGTFD7D5F27C7N Intel/Altera可編程邏輯器件(CPLD/FPGA)

    Altera 的Cyclone? V系列FPGA,型號5CGTFD7D5F27C7N,一篇文章帶你解讀,該型號的基本屬性。
    的頭像 發(fā)表于 11-29 15:26 ?820次閱讀
    5CGTFD7D5F27<b class='flag-5'>C</b>7N Intel/Altera可編程邏輯器件(CPLD/FPGA)

    CMPA601C025F 6-12GHz頻段的25瓦GaN功率放大器

    一篇文章帶你解讀,MACOM的CMPA601C025F 6-12GHz頻段的25瓦GaN功率放大器
    的頭像 發(fā)表于 11-22 18:22 ?707次閱讀
    CMPA601<b class='flag-5'>C</b>025F 6-12GHz頻段的25瓦GaN功率放大器

    Agilent安捷倫DSO-X2012A 示波器

    Agilent安捷倫DSO-X2012A示波器:100 MHz,2 個模擬通道 DSO-X2012A是安捷倫2000X系列的100MHz示波器提供2個模擬通道、100 kpts存儲器和高達(dá)
    的頭像 發(fā)表于 11-22 16:16 ?606次閱讀

    探知 FLC057WG C波段高功率 GaAs FET的神秘

    一篇文章帶你,探知 FLC057WG C波段高功率 GaAs FET的神秘
    的頭像 發(fā)表于 11-15 16:03 ?780次閱讀
    探知 FLC057WG <b class='flag-5'>C</b>波段高功率 GaAs FET的神秘

    智慧公交是什么?一文帶你詳解智慧公交的解決方案!

    智慧公交是什么?一文帶你詳解智慧公交的解決方案!
    的頭像 發(fā)表于 11-05 12:26 ?845次閱讀
    智慧公交是什么?一文<b class='flag-5'>帶你</b>詳解智慧公交的解決方案!

    C2000? MISRA-C策略

    電子發(fā)燒友網(wǎng)站提供《C2000? MISRA-C策略.pdf》資料免費(fèi)下載
    發(fā)表于 10-11 11:43 ?0次下載
    <b class='flag-5'>C</b>2000? <b class='flag-5'>MISRA-C</b>策略

    embOS的MISRA-C:2012一致性

    MISRA C是汽車工業(yè)軟件可靠性協(xié)會(MISRA)開發(fā)的一套針對C編程語言的軟件開發(fā)指南,目的是提升嵌入式系統(tǒng)的安全性和可移植性。2012
    的頭像 發(fā)表于 08-20 11:35 ?807次閱讀

    whitepaper-perforce-what-is-misra

    如果您熟悉嵌入式軟件的世界,您可能聽說過安全關(guān)鍵系統(tǒng)的MISRA編碼準(zhǔn)則和合規(guī)性。最初為在汽車嵌入式軟件行業(yè),MISRA C for CC
    發(fā)表于 08-08 15:54 ?0次下載

    Perforce靜態(tài)代碼分析專家解讀MISRA C++:2023?新標(biāo)準(zhǔn):如何安全、高效地使用基于范圍的for循環(huán),防范未定義行

    MISRA C++:2023——MISRA? C++ 標(biāo)準(zhǔn)的下一個版本來了!為了幫助您了解 MISRA
    的頭像 發(fā)表于 06-18 12:57 ?697次閱讀