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
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on various blockchain platforms, most notably, Ethereum. The Solidity programming language is an open source, community project governed by a core team. The core team is sponsored by the Ethereum Foundation. The programs compiled by the Solidity are intended to be run on Ethereum Virtual Machine.
A control-flow graph builder for Solidity smart contracts.
Created by Gavin Wood, Christian Reitwiessner, Alex Beregszaszi
Released August 2015