RESEARCH: Structure-aware Whitebox fuzzing

[joszamama]

Using Fandango, implement mechanisms to guide a fuzzer into deeper parts of the program (coverage-based) while maintaining structure validity.

Note: I think this would be a similar approach to Nautilus, but in our case, we would be able to deal with the semantical properties of the input. In our future evaluation, we should compare against Nautilus. The idea would be to showcase that (potentially) semantical properties can guide the fuzzer further beyond what structure only can.