Now showing items 1-9 of 9

  • 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 ...
  • Kanonické derivace programovaných gramatik 

    Zemek, Petr
    V této práci jsou studovány kanonické derivace (se zaměřením na nejlevější derivace) v programovaných gramatikách a rozsah levého omezení. Je ukázáno, že zavedením n-limitovaných derivací v programovaných gramatikách tak, ...
  • Migrace zdrojových kódů pomocí dekompilace 

    Korec, Tomáš
    Tato práce se zabývá migrací zdrojových kódů vysokoúrovňových programovacích jazyků pomocí dekompilace. Migrační nástroj vyvinutý v rámci práce je postaven na prostřední a zadní části dekompilátoru projektu Lissom. V práci ...
  • O vymazávacích pravidlech v řízených gramatikách 

    Zemek, Petr
    V této práci je diskutován vliv vymazávacích pravidel na generativní sílu řízených gramatik, což je velký otevřený problém teorie řízeného přepisování. Tato práce studuje možnost odstranění vymazávacích pravidel z těchto ...
  • Optimalizace v zadní části zpětného překladače 

    Kollár, Jaroslav
    Tato práce se zabývá návrhem a tvorbou optimalizací v zadní části zpětného překladače. Úlohou těchto optimalizací je vylepšit čitelnost produkovaného zdrojového kódu. V úvodu jsou poskytnuty základní informace o reverzním ...
  • Převod gramatik do normálních forem 

    Klapuchová, Mirka
    Práce se zabývá problematikou normálních forem z teorie formálních jazyků. Jsou zde uvedeny základní pojmy z této oblasti, dále různé typy gramatik a především normální formy a algoritmy pro převod gramatik do těchto forem. ...
  • Strukturování kódu v zadní části zpětného překladače 

    Hrbek, David
    Cílem této práce bylo navrhnout a implementovat algoritmus pro strukturování kódu v zadní části zpětného překladače projektu Lissom. Zabývá se problémem eliminace nepřímých skoků (branch/goto) z nízkoúrovňového kódu s ...
  • Zadní část zpětného překladače produkující kód v jazyce C 

    Urban, Martin
    Práce popisuje implementaci zadní části zpětného překladače produkujícího kód v jazyce C. Obsahuje základní informace o principech a využití reverzního inženýrství v oblasti informačních technologií i mimo něj. Hlavním ...
  • Zpětný překlad vybraných konstrukcí jazyka C++ 

    Mihulka, Tomáš
    Tato práce se zabývá rekonstrukcí hierarchie tříd a jejich virtuálních metod z programů vytvořených jazykem C++. Cílem práce je rozšířit zpětný překladač, který je vyvíjen v rámci projektu Lissom o analýzu těchto konstrukcí ...