SVF-tools / Software-Security-Analysis Star 94 Code Issues Pull requests Static Analysis Course static-analysis symbolic-execution abstract-interpretation data-flow-analysis value-flow static-analysis-course Updated Jun 3, 2026 C++
Yudis-bit / DeFi-Exploit-PoCs Sponsor Star 2 Code Issues Pull requests Foundry-style local security workbench for DeFi protocol mapping, money-flow analysis, proof/trace evidence, and report drafting. 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 1, 2026 Solidity
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