日本黄色一级经典视频|伊人久久精品视频|亚洲黄色色周成人视频九九九|av免费网址黄色小短片|黄色Av无码亚洲成年人|亚洲1区2区3区无码|真人黄片免费观看|无码一级小说欧美日免费三级|日韩中文字幕91在线看|精品久久久无码中文字幕边打电话

當(dāng)前位置：首頁(yè) > > strongerHuang

嵌入式開(kāi)發(fā)中靜態(tài)代碼分析工具的幾種功能和用途

時(shí)間：2021-09-14 11:32:15
關(guān)鍵字： 代碼   
手機(jī)看文章

掃描二維碼
隨時(shí)隨地手機(jī)看文章

[導(dǎo)讀]素材來(lái)源|CSDN編排| strongerHuang當(dāng)前標(biāo)準(zhǔn)的C語(yǔ)言編譯器存在普遍只能找出代碼中潛在的缺陷，而對(duì)程序方案設(shè)計(jì)并沒(méi)有效。使用靜態(tài)代碼分析器有助于提升固件和捕獲編譯器難以察覺(jué)的問(wèn)題。用于嵌入式的常見(jiàn)代碼靜態(tài)分析工具代碼靜態(tài)分析工具，顧名思義就是對(duì)代碼進(jìn)行靜待...




素材來(lái)源 | CSDN


編排 | strongerHuang



當(dāng)前標(biāo)準(zhǔn)的C語(yǔ)言編譯器存在普遍只能找出代碼中潛在的缺陷，而對(duì)程序方案設(shè)計(jì)并沒(méi)有效。



使用靜態(tài)代碼分析器有助于提升固件和捕獲編譯器難以察覺(jué)的問(wèn)題。




用于嵌入式的常見(jiàn)代碼靜態(tài)分析工具


代碼靜態(tài)分析工具，顧名思義就是對(duì)代碼進(jìn)行靜待分析，以提前預(yù)判（分析出）代碼潛在的一些問(wèn)題的工具。換句話說(shuō)，就是通過(guò)工具找出你代碼的bug（錯(cuò)誤、警告）。




代碼靜態(tài)分析工具需要你的代碼遵循一定規(guī)范，比如遵循C99、MISRA C：2012等，不然工具不支持對(duì)你代碼的靜態(tài)分析。
代碼靜態(tài)分析工具有獨(dú)立存在的（就是一款軟件工具），也有集成在IDE中的。比如比如：IAR EWARM就自帶靜待分析工具。
同時(shí)，有些工具支持通過(guò)“安裝插件”的形式集成在IDE中，比如：在keil MDK中添加PC-lint代碼靜態(tài)分析工具。
下面羅列幾個(gè)常見(jiàn)的代碼靜態(tài)分析工具：
  • PC-lint


  • LDRA


  • Parasoft C / C test


  • PVS-Studio


  • VectorCAST



以下是每一位嵌入式軟件開(kāi)發(fā)工程師都應(yīng)該熟悉的靜態(tài)代碼編譯器的七種功能和用法。
捕捉潛在的漏洞


靜態(tài)代碼分析器廣為人知的用途之一就是掃描軟件中潛在的問(wèn)題和漏洞。這些問(wèn)題小到switch case遺漏了break語(yǔ)句，大到緩存溢出的潛在風(fēng)險(xiǎn)。




靜態(tài)代碼分析器能夠發(fā)現(xiàn)那些容易被編譯器或者代碼審核人員忽略的問(wèn)題。在開(kāi)發(fā)的早期階段配置一個(gè)靜態(tài)代碼分析器在實(shí)踐中能夠確保潛在風(fēng)險(xiǎn)被立即處理，而不是等到開(kāi)發(fā)的后期階段。



強(qiáng)制執(zhí)行代碼規(guī)范


執(zhí)行代碼規(guī)范是確保軟件開(kāi)發(fā)一致性和代碼可讀性的重要舉措。代碼規(guī)范不僅會(huì)涉及代碼可讀性等問(wèn)題，它還能迫使代碼變得優(yōu)雅。一個(gè)典型的例子就是許多靜態(tài)代碼分析器支持MISRA C。





靜態(tài)代碼分析器能夠確保開(kāi)發(fā)者沒(méi)有違背大多數(shù)推薦實(shí)現(xiàn)方法，也沒(méi)有違背標(biāo)準(zhǔn)的優(yōu)雅實(shí)踐（但是有些規(guī)則要求人工檢查，機(jī)器無(wú)法自動(dòng)判別）。如果真的發(fā)生了違規(guī)行為，靜態(tài)分析器會(huì)將違規(guī)行為報(bào)告給開(kāi)發(fā)者，開(kāi)發(fā)者可以給予糾正。使用靜態(tài)分析器能夠快速判斷代碼是否遵循了已定義的標(biāo)準(zhǔn)。



確保嚴(yán)格執(zhí)行ANSI-C標(biāo)準(zhǔn)


