https://github.com/trailofbits/manticore
History
Tip revision: 99a7491734c283bb4b34fc4d3211c3acb1ee4ae6 authored by ggrieco-tob on 20 March 2018, 00:18:19 UTC
A more complete example to initialize and explore a smart contract with manticore
Tip revision: 99a7491
File Mode Size
binary
core
platforms
utils
__init__.py -rw-r--r-- 100 bytes
__main__.py -rw-r--r-- 5.5 KB
ethereum.py -rw-r--r-- 57.7 KB
manticore.py -rw-r--r-- 25.5 KB
models.py -rw-r--r-- 4.0 KB

back to top