St.Petersburg, Russia
November 14–15, 2019|Санкт-Петербург
14–15 ноября 2019

Talks & master-classes|Доклады и мастер-классы

CFL-Reachability Based Framework for Interprocedural Static Code Analysis Development|Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости

  • Programming / Tools
  • Accepted|Принят

November 14, 18:10|14 ноября, 18:10
Room III|III зал
Add to gCal|Добавить в gCal    Add to iCal/Outlook|Добавить в iCal/Outlook

Discuss the presentation|Обсудить доклад

[lang_en]We propose an extensible framework for interprocedural static code analysis implementation. Our solution is based on CFL-reachability: analysis is formulated in terms of context-free constrained reachability in the interprocedural graph. Extensible architecture allows one to implement new analysis and integrate it into the IDE of choice or static code analysis tool. To demonstrate the abilities of our solution, we implement the plugin which provides basic taint analysis and label flow analysis upon ReSharper infrastructure. We demonstrate its applicability for real-world problems. Sources are available here: https://github.com/JetBrains-Research/CoFRA.[/lang_en]

[lang_ru]В докладе будет представлен фреймворк для разработки межпроцедурных статических анализаторов, основанный на КС-достижимости (CFL-reachability). В качестве примера мы покажем расширение для ReSharper и Rider IDE, созданное на основе представляемого фреймворка и реализующее один из видов Taint-анализа. Исходный код доступен по ссылке: https://github.com/JetBrains-Research/CoFRA.[/lang_ru]

Ilya Nozhkin photo|фото Илья Ножкин

Ilya Nozhkin|Илья Ножкин

Student|Студент, SPbSU|СПбГУ

[lang_en]A student of the faculty of mathematics and mechanics.[/lang_en]

[lang_ru]Студент математико-механического факультета.[/lang_ru]


Semyon Grigorev|Семён Григорьев

Associate Professor|Доцент, SPbSU|СПбГУ

[lang_en]Researcher at Programming Languages and Tools lab.[/lang_en]

[lang_ru]Уже больше десяти лет на Математико-Механическом факультете СПбГУ и большую часть этого времени занимается различными вопросами синтаксического анализа. В настоящее время — исследователь в лаборатории языковых инструментов.[/lang_ru]