https://github.com/danhper/evm-analyzer

Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
https://github.com/danhper/evm-analyzer

blockchain ethereum program-analysis smart-contracts

Last synced: about 1 month ago
JSON representation

Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited

• Host: GitHub
• URL: https://github.com/danhper/evm-analyzer
• Owner: danhper
• Created: 2018-12-22T22:27:39.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-10-31T16:58:40.000Z (about 4 years ago)
• Last Synced: 2024-04-14T11:08:00.718Z (8 months ago)
• Topics: blockchain, ethereum, program-analysis, smart-contracts
• Language: OCaml
• Homepage: https://arxiv.org/abs/1902.06710
• Size: 286 KB
• Stars: 22
• Watchers: 1
• Forks: 3
• Open Issues: 0

Awesome Lists containing this project