Bakalářská práce

Symbiosis of Symbolic Execution and Fuzzing

Adam Štafa
Anotace

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ý …více

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 …více

Klíčová slova
symbolic execution fuzzing whitebox fuzzing program analysis JetKlee SBT-Fizzer
Zadání práce
The thesis shall design and implement a combination of symbolic execution and fuzzing for automatic test generation. More precisely, the student will modify the symbolic executor JetKlee to execute a given path and return information about its feasibility and corresponding input values when possible. Further, the student will integrate the modified JetKlee with the fuzzing tool Fizzer to aid the test generation when fuzzing ceases to be effective. Finally, the student will evaluate the potential benefits of the JetKlee-Fizzer symbiosis by comparing the results of Fizzer alone and Fizzer with JetKlee on benchmarks from the test-generation competition Test-Comp 2023.
Administrativní informace
Práce zkontrolována:
20. 5. 2023 11:25, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Plný text práce
844,6 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
27. 6. 2023
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jan Strejček, Ph.D., učo 3366
KTP FI MU

Oponent

RNDr. Petr Ročkai, Ph.D., učo 139761
KPSK FI MU

Konzultant

Mgr. Marek Trtík, Ph.D., učo 329313
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Informatika

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

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.