Now showing items 1-4 of 4

  • Analýza kódu v jazyce C pro účely testování zpětného překladu 

    Dítě, Viktor
    Cílem této práce je rozšíření aplikačního rámce pro tvorbu regresních testů o novou funkcionalitu pro analýzu kódu v jazyce C . Tento aplikační rámec je vytvořen v jazyce Python a pro analýzu zdrojového kódu využívá překladač ...
  • Automatické dopředné prořezávání programů 

    Patrik, Nikolas
    Táto práca popisuje návrh a implementáciu nového riešenie pre nástroj DiffKemp na automatické dopredné prerezávanie programov. Po zdĺhavej analýze súčasného riešenia, sme sa rozhodli súčasné riešenie ponechať a rozšíriť ...
  • 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 ...
  • Rozšíření překladače jazyka C o podporu dalších embedded mikroprocesorů 

    Pončák, Matej
    Aby bolo možné programovať určitú cieľovú architektúru v niektorom z vyšších programovacích jazykov, daný prekladač musí túto architektúru podporovať. Práca popisuje štruktúru prekladačov SDCC a LLVM a postup pre vytvorenie ...