Проблемы и методы статического анализа исходного кода программтезисы доклада