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

A control-flow graph builder for Solidity smart contracts.
https://github.com/shaunazzopardi/solidity-cfg-builder

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

Last synced: 3 months ago
JSON representation

A control-flow graph builder for Solidity smart contracts.

• Host: GitHub
• URL: https://github.com/shaunazzopardi/solidity-cfg-builder
• Owner: shaunazzopardi
• License: bsd-3-clause
• Created: 2018-02-18T22:44:26.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2019-12-04T21:23:59.000Z (about 5 years ago)
• Last Synced: 2024-09-30T10:22:09.740Z (3 months ago)
• Topics: control-flow-graph, ethereum-verificaton, solidity, solidity-analysis, solidity-contracts, solidity-language, static-analysis
• Language: Haskell
• Size: 70.3 KB
• Stars: 26
• Watchers: 3
• Forks: 3
• Open Issues: 4

Awesome Lists containing this project