Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
(не показано 6 промежуточных версий этого же участника) | |||
;{{SpeakerInfo}}: {{Speaker|Илья Ножкин}} <blockquote> В докладе будет представлен фреймворк для разработки межпроцедурных статических анализаторов, основанный на КС-достижимости (CFL-reachability). В качестве примера мы покажем расширение для ReSharper и Rider IDE, созданное на основе представляемого фреймворка и реализующее один из видов Taint-анализа. Исходный код доступен по ссылке: https://github.com/JetBrains-Research/CoFRA. </blockquote> {{VideoSection}} {{vimeoembed|240322565|800|450}} {{youtubelink|}}|i5ONfUz2MqE}} {{letscomment}} {{SlidesSection}} [[File:Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019).pdf|left|page=-|300px]] {{----}} [[File:{{#setmainimage:Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019)!.jpg}}|center|640px]] {{LinksSection}} * [https://2019.secrus.org/program/submitted-presentations/cfl-reachability-based-framework-for-interprocedural-static-code-analysis-development/ Talks page on SECR site] <!-- <blockquote>[©]</blockquote> --> {{vklink|1488}} {{fblink|2574391846147154}} <references/> <!-- topub --> [[Категория:SECR-2019]] [[Категория:Статический анализ кода]] [[Категория:Алгоритмы]] {{stats|disqus_comments=0|refresh_time=2020-01-28T10:54:122021-08-31T18:38:43.461791929423|vimeo_plays=1339|youtube_comments=0|youtube_plays=0}}31}} |
Текущая версия на 15:38, 31 августа 2021
- Докладчик
- Илья Ножкин
В докладе будет представлен фреймворк для разработки межпроцедурных статических анализаторов, основанный на КС-достижимости (CFL-reachability). В качестве примера мы покажем расширение для ReSharper и Rider IDE, созданное на основе представляемого фреймворка и реализующее один из видов Taint-анализа.
Исходный код доступен по ссылке: https://github.com/JetBrains-Research/CoFRA.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
Plays:70 Comments:0