Here posts the fuzz driver generated by Rubick for zip4j as an example. More fuzz drivers will be released soon.
Fuzzer.java, the fuzz driver code used in evaluation. It is of scheduling strategy rnd1seed. The fuzz driver requires multiple inputs including dfa.txt, alphabet.json, etc
dfa.pdf, the pdf drawing the DFA automaton
alphabet.json, the alphabet description file, one kind of input of fuzz driver
dfa.txt, the DFA automaton description file, one kind of input of fuzz driver