Symbiosis of Symbolic Execution and Fuzzing – Bc. Adam Štafa
Bc. Adam Štafa
Bachelor's thesis
Symbiosis of Symbolic Execution and Fuzzing
Symbiosis of Symbolic Execution and Fuzzing
Anotácia:
Testování programů je nedílnou součástí vývoje softwaru. Tato práce představuje symbolickou exekuci a fuzzing jako techniky pro automatické generování testů a popisuje jejich synergii v systému SAGE. Součástí práce byla integrace symbolického exekutoru JetKlee do fuzzeru Fizzer. V práci používáme techniky strojového učení k vytvoření heuristiky, která rozhodne, kdy je ve fuzzeru vhodné použít symbolický …viacAbstract:
Program testing is vital for virtually all written software. This thesis introduces automatic test generation techniques of symbolic execution and fuzzing and describes their synergy in the system SAGE. We have integrated the symbolic executor JetKlee into the fuzzing tool Fizzer and employed machine-learning techniques to derive a heuristic for the usage of the symbolic executor. We have evaluated …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 18. 5. 2023
Identifikátor:
https://is.muni.cz/th/i6bu4/
Obhajoba závěrečné práce
- Obhajoba proběhla 27. 6. 2023
- Vedúci: prof. RNDr. Jan Strejček, Ph.D.
- Oponent: RNDr. Petr Ročkai, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
-
Program Slicing and Symbolic Execution for Verification
Marek Chalupa -
Symbolic Execution and Program Loops
Marek Trtík