https://github.com/shaunazzopardi/solidity-static-analysis

Static analysis for Solidity smart contract with properties as symbolic automata.
https://github.com/shaunazzopardi/solidity-static-analysis

ethereum smart-contract solidity static-analysis

Last synced: 6 days ago
JSON representation

Static analysis for Solidity smart contract with properties as symbolic automata.

• Host: GitHub
• URL: https://github.com/shaunazzopardi/solidity-static-analysis
• Owner: shaunazzopardi
• License: bsd-3-clause
• Created: 2018-05-03T10:53:36.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-12-04T21:32:15.000Z (almost 5 years ago)
• Last Synced: 2023-03-10T09:42:32.441Z (over 1 year ago)
• Topics: ethereum, smart-contract, solidity, static-analysis
• Language: Haskell
• Homepage:
• Size: 160 KB
• Stars: 8
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project