diff options
Diffstat (limited to 'custom_mutators')
| -rw-r--r-- | custom_mutators/gramatron/README.md | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/custom_mutators/gramatron/README.md b/custom_mutators/gramatron/README.md index c8a76e3e..0167f620 100644 --- a/custom_mutators/gramatron/README.md +++ b/custom_mutators/gramatron/README.md @@ -28,18 +28,20 @@ afl-fuzz -i in -o out -- ./target - Specify in a JSON format for CFG. Examples are correspond `source.json` files - Run the automaton generation script (in `src/gramfuzz-mutator/preprocess`) which will place the generated automaton in the same folder. + ``` ./preprocess/prep_automaton.sh <grammar_file> <start_symbol> [stack_limit] -Eg. ./preprocess/prep_automaton.sh ~/grammars/ruby/source.json PROGRAM +E.g., ./preprocess/prep_automaton.sh ~/grammars/ruby/source.json PROGRAM ``` - If the grammar has no self-embedding rules then you do not need to pass the stack limit parameter. However, if it does have self-embedding rules then you need to pass the stack limit parameter. We recommend starting with `5` and then increasing it if you need more complexity - To sanity-check that the automaton is generating inputs as expected you can use the `test` binary housed in `src/gramfuzz-mutator` + ``` ./test SanityCheck <automaton_file> -Eg. ./test SanityCheck ~/grammars/ruby/source_automata.json -``` +E.g., ./test SanityCheck ~/grammars/ruby/source_automata.json +``` \ No newline at end of file |