Привет, Хабр! Я разработчик в ИСП РАН, занимаюсь разработкой статического анализатора Svace. Недавно я столкнулся с задачей самостоятельной ...