Unfix
unfix.dev- Category
- Developer Tools
- Rank
- No. 3832Tools index
- Type
- TOOL
- Date
About
Unfix is a verifier for AI-written fixes in C, C++ and firmware. It reproduces the bug, applies the fix, re-runs the tests with sanitizers on, then removes the fix to confirm the failure returns. It returns one verdict: VERIFIED, REJECTED or NOT VERIFIABLE. This catches fixes that only turn tests green by disabling sanitizers, weakening assertions or adding delays.
Tags
ccppfirmwareverificationcoding-agenttesting
Media
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.