Skip to content

Cross-function taint phase 1: single-file return propagation (0.20.0) - #24

Merged
autonomyproof merged 1 commit into
mainfrom
feat/xfn-taint-phase1
Aug 18, 2026
Merged

Cross-function taint phase 1: single-file return propagation (0.20.0)#24
autonomyproof merged 1 commit into
mainfrom
feat/xfn-taint-phase1

Cross-function taint phase 1: single-file return propagation (0.20.0)

a4aafcf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
DCO sign-off check
succeeded Aug 18, 2026 in 4s