www.久久久久|狼友网站av天堂|精品国产无码a片|一级av色欲av|91在线播放视频|亚洲无码主播在线|国产精品草久在线|明星AV网站在线|污污内射久久一区|婷婷综合视频网站

當前位置：首頁 > 公眾號精選 > strongerHuang

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

時間：2021-09-14 11:32:15
關鍵字： 代碼   
手機看文章

掃描二維碼
隨時隨地手機看文章

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




素材來源 | CSDN


編排 | strongerHuang



當前標準的C語言編譯器存在普遍只能找出代碼中潛在的缺陷，而對程序方案設計并沒有效。



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




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


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




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


  • LDRA


  • Parasoft C / C test


  • PVS-Studio


  • VectorCAST



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


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




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



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


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





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



確保嚴格執(zhí)行ANSI-C標準


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




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



強大的類型檢查功能


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




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


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




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



支持基本的堆棧分析


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




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



幫助檢查線程


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




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



總結


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



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




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



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





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

9月2日消息，不造車的華為或?qū)⒋呱龈蟮莫毥谦F公司，隨著阿維塔和賽力斯的入局，華為引望愈發(fā)顯得引人矚目。

關鍵字： 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術解決方案公司Trianz今天宣布，該公司與Amazon Web Services （AWS）簽訂了...

關鍵字： AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術公司SODA.Auto推出其旗艦產(chǎn)品SODA V，這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具，可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關鍵字： 汽車 人工智能 智能驅(qū)動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務能7×24不間斷運行，同時企業(yè)卻面臨越來越多業(yè)務中斷的風險，如企業(yè)系統(tǒng)復雜性的增加，頻繁的功能更新和發(fā)布等。如何確保業(yè)務連續(xù)性，提升韌性，成...

關鍵字： 亞馬遜 解密 控制平面 BSP

8月30日消息，據(jù)媒體報道，騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關鍵字： 騰訊 編碼器 CPU

8月28日消息，今天上午，2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行，華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關鍵字： 華為 12nm EDA 半導體

8月28日消息，在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上，華為常務董事、華為云CEO張平安發(fā)表演講稱，數(shù)字世界的話語權最終是由生態(tài)的繁榮決定的。

關鍵字： 華為 12nm 手機 衛(wèi)星通信

要點： 有效應對環(huán)境變化，經(jīng)營業(yè)績穩(wěn)中有升 落實提質(zhì)增效舉措，毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著，戰(zhàn)新業(yè)務引領增長 以科技創(chuàng)新為引領，提升企業(yè)核心競爭力 堅持高質(zhì)量發(fā)展策略，塑強核心競爭優(yōu)勢...

關鍵字： 通信 BSP 電信運營商 數(shù)字經(jīng)濟

北京2024年8月27日 /美通社/ -- 8月21日，由中央廣播電視總臺與中國電影電視技術學會聯(lián)合牽頭組建的NVI技術創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術創(chuàng)新聯(lián)...

關鍵字： VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上，軟通動力信息技術（集團）股份有限公司（以下簡稱"軟通動力"）與長三角投資（上海）有限...

關鍵字： BSP 信息技術
關閉
關閉