bmad-review-edge-case-hunter

To automate edge case analysis for a code diff, provide the diff as an input file. The skill performs deterministic path enumeration to identify unhandled boundary conditions and missing error handling paths.

Deterministic path enumeration is an automated method that walks through every branching path in code or specs. It identifies unhandled edge cases without relying on human intuition, focusing on missing guard conditions and input validation.

Yes, you can use static analysis to find missing guard conditions in full files. The analysis supports flexible scopes, allowing you to evaluate entire functions, full files, or specific diffs to detect unhandled error paths.

Automated edge case analysis checks input validation and error handling paths by exhaustively walking through branching logic. It specifically reports unhandled edge cases to help detect vulnerabilities before deployment.

The best way to review code for missing error handling paths is using automated edge case analysis. It provides an exhaustive, orthogonal review focused on the technical quality of your code rather than subjective styling.

You need automated edge case analysis for software development when preparing for deployment. It identifies potential vulnerabilities and missing input validation in your specifications or diffs before they reach production.