History

Update dependencies, removed unused deps, CI fixes (#839 )

* update clap, remove unused deps

* update grammartek

* update pyo3

* update pyo3

* undid clap update

* not changing nyx

* updated deps

* Update more deps, fixes

* not needed clippy

* fix windows

* try to enable deprecated pyproto for pyo3

* unused

* moving some things to clap4 after all

* initial move to clap 4

* fix clap

* more clap4, removed accidental file

* fixes, fmt

* fix

* all fix no play

* fix

2022-10-18 20:36:43 +02:00

construct_automata

Update dependencies, removed unused deps, CI fixes (#839 )

2022-10-18 20:36:43 +02:00

grammars

Move build_id to bolts (#649 )

2022-05-27 01:05:03 +02:00

construct_automata.py

Bridge grammartec from Nautilus to libafl (#342 )

2021-11-06 02:21:53 +01:00

gnf_converter.py

Fix gnf_converter.py script (#616 )

2022-05-10 19:48:48 +02:00

README.md

Bridge grammartec from Nautilus to libafl (#342 )

2021-11-06 02:21:53 +01:00

README.md

Gramatron preprocessing scripts

In this folder live the scripts to convert a grammar (some examples in the grammars/ subfolder) into a serialized Automaton.

You need as first to convert the grammar to the GNF form using the gnf_converter.py Python script.

Then use the output as input of the construct_automata crate.

Here an example using the Ruby grammar:

./gnf_converter.py --gf grammars/ruby_grammar.json --out ruby_gnf.json --start PROGRAM
cd construct_automata
RUSTFLAGS="-C target-cpu=native" cargo run --release -- --gf ../ruby_gnf.json --out ../ruby_automaton.postcard

You can add the --limit flag to limit the stack size, as described in the Gramatron paper.