Вышла новая версия cppcheck — статического анализатора исходного кода для языков C и C++. В этом выпуске представлены новые проверки: пропущенный return в функции; запись перекрывающихся (overlapping) данных, обнаружение UB; сравнение с значением вне допустимого диапазона типов; отключение copy elision из-за использования return std::move(local); открытие файла на чтение и запись в разных потоках (streams). ( [ читать дальше... ](
https://www.linux.org.ru/news/development/16570068#cut ) ) Помимо этого, была завершена проверка соответствия исходного кода стандарту MISRA C 2012: реализованы все правила MISRA C 2012, кроме 1.1, 1.2 (должны обеспечиваться компилятором) и 17.3 (может обеспечиваться компилятором), включая правила в поправках 1 и 2. Исходный код анализатора распространяется по лицензии GPLv3.
Ссылка:
https://www.linux.org.ru/news/development/16570068