Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+(\n) with \2) |
||
(не показано 19 промежуточных версий этого же участника) | |||
Платформа разработана на основе межпроцедурного, потоко-чувствительного и контекстно-чувствительного анализа программы. В качестве промежуточного представления используется машинно-независимый язык REIL. На этом представлении разработаны и реализованы основные анализы потока данных - анализ достигающих определений, построение DEF-USE и USE-DEF цепочек, трансформация для удаления мертвого кода, анализ значений, анализ помеченных данных, анализа памяти и т.д. Реализованный подход аннотации функций позволяет распространять данные между вызовами функций, тем самым сделав анализ чувствительным к контексту. Платформа предоставляет программный интерфейс для работы со всеми реализованным анализами, что позволяет добавлять новые анализы в качестве плагинов. </blockquote> {{VideoSection}} {{vimeoembed|298785970|800|450}} {{youtubelink|}}|_E7ftWLvmlQ}} {{letscomment}} {{SlidesSection}} [[File:Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018).pdf|left|page=-|300px]] {{----}} [[File:{{#setmainimage:Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018)!.jpg}}|center|640px]] {{LinksSection}} <!-- * [ Talks page on site] --> <!-- <blockquote>[©]</blockquote> --> {{fblink|2220855931500749}} {{vklink|1352}} <references/> <!-- topub --> [[Категория:ISPRASOPEN-2018]] [[Категория:Draft]]Статический анализ кода]] {{stats|disqus_comments=0|refresh_time=2021-08-31T17:51:17.362601|vimeo_plays=6|youtube_comments=0|youtube_plays=21}} |
Текущая версия на 12:22, 4 сентября 2021
- Докладчик
- Айк Асланян
В докладе описана разработанная платформа для статического анализа бинарного кода.
Платформа разработана на основе межпроцедурного, потоко-чувствительного и контекстно-чувствительного анализа программы. В качестве промежуточного представления используется машинно-независимый язык REIL. На этом представлении разработаны и реализованы основные анализы потока данных - анализ достигающих определений, построение DEF-USE и USE-DEF цепочек, трансформация для удаления мертвого кода, анализ значений, анализ помеченных данных, анализа памяти и т.д.
Реализованный подход аннотации функций позволяет распространять данные между вызовами функций, тем самым сделав анализ чувствительным к контексту. Платформа предоставляет программный интерфейс для работы со всеми реализованным анализами, что позволяет добавлять новые анализы в качестве плагинов.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
Plays:27 Comments:0