Исправление ncrmnt, (текущая версия) :
Кстати, а опасности связанные с разным поведением например va_arg на разных архитектурах/integer promotion оно ловит? Ну и все же хочется какого-то сравнения с coverity/purespace. Последний хорош, но у него в разы больше ложных срабатываний, в отличие от coverity. При этом некоторые косяки которые не видит coverity ловит ВНЕЗАПНО clang-analyze.
Исходная версия ncrmnt, :
Кстати, а опасности связанные с разным поведением например va_arg на разных архитектурах/integer promotion оно ловит?