АНАЛИЗ ИСПОЛНЯЕМОГО КОДА С ПОМОЩЬЮ СИМВОЛЬНОГО ВЫПОЛНЕНИЯ

И. О. Леошкевич

Аннотация


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

Ключевые слова


статический анализ; исполняемый код

Полный текст:

PDF

Литература


1 Balakrishnan G. Wysinwyx: what you see is not what you execute. PhD thesis. Madison. WI. USA, 2007. Adviser-Reps Thomas.

2 Cousot P., Cousot R. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints // Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. P. 238—252. Los Angeles. California, 1977. ACM Press. New York. NY.

3 Fahringer T., Scholz B. Advanced Symbolic Analysis for Compilers. Springer-Verlag, New York. Inc. Secaucus. NJ. USA, 2003.

4 Станкевичус А. Инструментальное средство проверки безопасности кода, предназначенного для исполнения в ГРИД-сетях // Безопасность информационных технологий. 2009. № 1. С. 58—61.


Ссылки

  • На текущий момент ссылки отсутствуют.


Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.