|
|
Anotující disassembler pro AMD64
Láska, Ladislav ; Mareš, Martin (vedoucí práce) ; Děcký, Martin (oponent)
Cílem práce je vytvořit disassembler pro architekturu AMD64, který bude sloužit pro zjednodušení analýzy programů na úrovni strojového kódu. Práce popisuje formát instrukcí, binárních souborů a systémové konvence, které jsou následně využity ve vypracovaném disassembleru. Ten umí například analyzovat a vizualizovat skoky, pracovat s výchozím obsahem paměti, interpretovat volací konvence ABI, přejmenovávat a zjednodušovat výrazy, u kterých známe hodnoty a další. Nedílnou součástí je také skriptovací API pro Python, které umožňuje psát rozšiřující pluginy a přidávat funkce za hranice toho, na co myslel autor.
|
|
|
Škálovatelná optimalizace celých programů
Láska, Ladislav ; Hubička, Jan (vedoucí práce) ; Mareš, Martin (oponent)
Oba vedoucí open-source překladače, GCC a LLVM, mají vyspělé optimizéry celých programů, použitelné pro většinu současného softwaru. Stále však trpní mnoha problémy s výkonem, což zapřičiňuje nemožnost použít některé analýzy a optimalizace. V této práci analyzujeme problémová místa a identifikujeme několik kandidátů na vylepšení. Pro tento účel vyvineme novou datovou struktur založenou na Bloomových filtrech, díky které docílíme výrazného zlepšení časové i paměťové náročnosti během optimalizace celých programů. Powered by TCPDF (www.tcpdf.org)
|
|
|
Anotující disassembler pro AMD64
Láska, Ladislav ; Mareš, Martin (vedoucí práce) ; Děcký, Martin (oponent)
Cílem práce je vytvořit disassembler pro architekturu AMD64, který bude sloužit pro zjednodušení analýzy programů na úrovni strojového kódu. Práce popisuje formát instrukcí, binárních souborů a systémové konvence, které jsou následně využity ve vypracovaném disassembleru. Ten umí například analyzovat a vizualizovat skoky, pracovat s výchozím obsahem paměti, interpretovat volací konvence ABI, přejmenovávat a zjednodušovat výrazy, u kterých známe hodnoty a další. Nedílnou součástí je také skriptovací API pro Python, které umožňuje psát rozšiřující pluginy a přidávat funkce za hranice toho, na co myslel autor.
|
|
|
Škálovatelná optimalizace celých programů
Láska, Ladislav ; Hubička, Jan (vedoucí práce) ; Mareš, Martin (oponent)
Oba vedoucí open-source překladače, GCC a LLVM, mají vyspělé optimizéry celých programů, použitelné pro většinu současného softwaru. Stále však trpní mnoha problémy s výkonem, což zapřičiňuje nemožnost použít některé analýzy a optimalizace. V této práci analyzujeme problémová místa a identifikujeme několik kandidátů na vylepšení. Pro tento účel vyvineme novou datovou struktur založenou na Bloomových filtrech, díky které docílíme výrazného zlepšení časové i paměťové náročnosti během optimalizace celých programů. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.