Essays about: "Thomas Peterson"

Found 2 essays containing the words Thomas Peterson.

  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

  3. 2. Dynamic Allocation for Embedded Heterogeneous Memory : An Empirical Study

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Thomas Peterson; [2018]
    Keywords : Memory management; NVRAM; Scratchpad memory; Embedded systems; Minneshantering; NVRAM; Scratchpad minne; Inbyggda system;

    Abstract : Embedded systems are omnipresent and contribute to our lives in many ways by instantiating functionality in larger systems. To operate, embedded systems require well-functioning software, hardware as well as an interface in-between these. The hardware and software of these systems is under constant change as new technologies arise. READ MORE