Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018) — различия между версиями

<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

{{fblink|2220855931500749}}                                          
{{vklink|1352}}                                          
<references/>





<!-- topub -->

[[Категория:ISPRASOPEN-2018]]
[[Категория:Статический анализ кода]]
{{stats|disqus_comments=0|refresh_time=2019-025-27T22:45:4308T03:13:56.01845875|vimeo_plays=4|youtube_comments=0|youtube_plays=0}}3}}

Версия 00:13, 8 мая 2019

Докладчик

Айк Асланян

В докладе описана разработанная платформа для статического анализа бинарного кода.

Платформа разработана на основе межпроцедурного, потоко-чувствительного и контекстно-чувствительного анализа программы. В качестве промежуточного представления используется машинно-независимый язык REIL. На этом представлении разработаны и реализованы основные анализы потока данных - анализ достигающих определений, построение DEF-USE и USE-DEF цепочек, трансформация для удаления мертвого кода, анализ значений, анализ помеченных данных, анализа памяти и т.д.

Реализованный подход аннотации функций позволяет распространять данные между вызовами функций, тем самым сделав анализ чувствительным к контексту. Платформа предоставляет программный интерфейс для работы со всеми реализованным анализами, что позволяет добавлять новые анализы в качестве плагинов.

Видео

on youtube

Презентация

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

• Discuss on Facebook
• Discuss on VK

Plays:7   Comments:0