Verification · Finding validation · Evidence-backed verification
Counterevidence search
Look for guards, callers or tests that show the claimed failure cannot happen.
How to build it
- Before posting a finding, search the code for guards, validation and callers that prevent the failure.
- Search the tests for cases that already cover the claimed input.
- Refute the finding and record the guard location when one is found.
Signals in a repository
- Verdict records that cite a guard, check or test location for a refuted finding.
- Review tool output saying a finding was dismissed because of a guard in the code.
In practice
No scanned repository runs a tool for this check. The steps above are the only guidance.