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

<!-- <blockquote>[©]</blockquote> -->

{{vklink|1488}}                                          
{{fblink|2574391846147154}}                                          
<references/>





<!-- topub -->

[[Категория:SECR-2019]]
[[Категория:Статический анализ кода]]
[[Категория:Алгоритмы]]
{{stats|disqus_comments=0|refresh_time=2020-07-19T00:52:352021-08-25T04:10:39.159387163954|vimeo_plays=2239|youtube_comments=0|youtube_plays=24}}31}}

Версия 01:10, 25 августа 2021

Докладчик

Илья Ножкин

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

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

Видео

on youtube

Презентация

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

• Talks page on SECR site

• Discuss on VK
• Discuss on Facebook

Plays:70   Comments:0