What problem does it solve?
Reviewing diffs for small mechanical bugs like off-by-one errors, null dereferences, and typos is tedious and easy to rush through, letting simple defects slip into the codebase.
Core Features & Use Cases
- Mechanical Bug Detection: Scans changed lines for definite bugs such as numeric overflow, uninitialized variables, resource leaks, use-after-free, and boolean logic errors.
- ACID Semantics Checks: Verifies write-to-temp-plus-rename patterns, fsync ordering, locking around shared state, and atomicity of in-memory state changes.
- Structured Worklist Output: Groups findings by file with exact line numbers, quoted original code, concrete fixes, and one-sentence explanations.
- Use Case: Before merging a C++ pull request, run this review on the branch diff to catch copy-paste errors, signed/unsigned comparisons, and missing fsync calls without needing deep system knowledge.
Quick Start
Review the diff from my current branch against master for low-level coding mistakes and give me a worklist of fixes.