Расширение статического анализатора Svace для поиска ошибок в программах на языке Goтезисы доклада