- 相關(guān)推薦
2016年嵌入式開(kāi)發(fā)中靜態(tài)代碼分析器的七種用途
使用靜態(tài)代碼分析器有助于提升固件和捕獲編譯器難以察覺(jué)的問(wèn)題。標準的C語(yǔ)言編譯器在檢查語(yǔ)法錯誤方面做得很好，并且能將其編譯成可執行的程序。如果代碼被編譯成功，編譯器就會(huì )默認一切都很好，但可能還是會(huì )存在許多的錯誤。靜態(tài)代碼分析器在下列場(chǎng)景中就能大展身手。以下yjbys為大家推薦每一位嵌入式軟件開(kāi)發(fā)工程師都應該熟悉的靜態(tài)代碼編譯器的七種用法。
用途#1 - 捕捉潛在的漏洞
靜態(tài)代碼分析器廣為人知的用途之一就是掃描軟件中潛在的問(wèn)題和漏洞。這些問(wèn)題小到switch case遺漏了break語(yǔ)句，大到緩存溢出的潛在風(fēng)險。靜態(tài)代碼分析器能夠發(fā)現那些容易被編譯器或者代碼審核人員忽略的問(wèn)題。在開(kāi)發(fā)的早期階段配置一個(gè)靜態(tài)代碼分析器在實(shí)踐中能夠確保潛在風(fēng)險被立即處理，而不是等到開(kāi)發(fā)的后期階段。
用途#2 - 強制執行代碼規范
執行代碼規范是確保軟件開(kāi)發(fā)一致性和代碼可讀性的重要舉措。代碼規范不僅會(huì )涉及代碼可讀性等問(wèn)題，它還能迫使代碼變得優(yōu)雅。一個(gè)典型的例子就是許多靜態(tài)代碼分析器支持MISRA C。靜態(tài)代碼分析器能夠確保開(kāi)發(fā)者沒(méi)有違背大多數推薦實(shí)現方法，也沒(méi)有違背標準的優(yōu)雅實(shí)踐(但是有些規則要求人工檢查，機器無(wú)法自動(dòng)判別)。如果真的發(fā)生了違規行為，靜態(tài)分析器會(huì )將違規行為報告給開(kāi)發(fā)者，開(kāi)發(fā)者可以給予糾正。使用靜態(tài)分析器能夠快速判斷代碼是否遵循了已定義的標準。
用途#3 - 確保嚴格執行ANSI-C標準
那些想嚴格按照ANSI-C標準開(kāi)發(fā)可移植軟件的開(kāi)發(fā)者可以用靜態(tài)代碼分析器判斷是否有非標準的用法混雜在代碼里。將分析器設置為“strict”將會(huì )查找出那些可移植性較差的或者兼容性較弱的代碼區域。開(kāi)發(fā)者隨后可以再次檢查這部分代碼，使得軟件更好地遵守ANSI-C標準，或者至少在文檔中注明這部分代碼。
用途#4 - 強大的類(lèi)型檢查功能
C語(yǔ)言并不支持強類(lèi)型檢查。在C語(yǔ)言中，如果開(kāi)發(fā)者自己創(chuàng )建了一種類(lèi)型，編譯器會(huì )忽略新類(lèi)型而使用底層的C語(yǔ)言類(lèi)型。
舉個(gè)例子，如上圖所示，編譯器會(huì )視變量Var1為int類(lèi)型(實(shí)現時(shí)定義)而不是新的MyEnum_t類(lèi)型。開(kāi)發(fā)者也許想區分int和MyEnum_t兩種類(lèi)型，并讓編譯器在兩者混用之時(shí)做出警告。然而，在第13行編譯器并不認為把變量Var2(底層是int類(lèi)型)的值賦給變量Var1(底層也是int類(lèi)型)存在什么錯誤。靜態(tài)代碼分析器能夠設置嚴格的類(lèi)型檢查，將Var1=Var2因不同類(lèi)型間的賦值而置為高亮，以及檢查出其它不符合開(kāi)發(fā)者本意的問(wèn)題。
用途#5 - 提供量綱檢查
1998年發(fā)射失敗的火星氣候探測器是我最關(guān)注的航空器失事事故之一。航空器的失敗是由于輸入軌道插入參數時(shí)使用了非標準的lbs*s 而不是 N*s (哎呀!)�；鹦菤夂蛱綔y器的失事永遠警示著(zhù)我們確保度量單位正確的重要性。但C編程語(yǔ)言沒(méi)有提供任何的量綱分析來(lái)確保計算的一致性。但是，靜態(tài)代碼分析器能夠完成這些檢查，以確保不會(huì )將千米誤乘以英尺從而得到一個(gè)錯誤的結果。量綱分析的設置在各種工具中各不相同，但開(kāi)發(fā)者應該好好利用這個(gè)重要的特性。
用途#6 - 支持基本的堆棧分析
理解棧的最壞使用場(chǎng)景是開(kāi)發(fā)任何實(shí)時(shí)嵌入式系統的關(guān)鍵。有很多的方法能分析和確定堆棧的最壞情況下的的使用狀態(tài)，但可以用靜態(tài)代碼分析器來(lái)找找合理使用堆棧的感覺(jué)。靜態(tài)分析器可以計算函數的堆棧使用情況和調用圖來(lái)給出堆棧所需的大致空間。靜態(tài)分析工具還可以幫助深入了解程序對函數調用，以及函數結果的確定性。使用靜態(tài)分析來(lái)熟悉堆棧的使用和最壞工作狀態(tài)有助于初步理解堆棧的最壞狀態(tài)分析。
用途#7 - 幫助檢查線(xiàn)程
靜態(tài)分析工具也可以用來(lái)查看在相同處理器上同時(shí)執行的線(xiàn)程和任務(wù)所出現的問(wèn)題。舉個(gè)例子，分析工具可以識別是否有與加鎖或解鎖互斥相關(guān)的任何異常。線(xiàn)程檢查對在實(shí)時(shí)系統中查找問(wèn)題非常有效，但配置此類(lèi)分析卻要花費很大的代價(jià)。只要能發(fā)現存在異常的線(xiàn)程，這種代價(jià)還是值得付出的。
總結
靜態(tài)分析是開(kāi)發(fā)人員開(kāi)發(fā)實(shí)時(shí)系統的一個(gè)寶貴工具。靜態(tài)分析器的七種用途只是其強大功能的幾個(gè)例子。靜態(tài)代碼分析器的使用可以大大提高代碼的質(zhì)量和魯棒性，如果設置得當，甚至可以確保代碼與常見(jiàn)的或自定義的編碼標準的一致性。
【嵌入式開(kāi)發(fā)中靜態(tài)代碼分析器的七種用途】相關(guān)文章：
在Java中執行JavaScript代碼07-14
嵌入式開(kāi)發(fā)中C語(yǔ)言中結構體解讀201608-12
靜態(tài)化網(wǎng)站在SEO中的優(yōu)勢05-12
如何使用網(wǎng)絡(luò )中靜態(tài)IP地址09-14
LabView開(kāi)發(fā)嵌入式應用的技巧06-07
嵌入式系統開(kāi)發(fā)流程01-29