OCaml Fuzz Testing

About

This skill provides Claude with the specialized knowledge to build comprehensive fuzz testing suites for OCaml projects using the Crowbar library. It focuses on the 'crash-safety first' philosophy, ensuring that parsers never fail on malformed input and that roundtrip invariants—where decoding an encoded value returns the original—are strictly maintained. It includes standardized patterns for testing state machine transitions, boundary conditions, and smart constructors, organized into a clean directory structure compatible with the Dune build system.

Key Features

• Crash-safety verification for binary and text-based parsers
• Standardized Dune build configuration for local and AFL fuzzing
• Automated roundtrip invariant testing for encoders and decoders
• State machine transition and lifecycle coverage patterns
• 13 GitHub stars
• Constraint-aware testing for smart constructors and range-limited types

Use Cases

• Validating security-critical state machines in authentication or authorization modules
• Ensuring data integrity in complex serialization and deserialization logic
• Verifying the robustness of network protocol parsers against malicious or malformed data