|
|
Detekce komunikace malware v síťových tocích
Korvas, Václav ; Matoušek, Petr (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Tato práce se zabývá problematikou síťové komunikace škodlivého kódu, způsoby jejich analýzy a především srovnáním přesností různých algoritmů strojového učení mezi sebou. Práce přináší srovnání přesnosti jednotlivých algoritmů strojového učení, jak na testovacích datech tak při použití v reálném provozu. Jako metriky pro vyhodnocení výsledků byla použita přesnost, F1-skóre a míra falešné pozitivity. Na testovacích datech se jako nejpřesnější ukázaly algoritmy Random Forest a XGBoost, které dosáhly přesnosti 99.2% s mírou falešné pozitivity 0.6%. Při experimentech v reálném provozu bylo přibližně 9% toků nesprávně detekováno a klasifikováno jako malware. Při napadení počítače pak míra klasifikovaných toků jako malware, vzrostla na 18% a k tomu bylo zachyceno několik indikátorů kompromitace, které toto napadení potvrdily.
|
|
|
Pokročilá statická analýza výkonnosti v nástroji Meta Infer
Pavela, Ondřej ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Looper is a static complexity analysis tool for inference of tight upper bounds on the exe- cution cost of programs. It is based on the previously existing Loopus tool which used abstract program model of difference constraints (inequalities of the form + ), which allows for natural abstraction of common loop counter updates = + + and = + 0. Looper was initially proposed and implemented in author’s bachelor’s thesis as a checker for the Meta Infer framework but the tool failed to meet the expectations when tested on real-world code. This master’s thesis proposes a new improved version of Looper that aims at solving the main limitations of the original tool, namely through introduction of interprocedural analysis. Additionally, various extensions target- ing improved precision of the intraprocedural analysis, such as new abstraction algorithm, handling of compound loop conditions and more, were implemented. Moreover, logging, issue reporting and collection of results has been significantly improved. Finally, through extensive experiments with the new Looper version, the ability to analyze real-world code in a more general, scalable and precise way was shown.
|
|
|
Plugin for a Code Risk Analysis
Kvasnička, Jaroslav ; Lengál, Ondřej (oponent) ; Havlena, Vojtěch (vedoucí práce)
This thesis explores the importance of code analysis and testing and its impact on program functionality and cost. It discusses the basic principles and types of testing, with a focus on static analysis. The Eclipse platform and plugins are also examined, along with the architecture of the target code. We then discussed and implemented an extension of the static MFB analyzer which the BOC-GROUP company developed along with extensions such as the Log4j checker and GDPR analyzer. We also designed and implemented the Eclipse plugin which can highlight the results of the MFB analyzer in the Eclipse IDE. In conclusion, future possible extensions are also discussed, including harmful regular expression detectors and XSS prevention.
|
|
|
Automatické generování šablon změn kódu
Kříž, Daniel ; Vašíček, Ondřej (oponent) ; Vojnar, Tomáš (vedoucí práce)
The aim of this thesis is to propose a method for automatic generation of custom code change patterns in LLVM IR language for DiffKemp, a tool for analyzing semantic differences between version of large scale projects. The goal is to enable automatic generation of changes between versions of a project with values, global variables or structure types. This has been achieved by finding the common pattern between changes and then generating its variants, which differ in usage of global variables and types. The proposed solution was implemented as an extension of DiffKemp and our experimentation on small programs shows that out proposed method is able to yield at least partially satisfactory results.
|
|
|
Překlad mezi vyššími programovacími jazyky
Knapovský, Jan ; Kožár, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
S vývojem nových technologií, jazyků a jejich prostředků vyvstává čím dál tím urgentnější potřeba aktualizace již existujících programových základen, za účelem využití nových jazykových prostředků a technologií a zachováním udržitelnosti těchto systémů. Tato práce navrhuje tento proces automatizovat pomocí použití automatizovaného prostředku – transpilátoru.
|
|
|
Analýza patologické tkáně mozku pomocí MRI
Širůčková, Kateřina ; Bartušek, Karel (oponent) ; Marcoň, Petr (vedoucí práce)
Díky vysokému rozlišení měkkých tkání je magnetická rezonance hojně využívaná při diagnostice a plánování terapií nejen v neurochirurgii. Předmětem zkoumání této práce jsou mozkové patologie – glioblastoma multiforme, metastatické nádory, lymfomy a abscesy, pořízené tomografem magnetické rezonance. V praxi se nejčastěji k diagnostice zmíněných patologií používají invazivní metody v podobě biopsie a následné histologie postižené tkáně. Tato práce se zabývá výzkumem neinvazivní metody pro diagnostikování nádorů. Metoda vychází z analýzy dat vymezených křivkami, které jsou v obrazech vážených aparentním difuzním koeficientem vedeny z oblasti tumoru přes peritumorální edém až do zdravé tkáně. Metoda analýzy křivek byla podrobena statistickému vyhodnocení a zároveň byly použity algoritmy umělé inteligence pro klasifikaci tumorů.
|
|
|
Program Loop Unwinding in the 2LS Framework
Nečas, František ; Vojnar, Tomáš (oponent) ; Malík, Viktor (vedoucí práce)
The goal of this work is to propose an improved unwinding mechanism for the 2LS formal verification tool. 2LS is a static analysis framework for C programs based on reasoning about programs using an SMT solver. It combines multiple common verification techniques into an algorithm called k I k I. One of the crucial parts of the algorithm is loop unwinding. Unfortunately, the existing solution does not correctly support unwinding of loops containing operations with dynamically allocated memory. Our proposed solution is based on unwinding loops in a GOTO program rather than the SSA form, making it possible to correctly handle dynamic objects and operations over them. The proposed solution has been implemented in the 2LS framework and our experiments on a set of benchmarks from the International Competition on Software Verification (SV-COMP) show that it improves soundness of analysis of programs working with dynamic objects.
|
|
|
Statická analýza krovu
Hořínek, Josef ; Vlk, Zbyněk (oponent) ; Martinásek, Josef (vedoucí práce)
Bakalářská práce se zabývá statickou analýzou dřevěného krovu. Tento krov je součástí sedlové střechy na rodinném domě. Zatížení na konstrukci je spočítáno ručně dle platných norem. Zatížení je rozděleno do celkem 11 zatěžovacích stavů. Výpočtový model konstrukce je vytvořen v programu RFEM. Výsledky vnitřních sil a deformací jsou zkontrolovány ručním výpočtem metodami pro staticky neurčité konstrukce. Tyto hodnoty jsou na závěr porovnány.
|
|
|
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.
|
|
|
Implementing control flow resolution in dynamic language
Šindelář, Štěpán ; Zavoral, Filip (vedoucí práce) ; Ježek, Pavel (oponent)
S dynamickými programovacími jazyky je možné psát kód bez typové informace a typy proměnných se mohou měnit za běhu. Přestože se dynamické typování snadněji používá a je vhodné pro rychlé prototypování, dynamicky typovaný kód může být více náchylný k programátorským chybám a představuje nelehký úkol pro překladače nebo interpretry. Vývojáři často používají dokumentační komentáře pro explicitní uvedení typové informace, nicméně dostupné nástroje většinou nekontrolují shodu mezi komentáři a vlastním kódem. V této práci se zaměřujeme na jeden z nejpopulárnějších dynamických programovacích jazyků: PHP. V rámci této práce jsme vyvinuli framework pro statickou analýzu PHP kódu jako část projektu Phalanger -- překladače PHP do .NET. I když, tento framework podporuje jakýkoliv druh statické analýzy, implementovali jsme především typovou analýzu za účelem odhalení typových chyb a nekonzistence kódu s dokumentačními komentáři. S pomocí této analýzy jsme odhalili několik reálých chyb a nekonzistencí s dokumentací v kódu několika reálných PHP projektů s dobrým poměrem falešně pozitivních chyb. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.