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