К тому списку можно добавить пару российских
1. Есть статический анализатор, разработанный в ИСП РАН Svace https://www.ispras.ru/technologies/svace/
2. Ростелеком тоже имеет Solar https://rt-solar.ru/products/solar_appscreener/
Но это коммерческие.
PVS — тоже коммерческий.
А у Sonar вроде есть бесплатный вариант.
https://www.sonarsource.com/open-source-editions/

К тому списку можно добавить пару российских
1. Есть статический анализатор, разработанный в ИСП РАН Svace https://www.ispras.ru/technologies/svace/
2. Ростелеком тоже имеет Solar https://rt-solar.ru/products/solar_appscreener/
Но это коммерческие.
PVS — тоже коммерческий.
А у Sonar вроде есть бесплатный вариант.
https://www.sonarsource.com/open-source-editions/

Кстати, рекомендую Clang — там можно самому дописывать чекеры.