Diplomová práce

Coverage of indirect input dependent atomic Boolean expressions in Fizzer

Bc. Jakub Máca
Anotace

Tato práce představuje novou specializovanou techniku pro Fizzer: IID Vector Analysis. Fuzzer Fizzer má problémy s pokrýváním atomických booleovských výrazů (ABE), které jsou nepřímo závislé na vstupu (IID). Tato metoda modeluje, jak počty provedení ABE ovlivňují výsledky ve větvení, a algebraicky analyzuje vektory k výpočtu plánů pro Monte Carlo. Na vlastních benchmarcích dosáhla tato analýza plného …více

Abstract

This thesis introduces a new specialized technique for Fizzer, IID Vector Analysis. Fuzzer Fizzer struggles with covering atomic Boolean expressions (ABEs), that are indirectly input dependent (IID). This technique models how ABE execution counts influence branching values, using algebraic analysis of execution path vectors to compute plans guiding Monte Carlo search. It achieved full coverage faster …více

Klíčová slova
fuzzing grey-box fuzzing fizzer IID nodes Test-Comp
Zadání práce
Fizzer is a gray-box fuzzer developed in Formela laboratory. Its goal is to generate a test suite for a given program yielding maximal coverage of Atomic Boolean Expressions (ABEs) appearing in that program. Especially challenging task is to generate inputs for ABEs whose evaluation depends on the input indirectly - so called Indirect Input Dependent (IID) ABEs. The student will study the current functionality of the input generation in Fizzer with the focus on coverage of IID ABEs and investigates how the effectivity of the input generation can be improved for covering IID ABEs. The ideas should lead to a prototype implementation in Fizzer and its evaluation on (a representative subset of) the Test-Comp benchmarks.
Administrativní informace
Práce zkontrolována:
23. 5. 2025 16:14, Mgr. Marek Trtík, Ph.D., učo 329313
Plný text práce
2,1 MB / soubor PDF
Přílohy (6)
Jazyk práce
angličtina angličtina
Termín obhajoby
20. 6. 2025
Práce byla úspěšně obhájena

Vedoucí

Mgr. Marek Trtík, Ph.D., učo 329313
KVI FI MU

Oponent

Mgr. Paulína Ayaziová, učo 485711
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Návrh a vývoj softwarových systémů

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.