Кстати, говорили, что в своё время дебиану "помог" как раз статический анализатор. Показал наличие доступа к неинициализированной памяти, и тому подобное UB. Мантейнеры после недолгих раздумий выпилили ненужный код и получили *драматическое* уменьшение энтропии.