Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019)
Материал из 0x1.tv
Версия от 08:26, 7 декабря 2019; StasFomin (обсуждение | вклад) (StasFomin переименовал страницу [[Фреймворк для разработки межпроцедурных статических анализаторов \n на основе КС-достижимости (Илья Ножкин,…)
Короткая ссылка: 20191114CN
- Докладчик
- Илья Ножкин
В докладе будет представлен фреймворк для разработки межпроцедурных статических анализаторов, основанный на КС-достижимости (CFL-reachability). В качестве примера мы покажем расширение для ReSharper и Rider IDE, созданное на основе представляемого фреймворка и реализующее один из видов Taint-анализа.
Исходный код доступен по ссылке: https://github.com/JetBrains-Research/CoFRA.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
!.jpg){kind=link}
Примечания и ссылки