Proceedings of ISP RAS


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

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

Abstract

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.

Keywords

automatic recovery of variables, program execution traces, reaching definitions

Edition

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