Cppcheck 計畫正在籌集資金以實施改進。

Cppcheck 的開發人員 (Daniel Marjamäki) 將在他的靜態分析器中加入驗證 C 和 C++ 軟體的功能。

Cppcheck 中的軟體驗證

在「驗證」模式下，如果 Cppcheck 無法驗證程式碼是否安全，它會發出警告，但這可能會導致噪音（多個警告）。

實施計劃

驗證模式將依序實施。 第一階段，工作重點是零檢查除法。 這是一個相對簡單的檢查。 每個功能將單獨測試。 假設所有輸入資料可以具有任意值。 稍後將新增對其他類型的未定義行為的檢查。 也計劃改進 C 和 C++ 解析。

加速發展

Kickstarter眾籌的目標是加速驗證模式的發展。 無論如何，我們計劃添加此功能，但如果不籌集資金，工作可能需要更長的時間。 如果資金籌集到，Daniel 將能夠暫時辭去主要工作，以便將工作時間完全投入 cppcheck 專案。

專案目標

• 消除除以零測試中的假陰性 朱麗葉 и 德祥.

• 誤報的糾正（參見。 錯誤#9402).

• C++ 解析器的改良。

來源： linux.org.ru