https://github.com/trailofbits/manticore
History
Tip revision: 9e2dd9281ee5759cb3f8b9cb7a78d97e5b5b51ca authored by feliam on 06 February 2018, 22:01:56 UTC
Make solver.get_value return the expression untouched when concrete
Tip revision: 9e2dd92
File Mode Size
binary
core
platforms
utils
__init__.py -rw-r--r-- 100 bytes
__main__.py -rw-r--r-- 5.3 KB
ethereum.py -rw-r--r-- 55.1 KB
manticore.py -rw-r--r-- 24.2 KB
models.py -rw-r--r-- 4.0 KB

back to top