ПОИСК УТЕЧЕК ИНФОРМАЦИИ В ПРОГРАММНОМ ОБЕСПЕЧЕНИИ С ПОМОЩЬЮ АНАЛИЗА ИСПОЛНЯЕМОГО КОДА

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

Аннотация


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

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


поиск дефектов; статический анализ; утечки информации; очистка памяти

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

PDF

Литература


1 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.


Ссылки

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


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