Pierre Pronchery a36ebdc210 Merge branch 'khorben/479-assert-brk'

2018-05-09 03:29:29 +02:00

..

binary

Add codeclimate, tox, and pycodestyle configs (#772)

2018-03-12 14:40:06 -04:00

core

Added optional message parameter in ConcretizeMemory (#885)

2018-05-07 09:23:40 -04:00

platforms

Merge branch 'khorben/479-assert-brk'

2018-05-09 03:29:29 +02:00

utils

Add codeclimate, tox, and pycodestyle configs (#772)

2018-03-12 14:40:06 -04:00

__init__.py

Implement user variadic model interface (#276)

2017-05-31 15:48:19 -04:00

__main__.py

Loads shared ELF to analyze a function (#861)

2018-05-08 14:15:03 -04:00

ethereum.py

Raises exception for Solidity compiler not installed. Issue #867 (#877)

2018-04-24 13:36:06 -03:00

manticore.py

Loads shared ELF to analyze a function (#861)

2018-05-08 14:15:03 -04:00

models.py

Add codeclimate, tox, and pycodestyle configs (#772)

2018-03-12 14:40:06 -04:00