Санкт-Петербург
14–15 ноября 2019

Доклады и мастер-классы

Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости

  • Programming / Tools
  • Принят

14 ноября, 18:10
Room III|III зал
Добавить в gCal    Добавить в iCal/Outlook

Обсудить доклад

В докладе будет представлен фреймворк для разработки межпроцедурных статических анализаторов, основанный на КС-достижимости (CFL-reachability). В качестве примера мы покажем расширение для ReSharper и Rider IDE, созданное на основе представляемого фреймворка и реализующее один из видов Taint-анализа. Исходный код доступен по ссылке: https://github.com/JetBrains-Research/CoFRA.

фото Илья Ножкин

Илья Ножкин

Студент, СПбГУ

Студент математико-механического факультета.


Семён Григорьев

Доцент, СПбГУ

Уже больше десяти лет на Математико-Механическом факультете СПбГУ и большую часть этого времени занимается различными вопросами синтаксического анализа. В настоящее время — исследователь в лаборатории языковых инструментов.