amusin (08.12.2009 14:39, просмотров: 178) ответил Cepгeй Бopщ на Это все частности.
Пример программы-анализатора стека -> http://www.absint.com/stackanalyzer/
В разработке сложных систем есть принцип декомпозиции. Мы осознанно уменьшаем взаимосвязи между компонентами, зачастую ценой увеличения потребных ресурсов. Так что автоматизированный анализ программ - не маргиналия.