mythril

Author	SHA1	Message	Date
Bernhard Mueller	a502e92185	Add optional address argument to load_from_bytecode	6 years ago
Bernhard Mueller	ec9d0d8fc9	Remove config.ini (again)	6 years ago
Bernhard Mueller	f1d7c32e45	Delete config.ini	6 years ago
Bernhard Mueller	40bb82f014	Set default tx count to 2, set tx count in graph tests to 1	6 years ago
Dominik Muhs	e07bdbd739	Add 4byte signatures and small DB optimizations (#707 ) * Add fresh signatures * Update signature file handler * Add signatures to test and remove trailing whitespaces in issues * Add new signatures to test file * Add minor signature db refactoring * Fix test descriptions * Make signature DB singleton for large-file performance * Fix external call module description typo * Refactor error message data into signature DB	6 years ago
Bernhard Mueller	2051cfcb2f	Remove config.ini	6 years ago
Bernhard Mueller	62ff1f44fe	Move 'strategy' argument to 'options'	6 years ago
Joran Honig	288a427924	remove signatures	7 years ago
Joran Honig	6d364d0144	Use proper taint analysis from laser	7 years ago
freewind	73096acfa2	make sure use same signatures.json in every test	7 years ago
freewind	01aef7783c	Fix some issues per viewers' advices	7 years ago