那些想嚴(yán)格按照ANSI-C標(biāo)準(zhǔn)開(kāi)發(fā)可移植軟件的開(kāi)發(fā)者可以用靜態(tài)代碼分析器判斷是否有非標(biāo)準(zhǔn)的用法混雜在代碼里。




將分析器設(shè)置為“strict”將會(huì)查找出那些可移植性較差的或者兼容性較弱的代碼區(qū)域。開(kāi)發(fā)者隨后可以再次檢查這部分代碼，使得軟件更好地遵守ANSI-C標(biāo)準(zhǔn)，或者至少在文檔中注明這部分代碼。



強(qiáng)大的類型檢查功能


C語(yǔ)言并不支持強(qiáng)類型檢查。在C語(yǔ)言中，如果開(kāi)發(fā)者自己創(chuàng)建了一種類型，編譯器會(huì)忽略新類型而使用底層的C語(yǔ)言類型。




舉個(gè)例子，如上圖所示，編譯器會(huì)視變量Var1為int類型（實(shí)現(xiàn)時(shí)定義）而不是新的MyEnum_t類型。開(kāi)發(fā)者也許想?yún)^(qū)分int和MyEnum_t兩種類型，并讓編譯器在兩者混用之時(shí)做出警告。
然而，在第13行編譯器并不認(rèn)為把變量Var2（底層是int類型）的值賦給變量Var1（底層也是int類型）存在什么錯(cuò)誤。靜態(tài)代碼分析器能夠設(shè)置嚴(yán)格的類型檢查，將Var1=Var2因不同類型間的賦值而置為高亮，以及檢查出其它不符合開(kāi)發(fā)者本意的問(wèn)題。
提供量綱檢查


1998年發(fā)射失敗的火星氣候探測(cè)器是我最關(guān)注的航空器失事事故之一。航空器的失敗是由于輸入軌道插入?yún)?shù)時(shí)使用了非標(biāo)準(zhǔn)的lbs*s 而不是 N*s （哎呀?。??；鹦菤夂蛱綔y(cè)器的失事永遠(yuǎn)警示著我們確保度量單位正確的重要性。但C編程語(yǔ)言沒(méi)有提供任何的量綱分析來(lái)確保計(jì)算的一致性。




但是，靜態(tài)代碼分析器能夠完成這些檢查，以確保不會(huì)將千米誤乘以英尺從而得到一個(gè)錯(cuò)誤的結(jié)果。量綱分析的設(shè)置在各種工具中各不相同，但開(kāi)發(fā)者應(yīng)該好好利用這個(gè)重要的特性。



支持基本的堆棧分析


理解棧的最壞使用場(chǎng)景是開(kāi)發(fā)任何實(shí)時(shí)嵌入式系統(tǒng)的關(guān)鍵。有很多的方法能分析和確定堆棧的最壞情況下的的使用狀態(tài)，但可以用靜態(tài)代碼分析器來(lái)找找合理使用堆棧的感覺(jué)。靜態(tài)分析器可以計(jì)算函數(shù)的堆棧使用情況和調(diào)用圖來(lái)給出堆棧所需的大致空間。




靜態(tài)分析工具還可以幫助深入了解程序?qū)瘮?shù)調(diào)用，以及函數(shù)結(jié)果的確定性。使用靜態(tài)分析來(lái)熟悉堆棧的使用和最壞工作狀態(tài)有助于初步理解堆棧的最壞狀態(tài)分析。



幫助檢查線程


靜態(tài)分析工具也可以用來(lái)查看在相同處理器上同時(shí)執(zhí)行的線程和任務(wù)所出現(xiàn)的問(wèn)題。




舉個(gè)例子，分析工具可以識(shí)別是否有與加鎖或解鎖互斥相關(guān)的任何異常。線程檢查對(duì)在實(shí)時(shí)系統(tǒng)中查找問(wèn)題非常有效，但配置此類分析卻要花費(fèi)很大的代價(jià)。只要能發(fā)現(xiàn)存在異常的線程，這種代價(jià)還是值得付出的。



總結(jié)


靜態(tài)分析是開(kāi)發(fā)人員開(kāi)發(fā)實(shí)時(shí)系統(tǒng)的一個(gè)寶貴工具。靜態(tài)分析器的七種用途只是其強(qiáng)大功能的幾個(gè)例子。



靜態(tài)代碼分析器的使用可以大大提高代碼的質(zhì)量和魯棒性，如果設(shè)置得當(dāng)，甚至可以確保代碼與常見(jiàn)的或自定義的編碼標(biāo)準(zhǔn)的一致性。




參考來(lái)源：https://blog.csdn.net/happytofly/article/details/80121895https://www.edn.com/7-uses-for-a-static-code-analyzer/
聲明：本文來(lái)源網(wǎng)絡(luò)，版權(quán)歸原作者所有。如涉及作品版權(quán)問(wèn)題，請(qǐng)與我聯(lián)系刪除。



