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