Исходное сообщение
"Отчёт о разработке Linux-версии PVS-Studio и результаты пров..." Отправлено angra, 15-Ноя-16 23:55
> вы простите меня. Самые дорогие ошибки - это ошибки архитектуры и методов  решения задачи. Ну давай посмотрим на примере. Сбой на старте 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" Приведи пример обошедшейся дороже "ошибки архитектуры и методов  решения задачи". Только в реальных деньгах, а не в "потенциальных".