Essays about: "Kontrollflödesrekonstruktion"

Found 1 essay containing the word Kontrollflödesrekonstruktion.

  1. 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)

    Author : Thomas Peterson; [2019]
    Keywords : Control flow reconstruction; Static analysis; Binary; Symbolic execution; Control flow graph; Kontrollflödesrekonstruktion; Statisk analys; Binär; Symbolisk exekvering; Kontrollflödesgraf;

    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