Add simple, new auto-vex reachability: Emit OpenVEX vulnerable_code_not_in_execute_path statements when affected functions aren't imported by the release binary#55
Merged
DCO-2 / DCO
succeeded
May 2, 2026 in 0s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | b6a9a5e | Add simple, new auto-vex reachability: Emit OpenVE... | Valid sign-off found |
Loading