FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing