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.
I'd still consider this to be essentially "static" information, since they don't change as the program executes.