Вышла новая версия cppcheck — статического анализатора исходного кода для языков C и C++.

В этом выпуске представлены новые проверки:

• пропущенный return в функции;
• запись перекрывающихся (overlapping) данных, обнаружение UB;
• сравнение с значением вне допустимого диапазона типов;
• отключение copy elision из-за использования return std::move(local);
• открытие файла на чтение и запись в разных потоках (streams).

( читать дальше... )

Помимо этого, была завершена проверка соответствия исходного кода стандарту MISRA C 2012: реализованы все правила MISRA C 2012, кроме 1.1, 1.2 (должны обеспечиваться компилятором) и 17.3 (может обеспечиваться компилятором), включая правила в поправках 1 и 2.

Исходный код анализатора распространяется по лицензии GPLv3.

c, c++, cppcheck, статический анализ

http://feedproxy.google.com/~r/org/LOR/~3/sK2vJfHbg2Y/16570068