Static Analysis Course
-
Updated
Aug 12, 2026 - LLVM
Static Analysis Course
Local-first review infrastructure for smart contract security.
A minimal protocol for routing traceable value flows from actors through origin, trace, audit, and settlement while keeping allocation policies decentralized.
A toy-scale exploration into unified value flow analysis.
Add a description, image, and links to the value-flow topic page so that developers can more easily learn about it.
To associate your repository with the value-flow topic, visit your repo's landing page and select "manage topics."