Например, Бобцов

АВТОМАТИЧЕСКИЙ ПОИСК ЛОКАЛЬНЫХ ПЕРЕМЕННЫХ И АРГУМЕНТОВ ПРОЦЕДУРЫ В ИСПОЛНЯЕМОМ КОДЕ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ

Аннотация:

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

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

Статьи в номере