I spent some time looking at the arbitrary crate in Rust and was left unsatisfie...

matklad · 2024-07-04T21:25:09 1720128309

Do you have a model problem which is tricky to shrink?

I implemented a stupid simple shrinker for arbitrary, and I’d love to know a specific example where it fails to shrink in a good way:

I know at lest two interesting approaches for making that way smarter, but I don’t yet have a problem where my dumb approach isn’t sufficient.

sunshowers · 2024-07-09T18:49:15 1720550955

I think I'll have to try it out! I'm just dubious about approaches that don't put shrinking front and center.

ruuda · 2024-07-08T19:58:29 1720468709

Shrinking is built in to libFuzzer! (`-minimize_crash` in libFuzzer, `cargo fuzz tmin` with cargo-fuzz)

sunshowers · 2024-07-09T18:47:07 1720550827

I remember libFuzzer's shrinking not doing a great job for sophisticated structured inputs, but maybe it's worth another look!