Skip to content
Back to pull request #55

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 #36

Sign in to view logs

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

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 #36

🔎 SAST (Semgrep)

🔎 SAST (Semgrep)
succeeded May 2, 2026 in 36s