|
Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости
- Programming / Tools
- Принят
14 ноября, 18:10
Room III|III зал
Добавить в gCal Добавить в iCal/Outlook
Обсудить доклад
В докладе будет представлен фреймворк для разработки межпроцедурных статических анализаторов, основанный на КС-достижимости (CFL-reachability). В качестве примера мы покажем расширение для ReSharper и Rider IDE, созданное на основе представляемого фреймворка и реализующее один из видов Taint-анализа. Исходный код доступен по ссылке: https://github.com/JetBrains-Research/CoFRA.
Илья Ножкин
Студент, СПбГУ
Студент математико-механического факультета.
Семён Григорьев
Доцент, СПбГУ
Уже больше десяти лет на Математико-Механическом факультете СПбГУ и большую часть этого времени занимается различными вопросами синтаксического анализа. В настоящее время — исследователь в лаборатории языковых инструментов.