Zpět na vyhledávání

Bc. Lukáš Urban

Bachelor's thesis

Adapting SBT-Fizzer for Test-Comp

Adapting SBT-Fizzer for Test-Comp
Abstract:
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 …more
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 …more
 

Keywords

SBT-Fizzer fuzzing grey-box fuzzing dynamic program analysis instrumentation LLVM Test-Comp
 
Language used: English
Date on which the thesis was submitted / produced: 19. 5. 2023
Identifier: https://is.muni.cz/th/ty4ho/

Thesis defence

  • Date of defence: 26. 6. 2023
  • Supervisor: Mgr. Marek Trtík, Ph.D.
  • Reader: RNDr. Henrich Lauko

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.