SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.

One of the things that makes the control-flow graph such a useful compile-time abstraction is that it abstracts away from sequential code. It enables graph-based transformations and allows them to be ...

The semantics expressed by code statements are not only related to themselves but also to the context in which they exist. Control Flow Graph (CFG) contains the sequence, branching and looping ...

To find the valid instructions of a function (i.e., the instructions that belong to the program), we attempt to reconstruct the function's intra-procedural control flow graph. A control flow graph ...

SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.

One of the things that makes the control-flow graph such a useful compile-time abstraction is that it abstracts away from sequential code. It enables graph-based transformations and allows them to be ...

An initial control flow graph is then constructed according to the code listing shown in Algorithm 1. There are two differences between a standard recursive disassembler and our implementation. First, ...