隨著嵌入式的運用范圍越來越廣，現(xiàn)在對于嵌入式的要求也就越高了，在嵌入式的知識中會有很多的知識點都是比較難理解和掌握的，比如說嵌入式靜態(tài)代碼的七種用途。今天這篇文章達內(nèi)科技就和大家說下嵌入式靜態(tài)代碼的七種用途，讓大家在學習的過程中可以有個更好的了解。
用途1、捕捉潛在的漏洞
靜態(tài)代碼分析器廣為人知的用途之一就是掃描軟件中潛在的問題和漏洞。這些問題小到switchcase遺漏了break語句，大到緩存溢出的潛在風險。靜態(tài)代碼分析器能夠發(fā)現(xiàn)那些容易被編譯器或者代碼審核人員忽略的問題。在開發(fā)的早期階段配置一個靜態(tài)代碼分析器在實踐中能夠確保潛在風險被立即處理，而不是等到開發(fā)的后期階段。
用途2、強制執(zhí)行代碼規(guī)范
執(zhí)行代碼規(guī)范是確保軟件開發(fā)一致性和代碼可讀性的重要舉措。代碼規(guī)范不僅會涉及代碼可讀性等問題，它還能迫使代碼變得優(yōu)雅。一個典型的例子就是許多靜態(tài)代碼分析器支持MISRAC。靜態(tài)代碼分析器能夠確保開發(fā)者沒有違背大多數(shù)推薦實現(xiàn)方法，也沒有違背標準的優(yōu)雅實踐(但是有些規(guī)則要求人工檢查，機器無法自動判別)。如果真的發(fā)生了違規(guī)行為，靜態(tài)分析器會將違規(guī)行為報告給開發(fā)者，開發(fā)者可以給予糾正。使用靜態(tài)分析器能夠快速判斷代碼是否遵循了已定義的標準。
用途3、確保嚴格執(zhí)行ANSI-C標準
那些想嚴格按照ANSI-C標準開發(fā)可移植軟件的開發(fā)者可以用靜態(tài)代碼分析器判斷是否有非標準的用法混雜在代碼里。將分析器設置為“strict”將會查找出那些可移植性較差的或者兼容性較弱的代碼區(qū)域。開發(fā)者隨后可以再次檢查這部分代碼，使得軟件更好地遵守ANSI-C標準，或者至少在文檔中注明這部分代碼。
用途4、強大的類型檢查功能
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ā)者本意的問題。
用途5、提供量綱檢查
1998年發(fā)射失敗的火星氣候探測器是我關注的航空器失事事故之一。航空器的失敗是由于輸入軌道插入?yún)?shù)時使用了非標準的lbs*s而不是N*s(哎呀!)。火星氣候探測器的失事永遠警示著我們確保度量單位正確的重要性。但C編程語言沒有提供任何的量綱分析來確保計算的一致性。但是，靜態(tài)代碼分析器能夠完成這些檢查，以確保不會將千米誤乘以英尺從而得到一個錯誤的結(jié)果。量綱分析的設置在各種工具中各不相同，但開發(fā)者應該好好利用這個重要的特性。
用途6、支持基本的堆棧分析
理解棧的壞使用場景是開發(fā)任何實時嵌入式系統(tǒng)的關鍵。有很多的方法能分析和確定堆棧的壞情況下的使用狀態(tài)，但可以用靜態(tài)代碼分析器來找找合理使用堆棧的感覺。靜態(tài)分析器可以計算函數(shù)的堆棧使用情況和調(diào)用圖來給出堆棧所需的大致空間。靜態(tài)分析工具還可以幫助深入了解程序?qū)瘮?shù)調(diào)用，以及函數(shù)結(jié)果的確定性。使用靜態(tài)分析來熟悉堆棧的使用和壞工作狀態(tài)有助于初步理解堆棧的壞狀態(tài)分析。
用途7、幫助檢查線程
靜態(tài)分析工具也可以用來查看在相同處理器上同時執(zhí)行的線程和任務所出現(xiàn)的問題。舉個例子，分析工具可以識別是否有與加鎖或解鎖互斥相關的任何異常。線程檢查對在實時系統(tǒng)中查找問題非常有效，但配置此類分析卻要花費很大的代價。只要能發(fā)現(xiàn)存在異常的線程，這種代價還是值得付出的。
以上都是達內(nèi)科技給大家整理的關于嵌入式靜態(tài)代碼的七種用途了，如果說你想要了解更多關于嵌入式技術上的問題或是想要學習嵌入式技術的話那么達內(nèi)科技歡迎大家來我們公司進行實地考察，也可以點擊我們文章下面的獲取試聽資格按鈕來獲取我們的嵌入式課程免費試聽資格，在試聽中可以更加深入的了解我們達內(nèi)科技。
