The link to the paper seems to be broken but it is openly available at IEEE
explore: <a href="https://ieeexplore.ieee.org/document/9152719" rel="nofollow">https://ieeexplore.ieee.org/document/9152719</a><p>The paper explores manually guiding AFL-based fuzzers using annotations in the
source code in order to more easily reach deep states.<p>The Super Mario Bros example highlighted in the git repo uses a modified
version of a C++ variant converted from disassembly of the original game:
<a href="https://github.com/MitchellSternke/SuperMarioBros-C/">https://github.com/MitchellSternke/SuperMarioBros-C/</a><p>In this example, the only guidance used is an annotation that maximizes the
x-position while accounting for different y-positions, allowing it to faster
complete the game levels:
<a href="https://github.com/RUB-SysSec/ijon-data/blob/c75433e1ce5252363803c2a9a221ee99808f796f/SuperMarioBros-C/source/Main.cpp#L340">https://github.com/RUB-SysSec/ijon-data/blob/c75433e1ce52523...</a>