Discussão: Fundamentos de fuzz testing: entradas guiadas por cobertura, corpus e triagem de crashes

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

Tradução indisponível; é apresentado o original. 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.