{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T05:09:03Z","timestamp":1775020143363,"version":"3.50.1"},"reference-count":19,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2010,11,1]],"date-time":"2010-11-01T00:00:00Z","timestamp":1288569600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,11,1]],"date-time":"2010-11-01T00:00:00Z","timestamp":1288569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1134\/s0361768810060046","type":"journal-article","created":{"date-parts":[[2010,11,24]],"date-time":"2010-11-24T00:05:34Z","timestamp":1290557134000},"page":"343-362","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Using information obtained in the course of program execution for improving the quality of data type reconstruction in decompilation"],"prefix":"10.1134","volume":"36","author":[{"given":"E. N.","family":"Troshina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. V.","family":"Chernov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,11,25]]},"reference":[{"key":"6085_CR1","doi-asserted-by":"crossref","unstructured":"Dolgova, E.N. and Chernov, A.V., Automatic Reconstruction of Data Types in the Decompilation Problem, Programmirovanie, 2009, No. 2, pp. 63\u201380 [Programming Comput. Software (Engl. Transl.), 2009, vol. 35, no. 2, pp. 105\u2013119].","DOI":"10.1134\/S0361768809020066"},{"key":"6085_CR2","unstructured":"Hex-Rays Decompiler SDK, http:\/\/www.hex-rays.com\/."},{"key":"6085_CR3","volume-title":"Elements of Software Science","author":"M.H. Halstead","year":"1997","unstructured":"Halstead, M.H., Elements of Software Science, Elsevier, North-Holland, 1997."},{"key":"6085_CR4","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/3-540-49099-X_14","volume":"1576","author":"A. Mycroft","year":"1999","unstructured":"Mycroft, A., Type-Based Decompilation, in 8th European Symp. on Programming Languages and Systems, Lect. Notes Comput. Sci., 1999, vol. 1576, pp. 208\u2013223.","journal-title":"8th European Symp. on Programming Languages and Systems, Lect. Notes Comput. Sci."},{"key":"6085_CR5","first-page":"5","volume":"4349","author":"G. Balakrishnan","year":"2007","unstructured":"Balakrishnan, G. and Reps, T., DIVINE: Discovering Variables in Executables, Verification, Model Checking Abstract Interpretation, 2007, vol. 4349, pp. 5\u201323.","journal-title":"Verification, Model Checking Abstract Interpretation"},{"key":"6085_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-24723-4_2","volume":"2985","author":"G. Balakrishnan","year":"2004","unstructured":"Balakrishnan, G. and Reps, T., Analyzing Memory Accesses in x86 Executables, Compiler Construction, 2004, vol. 2985, pp. 5\u201323.","journal-title":"Compiler Construction"},{"key":"6085_CR7","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-78791-4_2","volume":"4959","author":"G. Balakrishnan","year":"2008","unstructured":"Balakrishnan, G. and Reps, T., Improved Memory-Accesses Analysis in x86 Executables, Compiler Construction, 2008, vol. 4959, pp. 16\u201335.","journal-title":"Compiler Construction"},{"key":"6085_CR8","doi-asserted-by":"crossref","unstructured":"Balakrishnan, G. and Ganai, M., PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes, in Proc. of Software Engineering and Formal Methods (SEFM), 2008.","DOI":"10.1109\/SEFM.2008.35"},{"key":"6085_CR9","unstructured":"Gusenko, M.Yu., Decompilation of Datatypes in Executables, in Security in Information Technologies, 1998, pp. 83\u201388."},{"key":"6085_CR10","unstructured":"Gusenko, M.Yu., Decompilation of Datatypes in win32 Executables, in Security and Privacy in Networks and Systems, 1998, pp. 35\u201336."},{"key":"6085_CR11","unstructured":"Cifuentes, C. and Fraboulet, A., Interprocedural Static Data Flow Recovery of High-Level Language Code from Assembly, Technical Report of Department of Computer Science and Electrical Engineering, Queensland University, Brisbane, Australia, 1997, no. 421."},{"issue":"16","key":"6085_CR12","first-page":"223","volume":"20","author":"C. Cifuentes","year":"1998","unstructured":"Cifuentes, C., Simon, D., and Fraboulet, A., Assembly to High-Level Language Translation, in Int. Conf. on Software Maintenance, 1998, vol. 20, no. 16, pp. 223\u2013237.","journal-title":"Int. Conf. on Software Maintenance"},{"key":"6085_CR13","unstructured":"Cifuentes, C., Emmerik, M., Lewis, B., and Ramsey, N., Experience in the Design, Implementation, and Use of a Retargetable Static Binary Translation Framework, Technical Report of Sun Microsystems Laboratories of Sun Microsystems, Palo Alto, Calif., 2002, no. SMLI TR-2002-105."},{"key":"6085_CR14","unstructured":"Cuo, P., Perkins, J., McCamant, S., and Ernst, M., Dynamic Inference of Abstract Types, in Proc. of ISSTA, 2006, pp. 749\u2013754."},{"key":"6085_CR15","doi-asserted-by":"crossref","unstructured":"Burroes, M., Fruend, S., and Wiener, J., Run-Time Type Checking or Binary Programs, Proc. of CC, 2003, pp. 90\u2013105.","DOI":"10.1007\/3-540-36579-6_7"},{"key":"6085_CR16","doi-asserted-by":"crossref","unstructured":"Nethercote, N. and Seward, J., Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation, Proc. of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), San Diego, California, 2007.","DOI":"10.1145\/1250734.1250746"},{"key":"6085_CR17","unstructured":"Valgrind documentation, http:\/\/valgrind.org\/docs."},{"key":"6085_CR18","unstructured":"Antonov, V.Yu. and Dolgova, E.N., Reconstruction of Data Types Using Program Execution Information, in Sb. statei molodykh uchenykh fakul\u2019teta VMiK MGU, 2009, no. 6, pp. 6\u201316."},{"key":"6085_CR19","unstructured":"Sazeides, Y. and Smith, J., The Predictability of Data Value, in Proc. of Micro-30, 1997, pp. 749\u2013754."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810060046.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768810060046","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810060046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810060046.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:11:46Z","timestamp":1775013106000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768810060046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":19,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2010,11]]}},"alternative-id":["6085"],"URL":"https:\/\/doi.org\/10.1134\/s0361768810060046","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11]]},"assertion":[{"value":"6 June 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 November 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}