This is an implementation of the Glade blackbox grammar miner described by Bastani et al. in Synthesizing Program Input Grammars
To use, modify the src/check.py file which contains the oracle. Controlling
the number of attempts to verify is done in src/config.py
Seed inputs are placed in the inputs file.
To learn the grammar, execute:
make gen
To generate inputs from the learned grammar, run:
make fuzz