|
|
A decompiler for Objective-C
Mráček, Jakub ; Yaghob, Jakub (vedoucí práce) ; Bednárek, David (oponent)
Objective-C je populární programovací jazyk používaný primárně pro vývoj na platformách OS X a iOS. V práci prezentujeme praktický přístup k dekompilaci programů napsaných v Objective-C a zkompilovaných pro architektury x86 a AArch64 za použití kompilátoru LLVM. Na základě známých obecných technik reverzního inženýrství a teorie kompilátorů analyzujeme nové problémy a příležitosti v binárních souborech vzniklých překladem z Objective-C. Poté navrhujeme řešení a algoritmy, které umožní dekompilátoru lépe rozpoznat vysokoúrovňové struktury, které jsou běžné ve zdrojových kódech napsaných v jazyce Objective-C. Tato práce předkládá implementaci nového dekompilátoru zvaného "Cricket" jako grafickou aplikaci pro OS X, která využívá popsané algoritmy a metody pro rozpoznávání vzorů k rekonstrukci zdrojového kódu v Objective-C. Dekompilátor si klade za cíl maximalizovat čitelnost výstupu a umožňuje uživateli dále modifikovat vygenerovaný zdrojový kód. Implementovaný program je poté vyhodnocen na populární open-source knihovně a výstupy jsou porovnány s konkurenčním produktem. Powered by TCPDF (www.tcpdf.org)
|
|
|
Vytvoření Sparse adaptéru pro infrastrukturu Code Listener
Pokorný, Jan ; Peringer, Petr (oponent) ; Dudka, Kamil (vedoucí práce)
Kontrola programu na výskyt chyb má nezpochybnitelný význam, obzvlášť ta založená na formálních metodách. VeriFIT na FIT VUT k tomu používá vlastní infrastrukturu Code Listener (CL) modulárně propojující tzv. přední stranu, typicky adaptér převádějící kód zprostředkovaný jiným způsobem (jiným tzv. parserem), a zadní stranu typicky tvořenou koncovým analyzátorem. Cílem práce je poskytnout to prvé jako kompaktní alternativu k existujícímu zásuvnému modulu pro překladač GCC. Náš adaptér používá linearizovaný kód, jak jej zprostředkuje knihovna sparse pro statickou analýzu programů v C. Experimenty s jedním z hlavních analyzátorů v rámci CL, nástrojem Predator , a příslušnou sadou testů, dosahuje náš produkt - program clsp - úspěšnosti zhruba v 75% případů oproti onomu modulu pro GCC. Další zlepšení jsou předmětem budoucího vývoje.
|
|
|
Programy podpory MSP v Jihočeském kraji
VOBORSKÁ, Eva
Malé a střední firmy hrají nezbytnou a významnou úlohu v podnikatelském prostředí České republiky při vytváření nových pracovních příležitostí a všeobecně působí jako stabilizující prvek ekonomického systému. Podpora malých a středních podniků je jednou ze základních priorit české vlády. Cílem této bakalářské práce je analýza programů podpory malého a středního podnikání ve vybraném regionu, zhodnocení současného stavu využívání programů podpory MSP a posouzení navrhovaných změn v programovém období 2014 - 2020. Teoretická část je zaměřena na vývoj drobného podnikání, definice malého a středního podnikaní, jeho význam a analýza a charakteristika operačních programů. Praktická část zkoumá podporu podnikání v Evropské unii a v České republice, získávání zdrojů financování pro malé a střední podnikání, hodnocení operačních programů v období 2014 2020 a jejich změny. Bez podpory podnikání by rozvoj malých a středních podniků nebyl zdaleka tak dynamický, efektivní a úspěšný. Cílem této části je řízený rozhovor, dotazníkové šetření a návrh možností využití změn programů podpory v daném regionu.
|
|
|
Analýza informačního systému vybrané účetní jednotky
STANĚK, Milan
Hlavním cílem této bakalářské práce je popsat informační systém, jeho funkce, výhody a nevýhody, porovnat softwary od jednodušších po složitější a zhodnotit informační systém v oblastech účetnictví a ekonomiky. První (teoretická) část je zaměřená na detaily informačního systému, na interakci mezi technologiemi, daty, procesy výpočetní techniky a lidskými zdroji. Druhá (praktická) část je zaměřena na hodnocení rozdílů mezi různými druhy systémů a analýzou vybraného informačního systému účetní jednotky.
|
host ::
RSS.