История изменений
Исправление XVilka, (текущая версия) :
cppcheck-у далеко до тех математических методов, использованных в infer. Я надеюсь, что сообщество подхватит этот инструмент, так как большинство аналогов - платные, и, как правило, дорогие.
Мы в radare2 используем как Coverity, так и valgrind, особенно поверх набора тестов. Оба находят независимо друг от друга большое количество ошибок. Ну а также ASAN/UBSAN из clang/gcc.
Исходная версия XVilka, :
cppcheck-у далеко до тех математических методов, использованных в infer. Я надеюсь, что сообщество подхватит этот инструмент, так как большинство аналогов - платные, и, как правило, дорогие.