|
|
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.
|
|
|
Analýza působení větru na stavební konstrukci
Tačner, Jan ; Hradil, Petr (oponent) ; Kala, Jiří (vedoucí práce)
Diplomová práce se zabývá statickou a dynamickou analýzou chování štíhlé mostní konstrukce. V programovém systému ANSYS 14.5 byl vytvořen výpočtový model konstrukce lávky. Byla provedena statická a modální analýza, na základě které bylo na konstrukci aplikováno náhradní dynamické zatížení od působení větru dle normy ČSN 73 0035, kde byla zohledněna varianta mostovky bez zábradlí či mostovky s plně neprodyšným zábradlím a dynamické zatížení vyvolané skupinou chodců a spojitým zástupem. Na tato zatížení byl proveden výpočet ustálené odezvy při rezonanci.
|
|
|
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.
|
|
|
Statická analýza válcové nádrže
Frimlová, Eva ; Martinásek, Josef (oponent) ; Vlk, Zbyněk (vedoucí práce)
Tato práce se věnuje statické analýze válcové nádrže. Cílem práce je vytvořit výpočetní algoritmy v programu MATLAB, které budou provádět statickou analýzu na idealizovaných modelech válcové nádrže. Těmito modely jsou prutový model a model s plošnými prvky. Práce je rozdělena na několik částí. První část se věnuje zadání tvaru, materiálu a zatížení nádrže. Druhá část se věnuje prutovému modelu, kde jsou uvedeny základní informace o deformační metodě, modelu pro tento výpočet a jeho výpočtu. Další část se věnuje modelu s plošnými prvky, metodě konečných prvků a výpočtu touto metodou. V poslední části jsou uvedeny výsledky z jednotlivých výpočtů a jejich porovnání.
|
|
| |
|
|
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.
|
|
|
Statická analýza v nástroji Facebook Infer zaměřená na detekci uváznutí
Marcin, Vladimír ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Statická analýza dnes patrí medzi najpopulárnejšie metódy na odhaľovanie chýb v modernom softvéri, no častým problémom dostatočne presných statických analyzátorov je ich škálovateľnosť. Mnohé efektívne analyzátory (napr.:Coverity, KlockWork, atď.) sú navyše proprietárne, čím sa ich ďalšia rozšíriteľnosť a použitie stávajú obťažnými. Pokrok v tejto oblasti prináša Facebook Infer, ktorý ponúka open-source framework na tvorbu kompozičných a inkrementálnych statických analýz. V tejto práci predstavujeme vlastný Low-Level Deadlock Detector (L2D2), ktorý rozširuje funkcionalitu Inferu. Náš algoritmus spĺňa princípy kompozičnej analýzy, založenej na kontextovo nezávislom výpočte súhrnu pre každú funkciu, čo má za následok jeho vysokú škálovateľnosť. Algoritmus sme implementovali a overili na sade príkladov z Debian GNU/Linux, ktorá pozostávala z 11.4 MLOC. Aj keď náš prístup nie je ani presný ani úplný, ukazuje sa ako efektívny. Okrem toho, že dokázal odhaliť všetky známe uviaznutia, hlásil falošné pozitíva v menej ako 4% z testovaných programov.
|
|
|
Automatická tvorba testovacích případů z datových toků
Kraut, Daniel ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.
|
host ::
RSS.