News for hackers. Stuff that matters.

A comment on Fuzzing is magic – Or how I found a panic in Rust's regex library. Parent comment

Re:Fuzzing is magic – Or how I found a panic in Rust's regex... by eru on Sunday April 02, 2017 @08:50AM (#14016956)
QuickCheck happens to use types (ie static information). But Python's hypothesis shows that QuickCheck works just as well with dynamic languages: https://hypothesis.readthedocs.io/en/latest/
[ Parent | on HN ]
Re:Fuzzing is magic – Or how I found a panic in Rust's regex... by cakoose on Sunday April 02, 2017 @11:43PM (#14020462)
Yeah, in this case, Hypothesis uses programmer-provided input specs, which are similar but not quite the same as type declarations in a typed programming language.

I'd still consider this to be essentially "static" information, since they don't change as the program executes.

[ Parent | on HN ]
Re:Fuzzing is magic – Or how I found a panic in Rust's regex... by eru on Monday April 03, 2017 @06:49AM (#14021843)
Perhaps. Though 'shrinking' definitely makes use of dynamic information.
[ Parent | on HN ]