https://github.com/trailofbits/manticore
Revision 3a460d528d5eb3ceee6d284c9b4337052f50afcb authored by feliam on 18 March 2019, 18:50:56 UTC, committed by GitHub on 18 March 2019, 18:50:56 UTC
* WIP load truffle json artifacts

* No 'signature'

* Better truffle -artifact support

* CC

* Add basic test for truffle artifacs and update solidity linking

* Missing data file for truffle test

* CC

* Add full fledged example for truffle json

* Clean argument dosc for truffle

* Update manticore/ethereum/manticore.py

Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>

* Update manticore/ethereum/manticore.py

Necessary for 9a93cc5

* Add check for byte type and fix f string

* New lib linking bugfix

* Ability to pass constructor arguments to a Truffle JSON contract (#1376)

* Added sampling capabilities to RETURN.size

* Update manticore/ethereum/manticore.py

Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>

* Update manticore/ethereum/manticore.py

Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>
1 parent 4d0cfd4
History
Tip revision: 3a460d528d5eb3ceee6d284c9b4337052f50afcb authored by feliam on 18 March 2019, 18:50:56 UTC
Load truffle json artifacts (#1376)
Tip revision: 3a460d5
File Mode Size
.github
docs
examples
manticore
scripts
tests
.codeclimate.yml -rw-r--r-- 1.1 KB
.coveragerc -rw-r--r-- 46 bytes
.gitignore -rw-r--r-- 1.1 KB
.travis.yml -rw-r--r-- 1.4 KB
CHANGELOG.md -rw-r--r-- 20.1 KB
CONTRIBUTING.md -rw-r--r-- 2.2 KB
Dockerfile -rw-r--r-- 771 bytes
LICENSE -rw-r--r-- 33.7 KB
README.md -rw-r--r-- 8.3 KB
readthedocs.yml -rw-r--r-- 51 bytes
setup.cfg -rw-r--r-- 49 bytes
setup.py -rw-r--r-- 1.5 KB
tox.ini -rw-r--r-- 464 bytes

README.md

back to top