DatAFLow: Toward a Data-Flow-Guided Fuzzer

Coverage-guided greybox fuzzers rely on control-flow coverage feedback to explore a target program and uncover bugs. Compared to control-flow coverage, data-flow coverage offers a more fine-grained approximation of program behavior. Data-flow coverage captures behaviors not visible as control flow a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM transactions on software engineering and methodology 2023-09, Vol.32 (5), p.1-31, Article 132
Hauptverfasser:	Herrera, Adrian, Payer, Mathias, Hosking, Antony L.
Format:	Artikel
Sprache:	eng
Schlagworte:	Empirical software validation Software and its engineering Software maintenance tools Software testing and debugging
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!