This directory demonstrates how to find the bug with AFLplusplus.
To find an invariant violation for the buffer size of 10 when using binary files as inputs:
$ make fuzz-binaryTo bump the buffer size to 100, edit the BUF_SIZE constant:
$ BUF_SIZE=100 make fuzz-binaryTo find an invariant violation for the buffer size of 10 when using text files as inputs:
$ make fuzz-textTo bump the buffer size to 100, edit the BUF_SIZE constant:
$ BUF_SIZE=100 make fuzz-text