вроде как такое критично ПО делают на сишке голой чаще. по логике - чем примитивней и проще инструмент, тем проще его анализировать и иметь меньше неопределённых состояний
"меньше неопределённых состояний" - это точно не про сишку, но вообще да, согласен. Люди активно обмазываются статическим анализом.