frapAST
Detected Security Candidates
Loading…
| # | Rule ID▲ | Severity▲ | File Location▲ | Function▲ | Proof Status▲ | View | ||
|---|---|---|---|---|---|---|---|---|
|
Loading security candidates… |
||||||||
Bench Configuration
Not checked
▼
Not saved to disk — you'll need to re-enter this after restarting the server.
Run Proof Verification
Quick Selection
Candidates to Prove
— remaining
Live Execution Log
Click "Start Proof Engine" to stream verification results in real time.