SVF-tools / Software-Security-Analysis Star 97 Code Issues Pull requests Static Analysis Course static-analysis symbolic-execution abstract-interpretation data-flow-analysis value-flow static-analysis-course Updated Jul 15, 2026 C++
Yudis-bit / arkheionx Sponsor Star 4 Code Issues Pull requests Local-first review infrastructure for smart contract security. proof-of-concept static-analysis developer-tools solidity bug-bounty foundry money-flow sarif security-tools security-research defi invariant-testing local-first trace-analysis smart-contract-security defi-security web3-security value-flow audit-readiness arkheionx Updated Jun 16, 2026 Python
xmoezzz / uniflow Star 0 Code Issues Pull requests A toy-scale exploration into unified value flow analysis. static-analyzer data-flow-analysis value-flow Updated Apr 13, 2026 Rust
overlorde / py-svf-analysis Star 0 Code Issues Pull requests SVF-style static value-flow analysis for Python: Andersen points-to, memory SSA and a sparse value-flow graph python static-analysis call-graph taint-analysis pointer-analysis points-to-analysis value-flow svfg thin-slicing Updated Jul 14, 2026 Python