71 Commits (960b7f1f5a12800312b6da6af3f00ebca0de8e4d)

Author	SHA1	Message	Date
Bernhard Mueller	960b7f1f5a	Update tests	6 years ago
Dominik Muhs	0e9e4bf0b1	SQLite Signature DB (#758) ... * Add first version of sqlite signature db * Adapt truffle module to new signature db * Fix tests * Remove old DB code * Apply black * Add sqlite dev dependency * Add sqlite dev dependency * Add more type hints * Apply black * Adapt old naming in manifest and gitignore * Add minor fixes to signature DB * Add repr to signature db * Apply black * Add mythril dir env var * Replace __del__ with SQLite context manager * Add SQLite context manager repr and fix test imports * Apply black * Fix nasty test path issue * Add reentrancy signature to db for tests * Call base setUp in evm contract tests * Remove redundant return	6 years ago
Bernhard Mueller	c9ff1010ea	Format metacoin.sol.o.json	6 years ago
Bernhard Mueller	408686e739	Fix test files formatting	6 years ago
Bernhard Mueller	0ed27369c7	Pretty-print tests	6 years ago
Bernhard Mueller	d41b6e2676	Update tests	6 years ago
Bernhard Mueller	ebf4eaa51c	Remove crappy metacoin sample	6 years ago
Bernhard Mueller	480e7d5665	More charming report descriptions	6 years ago
Bernhard Mueller	80c7e75862	Fix log line, update test outputs	6 years ago
Bernhard Mueller	dc098ee1bc	Pretty-print ether_send.json	6 years ago
Bernhard Mueller	14888bf542	Resolve conflict and pretty-print json file	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	dbf0ee0b92	Update tests	6 years ago
Dominik Muhs	1fdd07a254	Add gas simulation to LASER (#660)	6 years ago
Bernhard Mueller	2fdc2878e8	Refactor Ether Send Module (#696) ... * Refactor ether_send -> ether_thief and update tests * Commit file change missed previously * Remove unused import and fix formatting * Fix expected output in Truffle test	6 years ago
Dominik Muhs	ce8c82f0f2	Fix JSON report tests	6 years ago
rocky	4befdd368e	Adjust text format to pull swc-id	6 years ago
Dominik Muhs	45a8543d78	Merge latest develop branch into 'feature/type-hints-develop'	6 years ago
Dominik Muhs	f7ab134608	Merge latest develop branch	6 years ago
rocky	275cf95e17	Bow to the CI god	6 years ago
rocky	3d87cf8d19	Bow to the CI god	6 years ago
Joran Honig	adeec0264f	subtraction typo fix	6 years ago
Joran Honig	06f92f64cd	remove unintended ouputs current	6 years ago
Joran Honig	9fe0964f35	merge fixes	6 years ago
Dominik Muhs	524c10a8c8	Merge develop into dmuhs/type-hints	6 years ago
Nikhil Parasaram	ffbee7f760	Change the issue descriptions	6 years ago
Nikhil Parasaram	dc09c2e94f	Change the issue description	6 years ago
JoranHonig	468551da53	Refactor ether send (#622) ... * Ether send module to work based on the newer version of laser * update tests * Change test to check for different string, as the description changed * fix double is able * black	6 years ago
Marcus Mönnig	39ace87e87	Add <!DOCTYPE> and <TITLE> tags	6 years ago
Nikhil Parasaram	c105b17211	Remove %s in the text test	6 years ago
Nikhil Parasaram	5e48355d49	Remove the %s in markdown test	6 years ago
Nikhil Parasaram	a939a3255a	Update origin.sol.o.json	6 years ago
Nikhil Parasaram	296da3a54a	Add swc id to mythril report	6 years ago
Joran Honig	9b6325b44d	Update test files	6 years ago
Joran Honig	2d1c59e024	change tests to reflect changes in laser and analysis modules	6 years ago
Joran Honig	5734b7808d	Run using signatures.example	6 years ago
Joran Honig	2d676fb7cd	add environment overflow tests	6 years ago
Joran Honig	b38ba4e6b9	Regenerate json to include contract name	6 years ago
JoranHonig	631ebe07b7	Worklist implementation (#288) ... Refactor laser to work with a worklist vs a simple loop	6 years ago
Dr. Sergey Pogodin	a2998f5b50	Revert "Revert "Merge pull request #296 from norhh/branch/295"" ... This reverts commit 8a3a74da10.	7 years ago
Nikhil Parasaram	8a3a74da10	Revert "Merge pull request #296 from norhh/branch/295" ... This reverts commit 6428d9b8cf, reversing changes made to 35ff192db1.	7 years ago
Nikhil Parasaram	5ee53db95b	Remove extra space in integer overflow output field	7 years ago
Dr. Sergey Pogodin	8ccdadb2fa	Update of expected test results for `nonascii.sol` test ... Fix for #244	7 years ago
Josh Asplund	f5a46ef7bc	Fixes issues with python 3.5 dict ordering	7 years ago
kyle	6f72fa915e	Updated test files to reflect the fixed typo	7 years ago
Josh Asplund	71e512a682	An extra newline was being added by the editor	7 years ago
Bernhard Mueller	141fec3d11	Fix function names in CFG	7 years ago
Jeffrey Tong	addfe13d4f	fix typo adresses to addresses	7 years ago
Bernhard Mueller	ac8110d325	Remove weak_random.sol from tests	7 years ago
Joran Honig	53587d2cf8	Add exception handler to tod module and adapt tests	7 years ago