Zpět na vyhledávání

Bc. Adam Štafa

Bachelor's thesis

Symbiosis of Symbolic Execution and Fuzzing

Symbiosis of Symbolic Execution and Fuzzing
Abstract:
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ý …more
Abstract:
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 …more
 

Keywords

symbolic execution fuzzing whitebox fuzzing program analysis JetKlee SBT-Fizzer
 
Language used: English
Date on which the thesis was submitted / produced: 18. 5. 2023
Identifier: https://is.muni.cz/th/i6bu4/

Thesis defence

  • Date of defence: 27. 6. 2023
  • Supervisor: prof. RNDr. Jan Strejček, Ph.D.
  • Reader: RNDr. Petr Ročkai, Ph.D.

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.