Проект Cppcheck собирает средства для реализации улучшений
Разработчик Cppcheck (Daniel Marjamäki) собирается добавить возможность верификации ПО на C и C++ в свой статический анализатор. Верификация ПО в Cppcheck В режиме «верификации» Cppcheck будет выдавать предупреждение, если не удастся подтвердить, что код безопасный, однако это может приводить к шуму (множественным предупреждениям). Планы реализации Режим верификации будет реализован последовательно. На первом этапе работа будет […]
