Now showing items 1-4 of 4

  • 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 ...
  • Statická analýza možných hodnot proměnných v programech v C 

    Ďuričeková, Daniela
    Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato technika může být použita k dokázání, že ...
  • 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 ...