Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / cleanunicorn / karl
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cleanunicorn%2Fkarl
Stars: 312
Forks: 79
Open Issues: 27
License: mit
Language: Python
Repo Size: 4.3 MB
Dependencies:
16
Created: over 5 years ago
Updated: 24 days ago
Last pushed: 3 days ago
Last synced: 2 days ago
Topics: blockchain, defcon, defcon27, ethereum, security, smt, symbolic-execution
Files
Dependencies
- eth-account >=0.1.0a2,<=0.3.0
- eth-hash >=0.1.0
- eth-keyfile >=0.5.1
- eth-keys >=0.2.0b3,<0.3.0
- eth-rlp >=0.1.0
- eth-tester ==0.1.0b32
- eth-typing >=2.0.0
- eth-utils >=1.0.1
- eth_abi ==1.3.0
- ethereum >=2.3.2
- ethereum-input-decoder >=0.2.2
- mythril ==0.22.19
- py-ecc ==1.6.0
- python-dateutil ==2.8.1
- semantic_version ==2.8.5
- web3 ==4.9.1