Now showing items 1-3 of 3

  • Extrakce grafu toku řízení z bajtkódu Java 

    Sečkařová, Petra
    Grafy toku řízení (Control Flow Graph -- CFG) slouží jako základ pro mnoho analýz vyhodnocujících kvalitu programu. Takovou analýzou je i testování založené na modelech (model-based testing), které na základě analýzy modelu ...
  • Extrakce grafu toku řízení z formátu LLVM IR 

    Kondula, Václav
    Tato bakalářská práce se zabývá návrhem a implementací extrakce grafů toku řízení ze zdrojových souborů jazyků C a C++ ve formátu LLVM IR. K tomu účelu bylo použito rozhraní LibTooling překladače Clang, pomocí něhož byl ...
  • Transformace Windows PE do grafu toku řízení 

    Jirák, Ota
    Tato práce pojednává o formátu spustitelných souborů EXE. Soustředí se na části potřebné při reverzním inženýrství. Dále se zabývá jazykem symbolických instrukcí, jeho reprezentací v binárních souborech a získání textového ...