> вы простите меня. Самые дорогие ошибки - это ошибки архитектуры и методов  решения задачи.

Ну давай посмотрим на примере. Сбой на старте arian 5 обошелся в 370 миллионов баксов. Ошибка была не архитектурная, а как раз из того класса, что выявляются статическим анализаторами. По результатам были сделаны выводы и "The subsequent automated analysis of the Ariane code (written in Ada) was the first example of large-scale static code analysis by abstract interpretation"
Приведи пример обошедшейся дороже "ошибки архитектуры и методов  решения задачи". Только в реальных деньгах, а не в "потенциальных".