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

;{{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]