https://github.com/trailofbits/manticore
History
Tip revision: aeee63d880f6c4d332c3722ccf93e0d5f6dcb7d0 authored by yeti-detective on 14 November 2018, 02:20:06 UTC
Combined contract_addr and evm_program_counter in to one function, write_findings
Tip revision: aeee63d
File Mode Size
binary
core
ethereum
platforms
utils
__init__.py -rw-r--r-- 150 bytes
__main__.py -rw-r--r-- 12.1 KB
abitypes.py -rw-r--r-- 4.9 KB
exceptions.py -rw-r--r-- 957 bytes
manticore.py -rw-r--r-- 25.5 KB
models.py -rw-r--r-- 4.0 KB

back to top