這是一本全面介紹了MISRA C:2004編程規(guī)范的書。MISRA C:2004早已得到嵌入式行業(yè)的高度認可和廣泛應用。本書從C語言的缺陷和不安全性出發(fā), 引出MISRA C的宗旨和指導思想, 然后分門別類地介紹該標準的具體內(nèi)容, 對主要規(guī)則進行詳細解讀, 并通過實例分析幫助讀者加深對規(guī)則的理解。本書站在應用的角度對MISRA C的規(guī)則進行邏輯分類, 形成了: 細節(jié)決定成敗、你表達清楚了嗎、千萬不要失控、安全正確的指向、打造安全的編譯環(huán)境等主要章節(jié), 然后介紹了新一代MISRA C:2012標準帶來的改變, 最后介紹了著名的支持MISRA標準的靜態(tài)測試軟件Helix QA Framework的操作和使用。