The Fandango Fuzzer

Repository hosting the Fandango Fuzzer documentation

FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse sets of valid inputs for programs under test.

Ever wondered just how fast you can write to stdout?

Extract a feature model from an input specification, select the features to target, and generate valid test inputs in which only those features vary.

FandangoLearn is a constraint miner to identify patterns in failure-inducing inputs.

Fandango-Specs is a collection of open-source input specifications written in the Fandango grammar format.

This repository contains the code used and the Fandango specification used for the GNSS Fuzzing project.