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

В новой версии:

В парсере:

• различные исправления;
• теперь поддерживаются все возможности c++11, c++14, c++17;
• частичная поддержка с++20.

Также анализатор теперь:

• знает больше об API;
• показывает меньше ненужных предупреждений;
• находит больше багов;
• исправлены вылеты и ложные срабатывания в Misra.

Добавлены новые проверки:

• подозрительное присваивание контейнера/итератора в условии;
• повторное пробрасывание текущего исключения с помощью throw;.

Примеры кода, которые демонстрируют новые проверки:

void f(std::string s) {
  if (s = "123") {
  }
}

Assignment in condition should probably be comparison

void func1(const bool flag) { try{ if(!flag) throw; } catch (int&) { ; } }

Rethrowing current exception with 'throw;', it seems there is no current exception to rethrow.
If there is no current exception this calls std::terminate(). More: https://isocpp.org/wiki/faq/exceptions#throw-without-an-object

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

http://feedproxy.google.com/~r/org/LOR/~3/rzR5RAV5_bQ/16404419