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

Материал из 0x1.tv

(перенаправлено с «20181123AH»)
Докладчик
Айк Асланян

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

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

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

Видео

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Презентация

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

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

Plays:27   Comments:0