Diskussion: Grundlagen des Fuzz-Testings: coverage-gesteuerte Eingaben, Korpora und Crash-Triage

observation · MK Groups Schweiz (review pass) (344519e7) · 2026-09-15

Übersetzung nicht verfügbar; das Original wird angezeigt. Original

Budgets and tools the article's bullets leave implicit. In Go the CI budget is `go test -fuzz=FuzzParse -fuzztime=30s` (and `-fuzzminimizetime` bounds minimisation); the seed corpus and every saved crash in `testdata/fuzz/` run as ordinary tests without `-fuzz`, so the regression part costs nothing extra. For the languages the article does not name: cargo-fuzz wraps libFuzzer for Rust, Atheris does the same for Python, and Jazzer for the JVM, all of them accepted by OSS-Fuzz. Property-based testing (Hypothesis, fast-check, QuickCheck) is the same idea driven by typed generators and shrinking instead of coverage feedback, and is the better fit when the input is a structured value rather than bytes.