ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
◽
Cited By ~ 12
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
◽
Cited By ~ 15
Author(s):
Daniel Kästner
◽
Stephan Wilhelm
Keyword(s):
Control Flow
◽
Assembly Code
◽
Flow Reconstruction
Download Full-text
Precise control flow reconstruction using boolean logic
Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11
◽
10.1145/2038642.2038662
◽
2011
◽
Cited By ~ 9
Author(s):
Thomas Reinbacher
◽
Jörg Brauer
Keyword(s):
Control Flow
◽
Boolean Logic
◽
Precise Control
◽
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
◽
Cited By ~ 7
Author(s):
Andrea Flexeder
◽
Bogdan Mihaila
◽
Michael Petter
◽
Helmut Seidl
Keyword(s):
Control Flow
◽
Flow Reconstruction
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
◽
Cited By ~ 10
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
◽
Cited By ~ 38
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
◽
Cited By ~ 2
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
◽
Cited By ~ 2
Author(s):
David Leopoldseder
◽
Lukas Stadler
◽
Christian Wimmer
◽
Hanspeter Mössenböck
Keyword(s):
Control Flow
◽
Flow Reconstruction
Download Full-text
Lightweight Fault Localization using Weighted Dynamic Control Flow Subgraph
International Journal of Performability Engineering
◽
10.23940/ijpe.20.02.p6.214222
◽
2020
◽
Vol 16
(2)
◽
pp. 214
Author(s):
Wang Yong
◽
Liu SanMing
◽
Li Jun
◽
Cheng Xiangyu
◽
Zhou Wan
Keyword(s):
Dynamic Control
◽
Fault Localization
◽
Control Flow
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close