What are limitations of the Fuzzer

Since fuzzing is an automated process, it often detects violations that can easily be missed by human reviewers (one more reason to not exclusively rely on audits). However, like any property-based analysis, it fundamentally relies on humans to provide suitable properties. Occasionally, it may also require some additional guidance (for instance, additional seed inputs) to cover complex parts of your code base.