Grammarinator: a grammar-based open source fuzzer | Synapse