cppcheck的規則集

Question

Cppcheck允許您創建自己的規則文件，但我不知道公開了多少cppcheck的功能。

是否有人在執行JSF或MISRA規則的電視機上工作 ？

Answer 1

您將無法將所有MISRA / JSF規則和指令實現為cppcheck規則，大部分只能是那些限制某些C語言功能和構造或與樣式相關的簡單命令（有些是想到的：./之前/之后的空格）。 ->，單行中的參數個數，使用並集提供不同的訪問內存的方法，在char之前存在未簽名/已簽名等）。

用戶Ira Baxter在涉及cppcheck的另一個問題的評論中幾乎將其釘上了釘：不是所有事物都可以表示/簡化為模式。 依靠自定義規則的模式使處理和檢測與類型 （例如， 類型上的 sizeof（）等）相關的更高級別的問題變得困難， 您必須解析和收集用作類型表示形式的令牌（typedefs，enums） ， 繼承 （例如，用作虛擬和非虛擬的類，包括派生類）和scope 。 那些需要被硬編碼到cppcheck中（您可以隨時派生cppcheck ...）

無論如何，您是否觸及了MISRA（或JSF）規則？ 這是項目的要求嗎？ 如果沒有，您可以獲取MISRA指南的副本（您已經擁有JSF指南）並檢查可以使用PCRE模式實現的指南。 如果需要，我建議您“投資”確實檢查MISRA / JSF准則並使用這兩種工具的商業產品。

最后一點：您不需要所有MISRA / JSF規則，許多工具將其中的一小部分排除在外。

Answer 2

據我所知，翻閱文檔，看起來很暴露。 http://cppcheck.sourceforge.net/manual.pdf 。

Answer 3

Cppcheck具有MISRA支持。 以下是有關受支持規則的概述： 受支持的MISRA規則