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

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

autonomyproof merged 1 commit into

mainautonomyproof/autonomyproof-cli:mainfrom

feat/xfn-taint-phase2autonomyproof/autonomyproof-cli:feat/xfn-taint-phase2Copy head branch name to clipboard