A control-flow graph builder for Solidity smart contracts.
static-analysis
control-flow-graph
solidity
solidity-contracts
solidity-language
ethereum-verificaton
solidity-analysis
-
Updated
Dec 4, 2019 - Haskell
A control-flow graph builder for Solidity smart contracts.
Add a description, image, and links to the ethereum-verificaton topic page so that developers can more easily learn about it.
To associate your repository with the ethereum-verificaton topic, visit your repo's landing page and select "manage topics."