417 Commits (71e512a68205ca47d530ddd3d480f8b40fb7dfce)

Author	SHA1	Message	Date
Josh Asplund	71e512a682	An extra newline was being added by the editor	7 years ago
Josh Asplund	45a8c47a10	Fixes newline spacing for tests	7 years ago
Josh Asplund	0c1c5c9fdd	Fixes newline mismatches in text tests	7 years ago
Josh Asplund	262461549d	Updates templating for markdown reports	7 years ago
Josh Asplund	aaf0b81091	Updates templating for text tests	7 years ago
Josh Asplund	16242116f2	Moves graph to callgraph	7 years ago
Bernhard Mueller	141fec3d11	Fix function names in CFG	7 years ago
Bernhard Mueller	35b618ee87	Improve CFG formatting	7 years ago
Joran Honig	284847f9e0	change import statement	7 years ago
Joran Honig	02f8527a3e	Issues should always be added, not only for solidity files	7 years ago
Joran Honig	8e4cd7f487	Use only one _try constraint call. Cleans up this method. Also add non zero checks to initial constraint (multiplication)	7 years ago
Joran Honig	93df00b669	Use is	7 years ago
Bernhard Mueller	4437588c29	Bump laser version	7 years ago
Bernhard Mueller	ed0381b61e	Remove debugging code	7 years ago
Bernhard Mueller	9c1a50ab57	Revert change - allow only a single statespace to be exported	7 years ago
Bernhard Mueller	3a43b0334e	Revert change in int overflow module	7 years ago
Bernhard Mueller	88a456c1d4	Bump LASER version	7 years ago
Jeffrey Tong	addfe13d4f	fix typo adresses to addresses	7 years ago
Joran Honig	46da1f05e9	When checking if we can influence a value we should not consider the ... overflow constraint as this will lead to false positives with ++ operations	7 years ago
Joran Honig	c9c905cca0	Add check requires step	7 years ago
Joran Honig	6d364d0144	Use proper taint analysis from laser	7 years ago
Bernhard Mueller	ac8110d325	Remove weak_random.sol from tests	7 years ago
Bernhard Mueller	5a69a52bf2	More flexible regex for replacing library placeholders	7 years ago
Joe	5fe1b5149d	adding exception in _can_change()	7 years ago
Bernhard Mueller	2b89856d2a	Revert graph generation code to process a single contract	7 years ago
tintinweb	4c21f2bcc1	fix invalid rval syntax	7 years ago
tintinweb	29bad797da	remove 'address' from Mytrhil init as it is not required	7 years ago
tintinweb	446a7e6346	refactored __main__ creating a base Mythril interface class ... the idea is that in the future this will be the main entry point to script mythril (see mythril/mythril.py - main interface) created user facing interface subpackage and moved console logic to cli.py changed myth to import from interfaces/cli (clean interface) changed __main__ to import from interfaces/cli (clean interface)	7 years ago
tintinweb	c0f4db1080	refactored __main__ creating a base Mythril interface class ... the idea is that in the future this will be the main entry point to script mythril (see mythril/mythril.py - main interface) created user facing interface subpackage and moved console logic to cli.py changed myth to import from interfaces/cli (clean interface) changed __main__ to import from interfaces/cli (clean interface)	7 years ago
tintinweb	fb5ab6f0e1	build exception hierarchy from MythrilBaseException	7 years ago
tintinweb	3bbb9b931f	added support for python3 -m mythril <cmdline params> ... moved cli script 'myth' to __main__ and guarded main from accidential imports changed 'myth' to call '__main__.main()'	7 years ago
Joran Honig	f7b2bcead9	Ignore reachability for now	7 years ago
Joran Honig	26a9871d33	Ignore requires checking	7 years ago
Joran Honig	53587d2cf8	Add exception handler to tod module and adapt tests	7 years ago
Joran Honig	e87dc5c454	Revert change	7 years ago
Joran Honig	57fae13156	Don't do fp detection for mul statements	7 years ago
Joran Honig	8d109b728f	Add len(children) check, in case we have come to the end of the analysis tree	7 years ago
Joran Honig	9258173b92	Reenable underflow check	7 years ago
Joran Honig	a0b91da20a	Add reacheability check and check if the expression is used in a requires statement	7 years ago
Joran Honig	07e07f549c	Add method that checks if an interesting state is actually caused by a ... requires check	7 years ago
Joran Honig	6b968ac4a5	Add constraint checking to search children function, as we only ... want to look at reachable children	7 years ago
Bernhard Mueller	b3eb8e6029	Fix reporting crash in on-chain analysis	7 years ago
Joran Honig	786df04aac	Use different re function	7 years ago
Joran Honig	6c096bd2bb	Clean up imports	7 years ago
Joran Honig	fa618d111d	Rename things and documentation	7 years ago
Joran Honig	9654c937f5	Clean up execute statement	7 years ago
Joran Honig	41c116359d	Initial tod working version	7 years ago
Joran Honig	1869c83cc5	Init tod	7 years ago
Joran Honig	c36afcc487	Remove spaces from check taint ( as these can mess with taint checking ). And swap op0 and op1 as it seems that z3 does this as well	7 years ago
Joran Honig	64ea5678eb	Init tod detection	7 years ago