Зачем нужен статический анлизатор и как он работает?
Здравствуйте, скажите пожалуйста, для чего нужен статический анализатор кода и какие функции он выполняет? Вот скормил я ему свой код, что он мне выведет?
И ещё интересно, как именно происходит анализ кода? Какие механизмы используются? Неужели рассматривается каждый частный случай?