Cppcheck 项目正在筹集资金以实施改进。

Cppcheck 的开发人员 (Daniel Marjamäki) 将在他的静态分析器中添加验证 C 和 C++ 软件的功能。

Cppcheck 中的软件验证

在“验证”模式下，如果 Cppcheck 无法验证代码是否安全，它会发出警告，但这可能会导致噪音（多个警告）。

实施计划

验证模式将依次实施。 第一阶段，工作重点是零检查除法。 这是一个相对简单的检查。 每个功能将单独测试。 假设所有输入数据可以具有任意值。 稍后将添加对其他类型的未定义行为的检查。 还计划改进 C 和 C++ 解析。

加快发展

Kickstarter众筹的目标是加速验证模式的发展。 无论如何，我们计划添加此功能，但如果不筹集资金，工作可能需要更长的时间。 如果资金筹集到，Daniel 将能够暂时辞去主要工作，以便将工作时间完全投入到 cppcheck 项目中。

项目目标

• 消除除以零测试中的假阴性 朱丽叶 и 国际贸易中心.

• 误报的纠正（参见。 错误#9402).

• C++ 解析器的改进。

来源： linux.org.ru