Using information obtained in the course of program execution for improving the quality of data type reconstruction in decompilation. - E. N. Troshina; A. V. Chernov (Program. Comput. Softw., 2010)