Not sure about that one. Fuzzers have a hard time creating certain narrow preconditions that a manual review can find.