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