{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:07:49Z","timestamp":1776305269652,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540254119","type":"print"},{"value":"9783540319856","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31985-6_19","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T18:53:19Z","timestamp":1278874399000},"page":"250-254","source":"Crossref","is-referenced-by-count":90,"title":["CodeSurfer\/x86\u2014A Platform for Analyzing x86 Executables"],"prefix":"10.1007","author":[{"given":"Gogul","family":"Balakrishnan","sequence":"first","affiliation":[]},{"given":"Radu","family":"Gruian","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[]},{"given":"Tim","family":"Teitelbaum","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Balakrishnan, G., Reps, T.: Analyzing memory accesses in x86 executables. Comp. Construct., 5\u201323 (2004)","DOI":"10.1007\/978-3-540-24723-4_2"},{"key":"19_CR2","unstructured":"Cifuentes, C., Fraboulet, A.: Interprocedural data flow recovery of high-level language code from assembly. Technical Report 421, Univ. Queensland (1997)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Cifuentes, C., Simon, D., Fraboulet, A.: Assembly to high-level language translation. In: Int. Conf. on Softw. Maint., pp. 228\u2013237 (1998)","DOI":"10.1109\/ICSM.1998.738514"},{"key":"19_CR4","unstructured":"CodeSurfer, GrammaTech, Inc., http:\/\/www.grammatech.com\/products\/codesurfer\/"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Debray, S.K., Muth, R., Weippert, M.: Alias analysis of executable code. In: Princ. of Prog. Lang., pp. 12\u201324 (1998)","DOI":"10.1145\/268946.268948"},{"issue":"9","key":"19_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"3","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K., Warren, J.: The program dependence graph and its use in optimization. Trans. on Prog. Lang. and Syst.\u00a03(9), 319\u2013349 (1987)","journal-title":"Trans. on Prog. Lang. and Syst."},{"key":"19_CR7","unstructured":"Fast library identification and recognition technology, DataRescue sa\/nv, Li\u00e8ge, Belgium, http:\/\/www.datarescue.com\/idabase\/flirt.htm"},{"issue":"1","key":"19_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. Trans. on Prog. Lang. and Syst.\u00a012(1), 26\u201360 (1990)","journal-title":"Trans. on Prog. Lang. and Syst."},{"key":"19_CR9","unstructured":"IDAPro disassembler, http:\/\/www.datarescue.com\/idabase\/"},{"key":"19_CR10","unstructured":"Mycroft, A.: Type-based decompilation. In: European Symp. on Programming (1999)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Reps, T., Rosay, G.: Precise interprocedural chopping. Found. of Softw. Eng. (1995)","DOI":"10.1145\/222124.222138"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Rival, X.: Abstract interpretation based certification of assembly code. In: Int. Conf. on Verif., Model Checking, and Abs. Int. (2003)","DOI":"10.1007\/3-540-36384-X_7"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31985-6_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T20:21:41Z","timestamp":1740255701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31985-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254119","9783540319856"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31985-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}