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