Now showing items 1-12 of 12

  • 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č ...
  • Dekódování binárního kódu do vyšší formy reprezentace 

    Macko, Lukáš
    Diplomová práce se zabývá zpětným inženýrstvím v oblasti software. Představuje jeho uplatnění, používané nástroje a postupy. Podrobněji se věnuje problematice dekódování instrukcí. Uvádí dva základní postupy-lineární ...
  • 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 ...
  • Grafické uživatelské rozhraní rekonfigurovatelného zpětného překladače 

    Jánský, Jiří
    P { margin-bottom: 0.21cm; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }P.western { font-family: "Times New Roman",serif; font-size: 11pt; }P.cjk { font-family: "Times New Roman",serif; ...
  • Jazyk pro dotazování Java AST 

    Bílek, Jiří
    Cílem této práce je návrh dotazovacího jazyka nad abstraktním syntaktickým stromem Java kódu a implementace nástroje, který využívá tento dotazovací jazyk. V práci se nachází průzkum dostupných grafových databází a podrobnější ...
  • Nástroje pro konverzi formátů spustitelných souborů 

    Matula, Peter
    Táto práce popisuje metody a postupy používané ku konverzi formátů objektových souborů. Představuje několik obecně používaných formátů (ELF, PE, E32Image, DEX) a objektový formát projektu Lissom (LOFF). Obsahuje základní ...
  • Návrh prostředí pro ladění vícejádrových systémů 

    Klčo, Michal
    Táto práca popisuje problém ladenia man-core systémov s využitím intergrovaného vývojového prostredia. Predstavuje niektoré z integrovaných prostredí, debuggerov, ich funkcie a analyzuje ich. Táto práca tiež opisuje návrh ...
  • Překlad podmnožiny jazyka PHP do C++ 

    Nechutný, Stanislav
    Tato práce se zaměřuje na návrh a tvorbu nástroje pro automatizovaný překlad funkcí napsaných v podmnožině jazyka PHP do C++. Vygenerovaný zdrojový kód je možno zkompilovat jako rozšíření PHP a zavést stejným způsobem jako ...
  • Strukturování kódu v zadní části zpětného překladače 

    Porwolik, Tomáš
    Tato diplomová práce se zabývá nástrojem pro zpětný překlad nízkoúrovňového strojového kódu do vyšší formy reprezentace, který je vyvíjen společností AVG Technologies. Cílem této práce je navrhnout a implementovat metodu ...
  • Systém pro detekci vzorů v binárních souborech 

    Milkovič, Marek
    Škodlivý software sa v dobe internetu šíri veľmi rýchlo a poškodzuje užívateľov a ich dáta. Je preto nutné vylepšovať metódy akými pristupujeme k jeho analýze, aby bolo možné chrániť potenciálne obete. Táto práca sa zaoberá ...
  • Zpětný překlad vysokoúrovňových konstrukcí jazyka C++ 

    Jakub, Dušan
    Práce se zabývá dekompilací konstrukcí vysokoúrovňového objektového jazyka C++ ze strojového kódu. Je definován pojem zpětného překladu a popsány existující zpětné překladače s~důrazem na dekompilaci C++. Dále je představen ...
  • Zpětný překlad z vybraných formátů spustitelných souborů 

    Bandzi, Michal
    Objektové súbory obsahujú strojový kód, ktorý môže byť vykonaný procesorom. Každý objektový súbor má formát, ktorý popisuje jeho štruktúru. Pre vykonanie spätného prekladu je nutné súbor spracovať a previesť dáta do vnútornej ...