ART OF VECTOR

AI-Assisted Validation

Is an AI-found weakness real?

Candidate generation is cheap. Validation is the work. A model report is not a finding until a human can write the invariant and the data flow.
  1. → Candidate generation
  2. ↓ False-positive filter
  3. ↓ Reachability
  4. ↓ Exploitability / impact class
  5. ↓ Patch verification
  6. ↓ Disclose or discard

Notes

FAQ

Questions

Why are AI-found vulnerabilities often wrong?
Models over-report sinks, miss dead code, and skip reachability. Candidate generation is cheap. Validation — false positive, reachability, exploitability, patch verification — is the work.