Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019)

Материал из 0x1.tv

Короткая ссылка: 20191114CN
Докладчик
Илья Ножкин.jpg
Илья Ножкин

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

Исходный код доступен по ссылке: https://github.com/JetBrains-Research/CoFRA.

Видео

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Презентация

Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf
Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019)!.jpg

Примечания и ссылки

Plays:46   Comments:0

Источник — «https://0x1.tv./index.php?title=Фреймворк_для_разработки_межпроцедурных_статических_анализаторов_на_основе_КС-достижимости_(Илья_Ножкин,_SECR-2019)&oldid=163092»