Поиск бесконечных циклов в исходном коде программ на языке C# с помощью статического анализадоклад на конференции