Skip to content

Cross-function taint (phases 1+2): bidirectional single-file propagation (0.21.0) - #25

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

Cross-function taint (phases 1+2): bidirectional single-file propagation (0.21.0)#25
autonomyproof merged 1 commit into
mainfrom
feat/xfn-taint-phase2

Cross-function taint phase 2: parameter propagation (0.21.0)

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

Annotations

2 warnings
CodeQL
succeeded Aug 18, 2026 in 52s