Precise control flow reconstruction using boolean logic

Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 ◽

10.1145/2038642.2038662 ◽

2011 ◽

Author(s):

Thomas Reinbacher ◽

Jörg Brauer

Keyword(s):

Control Flow ◽

Boolean Logic ◽

Precise Control ◽

Flow Reconstruction

Download Full-text

Java-to-JavaScript translation via structured control flow reconstruction of compiler IR

ACM SIGPLAN Notices ◽

10.1145/2936313.2816715 ◽

2016 ◽

Vol 51 (2) ◽

pp. 91-103

Author(s):

David Leopoldseder ◽

Lukas Stadler ◽

Christian Wimmer ◽

Hanspeter Mössenböck

Keyword(s):

Control Flow ◽

Flow Reconstruction

Download Full-text

Alternating Control Flow Reconstruction

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-27940-9_18 ◽

2012 ◽

pp. 267-282 ◽

Author(s):

Johannes Kinder ◽

Dmitry Kravchenko

Keyword(s):

Control Flow ◽

Flow Reconstruction

Download Full-text

Generic control flow reconstruction from assembly code

Proceedings of the joint conference on Languages, compilers and tools for embedded systems software and compilers for embedded systems - LCTES/SCOPES '02 ◽

10.1145/513829.513839 ◽

2002 ◽

Author(s):

Daniel Kästner ◽

Stephan Wilhelm

Keyword(s):

Control Flow ◽

Assembly Code ◽

Flow Reconstruction

Download Full-text

Interprocedural Control Flow Reconstruction

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17164-2_14 ◽

2010 ◽

pp. 188-203 ◽

Author(s):

Andrea Flexeder ◽

Bogdan Mihaila ◽

Michael Petter ◽

Helmut Seidl

Keyword(s):

Control Flow ◽

Flow Reconstruction

Download Full-text

Control Flow Reconstruction from Virtualization-Obfuscated Binaries

Journal of KIISE ◽

10.5626/jok.2015.42.1.44 ◽

2015 ◽

Vol 42 (1) ◽

pp. 44-53

Author(s):

Joonhyung Hwang ◽

Taisook Han

Keyword(s):

Control Flow ◽

Flow Reconstruction

Download Full-text

Extracting safe and precise control flow from binaries

Proceedings Seventh International Conference on Real-Time Computing Systems and Applications ◽

10.1109/rtcsa.2000.896367 ◽

2002 ◽

Author(s):

H. Theiling

Keyword(s):

Control Flow ◽

Precise Control

Download Full-text

State Space Reduction of Linear Processes Using Control Flow Reconstruction

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04761-9_5 ◽

2009 ◽

pp. 54-68 ◽

Author(s):

Jaco van de Pol ◽

Mark Timmer

Keyword(s):

State Space ◽

Control Flow ◽

Linear Processes ◽

Space Reduction ◽

Flow Reconstruction ◽

State Space Reduction

Download Full-text

An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-93900-9_19 ◽

2008 ◽

pp. 214-228 ◽

Author(s):

Johannes Kinder ◽

Florian Zuleger ◽

Helmut Veith

Keyword(s):

Abstract Interpretation ◽

Control Flow ◽

Flow Reconstruction

Download Full-text

Generic control flow reconstruction from assembly code

ACM SIGPLAN Notices ◽

10.1145/566225.513839 ◽

2002 ◽

Vol 37 (7) ◽

pp. 46-55 ◽

Author(s):

Daniel Kästner ◽

Stephan Wilhelm

Keyword(s):

Control Flow ◽

Assembly Code ◽

Flow Reconstruction

Download Full-text

Java-to-JavaScript translation via structured control flow reconstruction of compiler IR

Proceedings of the 11th Symposium on Dynamic Languages - DLS 2015 ◽

10.1145/2816707.2816715 ◽

2015 ◽

Author(s):

David Leopoldseder ◽

Lukas Stadler ◽

Christian Wimmer ◽

Hanspeter Mössenböck

Keyword(s):

Control Flow ◽

Flow Reconstruction

Download Full-text