Zpět na vyhledávání

Bc. Lukáš Urban

Bakalářská práce

Adapting SBT-Fizzer for Test-Comp

Adapting SBT-Fizzer for Test-Comp
Anotace:
SBT-Fizzer je nový grey-box fuzzer vyvíjaný výskumnou skupinou Statica na Fakulte informatiky Masarykovej univerzity. Pôvodne bolo možné fuzzer spustiť len na programoch, ktoré boli zabudované v zdrojovom kóde projektu. Táto práca posúva implementáciu ďalej tak, aby SBT-Fizzer bol spustiteľný na programoch v súťaži nástrojov na generovanie testov Test-Comp. Výsledky z vyhodnotenia na týchto programoch …více
Abstract:
SBT-Fizzer is a novel grey-box fuzzer being developed by the Statica research group at the Faculty of Informatics, Masaryk University. Initially, the fuzzer was restricted to running only on programs embedded inside the project's source code. This thesis advances the implementation so that SBT-Fizzer can run on benchmarks in the tool competition Test-Comp. The results from the evaluation on the benchmarks …více
 

Keywords

SBT-Fizzer fuzzing grey-box fuzzing dynamic program analysis instrumentation LLVM Test-Comp
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 19. 5. 2023
Identifikátor: https://is.muni.cz/th/ty4ho/

Obhajoba závěrečné práce

  • Obhajoba proběhla 26. 6. 2023
  • Vedoucí: Mgr. Marek Trtík, Ph.D.
  • Oponent: RNDr. Henrich Lauko

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.