https://github.com/shaunazzopardi/solidity-cfg-builder

A control-flow graph builder for Solidity smart contracts.

control-flow-graph ethereum-verificaton solidity solidity-analysis solidity-contracts solidity-language static-analysis

Last synced: 10 Apr 2025