Now showing items 1-13 of 13

  • Alias analýza v překladači jazyka C 

    Bolvanský, Dávid
    Táto práca sa venuje problematike alias analýzy a možnostiam jej vylepšenia v LLVM frameworku. Cieľom tejto práce je zlepšiť jej presnosť, čoho bolo dosiahnuté rozšírením implementácie Andersenovho algoritmu o citlivosť ...
  • Automatická tvorba testovacích případů z datových toků 

    Kraut, Daniel
    Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. ...
  • Automatická tvorba testovacích případů z datových toků 

    Kraut, Daniel
    Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. ...
  • Detekce podobnosti zdrojových souborů v jazyce C 

    Rek, Petr
    Tato práce se zabývá návrhem, implementací a testováním nástroje csim, sloužícího pro porovnávání podobnosti dvou souborů v jazyce C. Primárním účelem vzniku tohoto nástroje je testování zpětného překladače vyvíjeného ...
  • Filtrace varování překladačů 

    Krajčovičová, Mária
    Cílem bakalářské práce bylo navržení a vytvoření programu, který fi ltruje varování bez zásahu do zdrojového kódu. Práce se zabíva překladači GCC, Clang, Javac a GHC, jejich funkčností a varováními, které tyto překladače ...
  • Gramatická evoluce v optimalizaci software 

    Pečínka, Zdeněk
    Tato diplomová práce nabízí stručný úvod do evolučního počítání. Popisuje a porovnává genetické programování a gramatickou evoluci a jejich možné využití v problematice automatické opravy software. Podrobně studuje možnosti ...
  • Instrumentace C/C++ programů při překladu 

    Mušková, Kateřina
    Tato práce se zabývá návrhem a implementací nástroje TforcTool sloužícího k instrumentaci programů napsaných v jazyce C++, a to instrumentaci přístupu do paměti a volání funkcí. Nástroj staví už na existujícím nástroji ...
  • Jednoduché vývojové prostředí pro C++ na platformě Android 

    Režňák, Pavel
    Tato bakalářská práce se zabývá vytvořením prostředí pro překlad aplikací psaných v jazycích C a C++. Vývojové prostředí se skládá z aplikace emulující terminál a balíčků obsahujících open-source překladače a pomocné ...
  • Libovolná bitová šířka datového typu integer v platformě LLVM 

    Veškrna, Martin
    Tato práce se zabývá úpravou kompilační platformy LLVM/Clang tak, aby podporovala libovolnou bitovou šířku u datového typu integer
  • Použití šablon změn kódu počas analýzy ekvivalence programů 

    Šilling, Petr
    Cílem této práce je návrh statické analýzy pro rozpoznávání vzorů, popisujících často se vyskytující změny mezi různými verzemi nízkoúrovňového kódu. V rámci práce je navržen způsob kódování vzorů, využívající vnitřní ...
  • Překladač pro platformu EdkDSP 

    Baručák, Robert
    Cílem bakalářské práce bylo vytvoření překladového systému pro platformu EdkDSP. Prezentovány jsou dva odlišné přístupy ke konstrukci překladového systému určeného pro multiprocesorovou platformu. Práce je založená na ...
  • Refaktoring a verifikace kódu mkfs xfs 

    Ťulák, Jan
    Tato práce popisuje průběh refaktoringu programu mkfs.xfs za účelem zpřehlednění jeho kódu a vyčištění technického dluhu naakumulovaného za dvacet let existence tohoto programu, a následně jeho statickou analýzu. Použité ...
  • Vyhledávání výrazů s nedefinovaným chováním v jazyce C 

    Hellebrandt, Lukáš
    Práce se zabývá detekcí nedefinovaného chování v programech v jazyce C. Zaměřujemese na nedefinované chování vznikající nesprávnou prací se sekvenčními body a vedlejšími efekty. Provedeme teoretický rozbor a pojmy jako ...