Now showing items 1-4 of 4

  • Analýza práce s dynamickými datovými strukturami v C programech 

    Šoková, Veronika
    Táto diplomová práca sa zaoberá analýzou dynamických dátových štruktúr pomocou analýzy tvaru použitej v nástroji Predator. Popisuje zvolenú abstraktnú doménu pre reprezentáciu pamäte vo forme symbolických grafov pamäte. ...
  • 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 ...
  • PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution) 

    Šoková, Veronika; Peringer, Petr; Vojnar, Tomáš (Springer International Publishing, 2020-02-26)
    This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes ...
  • Vývoj LLVM adaptéru pro infrastrukturu Code Listener 

    Šoková, Veronika
    Tato bakalářská práce se zabývá vývojem LLVM adaptéru pro infrastrukturu Code Listener, která usnadňuje tvorbu statických analyzátorů jako jsou Predator a Forester. Ty jsou vyvíjeny a využívany v rámci skupiny VeriFIT. ...