{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:16:49Z","timestamp":1783009009732,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642171635","type":"print"},{"value":"9783642171642","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17164-2_14","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T10:54:39Z","timestamp":1290164079000},"page":"188-203","source":"Crossref","is-referenced-by-count":10,"title":["Interprocedural Control Flow Reconstruction"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Flexeder","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bogdan","family":"Mihaila","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Petter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Helmut","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"DCC decompiler, http:\/\/www.itee.uq.edu.au\/~cristina\/dcc.html"},{"key":"14_CR2","unstructured":"IDAPro disassembler, http:\/\/www.hex-rays.com\/idapro\/"},{"key":"14_CR3","unstructured":"Sicherheitsgarantien Unter REALzeitanforderungen, http:\/\/www.sureal-projekt.org\/"},{"key":"14_CR4","unstructured":"VoTUM, http:\/\/www2.in.tum.de\/votum"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Balakrishnan, G.: WYSINWYX: What You See Is Not What You eXecute. PhD thesis, University of Wisconsin, Madison, WI, USA (August 2007)","DOI":"10.1007\/978-3-540-69149-5_22"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11823230_15","volume-title":"Static Analysis","author":"G. Balakrishnan","year":"2006","unstructured":"Balakrishnan, G., Reps, T.W.: Recency-abstraction for heap-allocated storage. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 221\u2013239. Springer, Heidelberg (2006)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis Symposium (SAS 2010)","author":"J. Brauer","year":"2010","unstructured":"Brauer, J., King, A.: Automatic abstraction for intervals using boolean formulae. In: Static Analysis Symposium (SAS 2010), Perpignan, France. LNCS. Springer, Heidelberg (2010)"},{"key":"14_CR8","unstructured":"Cifuentes, C.: Reverse Compilation Techniques. Ph.D. thesis, Queensland University of Technology (July 1994)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0167-6423(01)00014-4","volume":"40","author":"C. Cifuentes","year":"2001","unstructured":"Cifuentes, C., Emmerik, M.V.: Recovery of jump table case statements from binary code. Science of Computer Programming\u00a040, 171\u2013188 (2001)","journal-title":"Science of Computer Programming"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Cifuentes, C., Simon, D., Fraboulet, A.: Assembly to high-level language translation. In: ICSM, pp. 228\u2013237 (1998)","DOI":"10.1109\/ICSM.1998.738514"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"Programming Language Implementation and Logic Programming","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol.\u00a0631, pp. 269\u2013295. Springer, Heidelberg (1992)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45449-7_32","volume-title":"Embedded Software","author":"C. Ferdinand","year":"2001","unstructured":"Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a real-life processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 469\u2013485. Springer, Heidelberg (2001)"},{"key":"14_CR13","unstructured":"Flexeder, A., Petter, M., Seidl, H.: Analysis of Executables for WCET Concerns. Technical Report TUM-I0838, Technische Universit\u00e4t M\u00fcnchen (2008)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-540-70545-1_40","volume-title":"Computer Aided Verification","author":"J. Kinder","year":"2008","unstructured":"Kinder, J., Veith, H.: Jakstab: A static analysis platform for binaries. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 423\u2013427. Springer, Heidelberg (2008)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-93900-9_19","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J. Kinder","year":"2009","unstructured":"Kinder, J., Veith, H., Zuleger, F.: An abstract interpretation-based framework for control flow reconstruction from binaries. In: Jones, N.D., M\u00fcller-Olm, M. (eds.) VMCAI 2009. LNCS, vol.\u00a05403, pp. 214\u2013228. Springer, Heidelberg (2009)"},{"key":"14_CR16","volume-title":"Linkers and Loaders","author":"J.R. Levine","year":"1999","unstructured":"Levine, J.R.: Linkers and Loaders. Morgan Kaufmann Publishers Inc., San Francisco (1999)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Seidl, H.: Precise interprocedural analysis through linear algebra. In: 31st ACM Symp. on Principles of Programming Languages (POPL), pp. 330\u2013341 (2004)","DOI":"10.1145\/982962.964029"},{"key":"14_CR18","unstructured":"Myreen, M.O.: Formal verification of machine-code programs. PhD thesis, University of Cambridge (2008)"},{"key":"14_CR19","unstructured":"Ramon, F.B., Moore, E.: Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2). Soc. for Industrial & Applied Math. (1979)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Reps, T., Balakrishnan, G., Lim, J.: Intermediate-representation recovery from low-level code. In: PEPM 2006: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pp. 100\u2013111 (2006)","DOI":"10.1145\/1111542.1111560"},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/WCRE.2002.1173063","volume-title":"WCRE 2002: Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE 2002)","author":"B. Schwarz","year":"2002","unstructured":"Schwarz, B., Debray, S., Andrews, G.: Disassembly of executable code revisited. In: WCRE 2002: Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE 2002), Washington, DC, USA, p. 45. IEEE Computer Society, Los Alamitos (2002)"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-540-69166-2_21","volume-title":"Static Analysis","author":"A. Simon","year":"2008","unstructured":"Simon, A.: Splitting the control flow with boolean flags. In: Alpuente, M., Vidal, G. (eds.) SAS 2008. LNCS, vol.\u00a05079, pp. 315\u2013331. Springer, Heidelberg (2008)"},{"key":"14_CR23","unstructured":"Sobek, S., Burke, K.: PowerPC Embedded Application Binary Interface (EABI): 32-Bit Implementation. Freescale Semiconductor (2004), http:\/\/www.freescale.com\/files\/32bit\/doc\/app_note\/PPCEABI.pdf"},{"key":"14_CR24","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/RTCSA.2000.896367","volume-title":"RTCSA 2000: Proceedings of the Seventh International Conference on Real-Time Systems and Applications","author":"H. Theiling","year":"2000","unstructured":"Theiling, H.: Extracting safe and precise control flow from binaries. In: RTCSA 2000: Proceedings of the Seventh International Conference on Real-Time Systems and Applications, Washington, DC, USA, p. 23. IEEE Computer Society, Los Alamitos (2000)"},{"key":"14_CR25","unstructured":"Theiling, H.: Control Flow Graphs for Real-Time System Analysis. PhD thesis, Universit\u00e4t des Saarlandes (2003)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17164-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T11:18:10Z","timestamp":1559819890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17164-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642171635","9783642171642"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17164-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}