1 背景 —— C 的使用和問題 1.1 汽車工業(yè)中 C 的使用 MISRA-C:1998 ［1］ 發(fā)布于 1998 年。本文檔是它的修訂版本，用來解決與第一版本有關系的問題。在汽車工業(yè)領域的實時嵌入式應用中，C 編程語言的使用越來越體現(xiàn)出廣泛性和重要性。這在相當程度上取決于該語言固有的靈活性、可支持的范圍及其潛在的訪問廣泛硬件環(huán)境的可移植性。詳細的理由包括： z 對于許多使用中的微處理器來說，如果存在其他除了匯編語言之外的可用語言，通常就是 C。在許多情況下，其他語言根本就不可用于硬件。 z C 對高速、底層、輸入/輸出操作等提供了很好的支持，而這些特性是許多汽車嵌入式系統(tǒng)的基本特性。 z 由于應用的逐步增長的復雜性，高級語言的使用較匯編語言更為適合。 z 相對于其他一些高級語言，C 能夠產(chǎn)生較小的和較少 RAM 密集性（RAM-intensive）的代碼。 z 增長的可移植性需求。市場競爭要求在工程項目生命周期的任何階段，軟件可以通過移植到新的和/或低成本的處理器，目的是為了降低硬件成本。 z 增長的自動產(chǎn)生 C 代碼的使用要求。C 代碼需要從模型包中自動產(chǎn)生。 z 增長的對開放系統(tǒng)和主機環(huán)境（hosted enviroments）的興趣。 1.2 語言的不安全性和 C 語言沒有哪種編程語言能夠保證最終的可執(zhí)行代碼會準確地按照程序員預想的那樣執(zhí)行。任何語言都會產(chǎn)生大量的問題，下面為其做了廣泛的分類，并描述了 C 語言不安全性的例子。 1.2.1 程序員產(chǎn)生錯誤程序員產(chǎn)生的錯誤，簡單的可以是變量名字的書寫錯誤，或者更為復雜的錯誤，如對算法的誤解。編程語言可以承受這樣的錯誤。首先，語言的風格和表達能幫助或提示程序員清晰考慮其算法。其次，對于書寫錯誤，語言可以使從一個有效結(jié)構(gòu)向另一個有效（不是預想的）結(jié)構(gòu)的轉(zhuǎn)換變得輕松或困難。第三，當錯誤發(fā)生時，語言可以檢測到也可能檢測不到。首先，關于語言的風格和表達，使用 C 可以編寫出良好布局的、結(jié)構(gòu)化的和表達性強的代碼。還可以使用它編寫出不正當?shù)暮吞貏e難以理解的代碼。很明顯，后者對于安全相關的系統(tǒng)是不可接受的。其次，C 的語法特性足以使得書寫錯誤也能產(chǎn)生完全有效的代碼。例如，在“＝＝”（邏輯比較）的地方寫成“＝”（賦值）是很常見的，而且最終結(jié)果也幾乎總是有效的（但它是錯誤的）；而 if 語句的結(jié)尾出現(xiàn)的多余分號能完全改變代碼邏輯。第三，C 的基本觀點是假設程序員知道他們在做什么，這意味著錯誤即使出現(xiàn)也不會被語言注意到而通過。在這方面 C 體現(xiàn)出的軟弱性正在于它的“書寫檢查”（type checking）。舉例來說，C 不會拒絕程序員在使用整數(shù)代表 true/false 值時卻在該整數(shù)中存儲了浮點值。大多數(shù)這樣的失配可以簡單地通過強制使其合適。如果 C 的表現(xiàn)不得其所（a square peg and a round）， 4 它不會挑剔而會適合它們！