Static Value-Flow Analysis Framework for Source Code
- static-analysis
- static-value-flow
- source-code-analysis
- pointer-analysis
Repository Index
78,850 visible repositories in the index
1–3 of 3 · Most stars
Source code verification service for Ethereum smart contracts
- verification
- ethereum
- smart-contracts
- solidity
Verifying Signal's security at the machine-code level