------------ END ------------





本站聲明： 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布，目的在于傳遞更多信息，并不代表本站贊同其觀點(diǎn)，本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專欄作者，如若文章內(nèi)容侵犯您的權(quán)益，請(qǐng)及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

LED驅(qū)動(dòng)電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。

關(guān)鍵字： 驅(qū)動(dòng)電源

在工業(yè)自動(dòng)化蓬勃發(fā)展的當(dāng)下，工業(yè)電機(jī)作為核心動(dòng)力設(shè)備，其驅(qū)動(dòng)電源的性能直接關(guān)系到整個(gè)系統(tǒng)的穩(wěn)定性和可靠性。其中，反電動(dòng)勢(shì)抑制與過(guò)流保護(hù)是驅(qū)動(dòng)電源設(shè)計(jì)中至關(guān)重要的兩個(gè)環(huán)節(jié)，集成化方案的設(shè)計(jì)成為提升電機(jī)驅(qū)動(dòng)性能的關(guān)鍵。

關(guān)鍵字： 工業(yè)電機(jī) 驅(qū)動(dòng)電源

LED 驅(qū)動(dòng)電源作為 LED 照明系統(tǒng)的 “心臟”，其穩(wěn)定性直接決定了整個(gè)照明設(shè)備的使用壽命。然而，在實(shí)際應(yīng)用中，LED 驅(qū)動(dòng)電源易損壞的問(wèn)題卻十分常見(jiàn)，不僅增加了維護(hù)成本，還影響了用戶體驗(yàn)。要解決這一問(wèn)題，需從設(shè)計(jì)、生...

關(guān)鍵字： 驅(qū)動(dòng)電源 照明系統(tǒng) 散熱

根據(jù)LED驅(qū)動(dòng)電源的公式，電感內(nèi)電流波動(dòng)大小和電感值成反比，輸出紋波和輸出電容值成反比。所以加大電感值和輸出電容值可以減小紋波。

關(guān)鍵字： LED 設(shè)計(jì) 驅(qū)動(dòng)電源

電動(dòng)汽車(EV)作為新能源汽車的重要代表，正逐漸成為全球汽車產(chǎn)業(yè)的重要發(fā)展方向。電動(dòng)汽車的核心技術(shù)之一是電機(jī)驅(qū)動(dòng)控制系統(tǒng)，而絕緣柵雙極型晶體管(IGBT)作為電機(jī)驅(qū)動(dòng)系統(tǒng)中的關(guān)鍵元件，其性能直接影響到電動(dòng)汽車的動(dòng)力性能和...

關(guān)鍵字： 電動(dòng)汽車 新能源 驅(qū)動(dòng)電源

在現(xiàn)代城市建設(shè)中，街道及停車場(chǎng)照明作為基礎(chǔ)設(shè)施的重要組成部分，其質(zhì)量和效率直接關(guān)系到城市的公共安全、居民生活質(zhì)量和能源利用效率。隨著科技的進(jìn)步，高亮度白光發(fā)光二極管(LED)因其獨(dú)特的優(yōu)勢(shì)逐漸取代傳統(tǒng)光源，成為大功率區(qū)域...

關(guān)鍵字： 發(fā)光二極管 驅(qū)動(dòng)電源 LED

LED通用照明設(shè)計(jì)工程師會(huì)遇到許多挑戰(zhàn)，如功率密度、功率因數(shù)校正(PFC)、空間受限和可靠性等。

關(guān)鍵字： LED 驅(qū)動(dòng)電源 功率因數(shù)校正

在LED照明技術(shù)日益普及的今天，LED驅(qū)動(dòng)電源的電磁干擾(EMI)問(wèn)題成為了一個(gè)不可忽視的挑戰(zhàn)。電磁干擾不僅會(huì)影響LED燈具的正常工作，還可能對(duì)周圍電子設(shè)備造成不利影響，甚至引發(fā)系統(tǒng)故障。因此，采取有效的硬件措施來(lái)解決L...

關(guān)鍵字： LED照明技術(shù) 電磁干擾 驅(qū)動(dòng)電源

開(kāi)關(guān)電源具有效率高的特性,而且開(kāi)關(guān)電源的變壓器體積比串聯(lián)穩(wěn)壓型電源的要小得多,電源電路比較整潔,整機(jī)重量也有所下降,所以,現(xiàn)在的LED驅(qū)動(dòng)電源

關(guān)鍵字： LED 驅(qū)動(dòng)電源 開(kāi)關(guān)電源

LED驅(qū)動(dòng)電源是把電源供應(yīng)轉(zhuǎn)換為特定的電壓電流以驅(qū)動(dòng)LED發(fā)光的電壓轉(zhuǎn)換器，通常情況下：LED驅(qū)動(dòng)電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。

關(guān)鍵字： LED 隧道燈 驅(qū)動(dòng)電源
關(guān)閉