Presumably because people have used actual fuzzers and not found these bugs.