Proceedings of ISP RAS

A Method for Automatic Recovery of Variables Based on Program Execution Traces.

M.A. Klimushenkova, V.A. Makarov.


The paper considers a method for automatic recovery of variables based on program execution traces. The method uses one of the techniques of dataflow analisys - reaching definitions. The paper also discusses current approaches to solve the task of recover of variables.


automatic recovery of variables, program execution traces, reaching definitions


Proceedings of the Institute for System Programming, vol. 21, 2011, pp. 119-122.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Full text of the paper in pdf (in Russian) Back to the contents of the volume