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

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

autonomyproof merged 1 commit into

mainautonomyproof/autonomyproof-cli:mainfrom

feat/xfn-taint-phase1autonomyproof/autonomyproof-cli:feat/xfn-taint-phase1Copy head branch name to clipboard