Аннотация

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

Основные слайды
Литература
Balakrishnan G., Reps T. Analyzing memory accesses in x86 executables // International conference on compiler construction. – Springer Berlin Heidelberg, 2004. – С. 5-23.
Müller-Olm M., Seidl H. Precise interprocedural analysis through linear algebra // ACM SIGPLAN Notices. – ACM, 2004. – Т. 39. – №. 1. – С. 330-341.
Дополнительная литература
Ramalingam G., Field J., Tip F. Aggregate structure identification and its application to program analysis // Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. – ACM, 1999. – С. 119-132.