Распознавание и именование динамических объектов в программах императивного типа

Для решения специфической проблемы преобразования существующего программного обеспечения (ПО) с учетом новых требований или условий функционирования были созданы соответствующие технологии повторной разработки ПО. В настоящее время наибольшую сложность для повторной разработки представляют системы, написанные на языке ассемблера или системы, для которых исходные тексты программ были утрачены. Для таких систем в течение последних разрабатывались декомпиляторы на языки высокого уровня. В процессе компиляции вся сколь-нибудь осмысленная информация о семантике подпрограмм и данных утрачивается, и получаемые в результате декомпиляции программы хоть и записаны в выражениях языка высокого уровня, для именования элементов используют стандартные имена типа ”ARG_1”, ”Var_312” и т.д. Только для строковых данных возможно построение осмысленных имен по их содержимому, например:

aOsibkaOtkr db    ”Ошибка Открытия Файла”, 0

В случае, когда в процессе программирования использовались стандартные средства разработки (компиляторы и библиотеки процедур) возможно именование с использованием сигнатурного подхода: при наличии библиотек по символьным таблицам внешних символов возможно построить сигнатуры для каждой библиотечной процедуры. А в случае совпадения сигнатур в получаемой программе заменить стандартные подпрограммы их именами, а передаваемым в качестве аргументов значениям- присвоить типы. Чтобы автоматизировать процесс именования данных и их элементов предлагается использовать метод, основанный на создании библиотеки шаблонов абстрактных типов данных. Шаблоны представляют собой совокупность описаний инвариантов отношений структуры между элементами данных и набора описаний    базовых операций по преобразованию данных структур. Для ”программного” описания шаблонов необходимо использование модифицированной контекстно-зависимой атрибутной грамматики, где одним из атрибутов выступают вышеназванные инварианты.

Атрибутная грамматика распознавания динамических структур данных - это система G = (T, N, W,A,R), где

• -    T - алфавит терминалов;

• -    N - алфавит нетерминалов;

• -    W- множество (возможно бесконечное) атрибутов;

• -    А= {а^{п, т} I а^{п, т} : W ⁿ *N ^m - W} - алфавит преобразователей атрибутов;

• -    R - множество правил вида К[а ^п,т ( w₁₍ _. , w_n;k^ k_m )] ^p, где

• -    а ^пт - некоторый преобразователь атрибутов;

• -    К- выводимый данным правилом нетерминал;

• -    р- образец, имеющий определенный вид.

В качестве входных данных для анализа используются подграфы информационного графа программы, в которых на этапе подготовки производится инкапсуляция (объединение) операций с данными.

Названная библиотека шаблонов по всей видимости не может быть универсальной. Это обуславливается следующими факторами:

• -    особенностями предметной области решаемой задачи;

• -    используемой аппаратно-программной платформой;

• -    исходным языком программирования и используемым для обработки транслятором.

При этом можно говорить только об относительной достоверности именования данных и операций над ними, по их подобию с имеющимися шаблонами. Однако, если библиотека шаблонов будет содержать достаточно большое количество как стандартных, так и частных программных решений, требуемая достоверность может быть достигнута. А использование для именования элементов программы осмысленных имен типа ”двусвязный список”, ”добавление элемента”, ”сортировка”, “поиск” и т.д. является несомненно полезным для последующего осмысления и внесения изменений в программную систему.