Что даёт статический анализ C?

Дефекты без запуска: null, утечки CFG, размеры, стиль/MISRA.

Разбор

• CI gate.
• Точечные suppress.
• Тюнинг FP.
• Плюс sanitizers.

Итог

SAST — ранний фильтр в пайплайне. На практике закрепляйте проверками и ревью границ.