Fizzer: New Gray-Box Fuzzer

D 2024

Fizzer: New Gray-Box Fuzzer

JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK a Lukáš URBAN

Základní údaje

Originální název

Fizzer: New Gray-Box Fuzzer

Autoři

JONÁŠ, Martin (203 Česká republika, domácí), Jan STREJČEK (203 Česká republika, garant, domácí), Marek TRTÍK (203 Česká republika, domácí) a Lukáš URBAN (703 Slovensko, domácí)

Vydání

Cham (Švýcarsko), Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, od s. 309-313, 5 s. 2024

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

URL

Impakt faktor

Impact factor: 0.402 v roce 2005

Organizační jednotka

Fakulta informatiky

ISBN

978-3-031-57258-6

ISSN

DOI

http://dx.doi.org/10.1007/978-3-031-57259-3_17

UT WoS

001281762800020

Klíčová slova anglicky

fuzzing; test generation; atomic Boolean expression; Fizzer

Štítky

formela-conference, formela-ver, fuzzing, program analysis, test generation

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 18. 10. 2024 17:04, prof. RNDr. Jan Strejček, Ph.D.

Anotace

V originále

Fizzer is a new gray-box fuzzer. In contrast to common gray-box fuzzers that aim to cover both true and false branches of branching instructions, Fizzer primarily aims to cover both possible values true and false of Boolean expressions in the program. When a generated test evaluates a so-called atomic Boolean expression to one of these values, our fuzzer computes the distance to the other value, detects bytes that influence this distance, and applies gradient descent on these bytes to flip the value. In Test-Comp 2024, Fizzer placed third in the category Cover-Branches after FuSeBMC and FuSeBMC-AI.

Návaznosti

GA23-06506S, projekt VaV

Název: Pokročilá analýza a verifikace pro pokročilý software

Investor: Grantová agentura ČR, Pokročilá analýza a verifikace pro pokročilý software

MUNI/A/1592/2023, interní kód MU

Název: Modelování, analýza a verifikace (2024)

Investor: Masarykova univerzita, Modelování, analýza a verifikace (2024)

MUNI/A/1608/2023, interní kód MU

Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24

Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24

Citovat

JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK a Lukáš URBAN. Fizzer: New Gray-Box Fuzzer. Online. In Dirk Beyer and Ana Cavalcanti. Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Cham (Švýcarsko): Springer, 2024, s. 309-313. ISBN 978-3-031-57258-6. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57259-3_17.

@inproceedings{2396652,
   author = {Jonáš, Martin and Strejček, Jan and Trtík, Marek and Urban, Lukáš},
   address = {Cham (Švýcarsko)},
   booktitle = {Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings},
   doi = {http://dx.doi.org/10.1007/978-3-031-57259-3_17},
   editor = {Dirk Beyer and Ana Cavalcanti},
   keywords = {fuzzing; test generation; atomic Boolean expression; Fizzer},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Cham (Švýcarsko)},
   isbn = {978-3-031-57258-6},
   pages = {309-313},
   publisher = {Springer},
   title = {Fizzer: New Gray-Box Fuzzer},
   url = {https://link.springer.com/chapter/10.1007/978-3-031-57259-3_17},
   year = {2024}
}

TY  - JOUR
ID  - 2396652
AU  - Jonáš, Martin - Strejček, Jan - Trtík, Marek - Urban, Lukáš
PY  - 2024
TI  - Fizzer: New Gray-Box Fuzzer
PB  - Springer
CY  - Cham (Švýcarsko)
SN  - 9783031572586
KW  - fuzzing
KW  - test generation
KW  - atomic Boolean expression
KW  - Fizzer
UR  - https://link.springer.com/chapter/10.1007/978-3-031-57259-3_17
N2  - Fizzer is a new gray-box fuzzer. In contrast to common gray-box fuzzers that aim to cover both true and false branches of branching instructions, Fizzer primarily aims to cover both possible values true and false of Boolean expressions in the program. When a generated test evaluates a so-called atomic Boolean expression to one of these values, our fuzzer computes the distance to the other value, detects bytes that influence this distance, and applies gradient descent on these bytes to flip the value. In Test-Comp 2024, Fizzer placed third in the category Cover-Branches after FuSeBMC and FuSeBMC-AI.
ER  -

JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK a Lukáš URBAN. Fizzer: New Gray-Box Fuzzer. Online. In Dirk Beyer and Ana Cavalcanti. \textit{Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings}. Cham (Švýcarsko): Springer, 2024, s.~309-313. ISBN~978-3-031-57258-6. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57259-3\_{}17.

Podrobný výpis o publikaci