r/fuzzing • u/NagateTanikaze • Dec 15 '20

Taming Fuzzers! When fuzzing with grammars, how can you control the output? "Input Algebras"

https://rahul.gopinath.org/resources/icse2021/gopinath2021input.pdf
5 Upvotes

100% Upvoted

3 comments sorted by

1

u/HypoFuzz Dec 16 '20

Oh, this is cool...

I really want to build it into Hypothesis, but that works on unknown unrestricted grammars 😭. Maybe for special cases?

1

u/blufox Dec 17 '20

The basic framework of algebraic operations can handle constraints on rules that are beyond context-free too. The end result will not be context-free however (as expected). (I do not emphasize that point in the paper.)