Essays about: "Kontrollflödesgraf"
Found 1 essay containing the word Kontrollflödesgraf.
-
1. Alternating Control Flow Graph Reconstruction by Combining Constant Propagation and Strided Intervals with Directed Symbolic Execution
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : In this thesis we address the problem of control flow reconstruction in the presence of indirect jumps. We introduce an alternating approach which combines both overand under-approximation to increase the precision of the reconstructed control flow automaton compared to pure over-approximation. READ MORE
Result pages:
1