|
|
Penzion v Brně
Budina, Martin ; jeneš, Rostislav (oponent) ; Podroužková, Božena (vedoucí práce)
Bakalářská práce se zabývá statickým návrhem vybraných částí nosné konstrukce budovy penzionu v Brně. Část objektu je pod úrovní terénu, nosnou konstrukci zde tvoří monolitické železobetonové rámy a na ně uložena spojitá železobetonová stropní deska. Nad úrovní terénu nosnou funkci přebírá svislá zděná konstrukce se skládanými stropy. K posuzovaným prvkům je provedena výkresová dokumentace.
|
|
|
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.
|
|
| |
|
|
Londýnské oko
Hušek, Martin ; Hradil, Petr (oponent) ; Zídek, Rostislav (vedoucí práce)
Předmětem diplomové práce je provedení statické analýzy konstrukce Londýnského oka. V prvních kapitolách se práce zabývá přehledem realizovaných konstrukcí typu Ferrisova kola. Hlavní část práce spočívá v analyzování samotné konstrukce Londýnského oka. Konkrétně jsou popsány analýzy odezvy, analýzy citlivosti, analýzy mezních stavů únosnosti a použitelnosti, analýzy napjatosti, analýzy únavového namáhání a analýzy životnosti. Práce mimo statických analýz popisuje i návrh dynamických pohlcovačů kmitání. V závěrečných kapitolách jsou zhodnocovány výsledky jednotlivých analýz.
|
|
|
Alias analýza v překladači jazyka C
Bolvanský, Dávid ; Zachariášová, Marcela (oponent) ; Hruška, Tomáš (vedoucí práce)
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ť na položky štruktúr. Vysvetlené sú pojmy súvisiace s alias analýzou a je popísaný princíp algoritmov alias analýzy. Predstavený je koncept LLVM frameworku, popísané sú aktuálne implementované algoritmy alias analýzy. Porovnanie týchto algoritmov bolo vykonané z pohľadu ich princípu fungovania, vlastností a obmedzení. Implementácia citlivosti na položky štruktúr bola vyskúšaná na sade programov, ktorými sa testujú prekladače. Bol preskúmaný jej vplyv na rýchlosť prekladu programov a ich výkonnosť. Získané výsledky preukazujú zvýšenie presnosti alias analýzy v LLVM frameworku.
|
|
| |
|
| |
|
|
Hiding and obfuscation of malware to avoid antivirus detection
Rybár, Matej ; Dzurenda, Petr (oponent) ; Casanova-Marqués, Raúl (vedoucí práce)
During security assessments, it is fairly uncommon for someone to be persuaded that antivirus software does not provide total security. When a penetration tester comes across antivirus software, there are times when he or she must act quickly. For these and other reasons, a variety of methods for getting around antivirus software have been devised. Some of these obfuscation approaches aim to escape static analysis by modifying and manipulating the Portable Executable file format, which is a standardized Windows executable file format. Several types of malware change the PE file format to avoid static antivirus detection. This thesis delves into the PE file format, malware detection, and static detection of obfuscation techniques. This thesis's result is a scantime crypter Persesutor, which encrypts the input file and then decrypts and loads the encrypted file into memory after execution.
|
|
|
Statická analýza obloukové mostní konstrukce
Farkasová, Zuzana ; Zídek,, Rostislav (oponent) ; Hradil, Petr (vedoucí práce)
Cílem bakalářské práce je provést statický výpočet obloukové mostní konstrukce o dvou polích s mostovkou zavěšenou na táhlech. Mým úkolem bylo sestavení výpočtového modelu mostní konstrukce, provedení výpočtu zatížení a vyhodnocení výsledků. Při zpracování této práce jsem se seznámila s výpočtovým programem ANSYS, konkrétně s jeho pracovním prostředím WORKBENCH
|
|
|
Analýza škodlivého softwaru
Bláha, Michael ; Caha, Tomáš (oponent) ; Člupek, Vlastimil (vedoucí práce)
Cílem mojí bakalářské práce je navrhnout bezpečné prostředí pro analýzu škodlivého softwaru. V teoretické části práce se věnuji základnímu dělení počítačových virů. Poté popisuji dva hlavní postupy při analyzování škodlivého softwaru, a to statickou a dynamickou analýzu. Popisuji, z jakého důvodu se používají a jaké nástroje spadají do těchto kategorií. Dále prezentuji svoji metodologii pro bezpečnou analýzu škodlivého softwaru. V praktické části práce se věnuji vytvoření analytického prostředí na platformách Windows 10 a Fedora. Používám jak grafické prostředí, tak i příkazový řádek k vytvoření virtuálních počítačů. Abych mohl analyzovat síťový provoz, vytvářím takzvaný „falešný internet“ s programem INetSim. V poslední části práce se věnuji ukázce analýzy vybraných druhů počítačových virů. Postupuji podle mnou popsané metodologie. Ke každé analýze píšu krátké shrnutí a výsledky. Na konci práce se zabývám možnou obranu před škodlivým softwarem.
|
host ::
RSS.