Меню
Публикации
Главный редактор
НИКИФОРОВ
Владимир Олегович
д.т.н., профессор
Партнеры
УДК681.142.2
Гедич А. А., Зыков А. Г., Лаздин А. В.
Аннотация
АВТОМАТИЧЕСКИЙ ПОИСК ЛОКАЛЬНЫХ ПЕРЕМЕННЫХ И АРГУМЕНТОВ ПРОЦЕДУРЫ В ИСПОЛНЯЕМОМ КОДЕ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Аннотация
В работе приведена общая схема проектирования и анализа вычислительного процесса на основании графоаналитической модели. Рассматривается анализ по исполнимому коду программы. Представлен обзор существующих алгоритмов восстановления информации об объектах на стеке. Приведены их важные особенности, достоинства и недостатки. Представлен алгоритм, сочетающий в себе предложенные ранее концепции, новые решения некоторых задач и их исследования.
Ключевые слова:
вычислительный процесс, верификация, исполнимый модуль, локальные переменные и аргументы процедур