1442 Commits (7dc9b4b6d645715ab7686c065b7440248ff784b1)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	f3667f7e25	Merge branch 'master' into master	7 years ago
Bernhard Mueller	1f982be39d	Bump version number	7 years ago
Bernhard Mueller	bff4c94fc5	Update README.md	7 years ago
Bernhard Mueller	873f7be5af	Update README.md	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
Bernhard Mueller	58eadb9cf6	Merge pull request #173 from tintinweb/refactor/main ... Refactor main, clean-up and create a Mythril interface class that can be reused for scripting or other purposes	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	94f11c482c	Merge branch 'refactor/main' of https://github.com/tintinweb/mythril into refactor/main	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
Bernhard Mueller	dbd07e7782	Merge pull request #168 from tintinweb/feat/main ... Allow to call mythril as a module via python3 -m mythril <args>	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
Bernhard Mueller	584aeb1583	Update README.md	7 years ago
Bernhard Mueller	8605d25279	Merge pull request #164 from JoranHonig/features/integeroverflow ... Ignore added fp checks for now	7 years ago
Bernhard Mueller	8a419050ef	Merge pull request #165 from porkchop/master ... fix dockerfile	7 years ago
Aaron Caswell	c5020c3801	fix dockerfile	7 years ago
Joran Honig	f7b2bcead9	Ignore reachability for now	7 years ago
Joran Honig	2dd937101a	Merge remote-tracking branch 'origin/features/integeroverflow' into features/integeroverflow	7 years ago
Joran Honig	26a9871d33	Ignore requires checking	7 years ago
Bernhard Mueller	d710a9b23c	Merge pull request #161 from JoranHonig/features/integeroverflow ... [wip] Integer false positive detection	7 years ago
Bernhard Mueller	ef4f8da0f4	Merge pull request #162 from JoranHonig/features/tod ... Implement transaction order independence	7 years ago
Joran Honig	53587d2cf8	Add exception handler to tod module and adapt tests	7 years ago
JoranHonig	5f7418721a	Revert change on config.yml	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	6f6bd6b13b	Bump version number	7 years ago
Bernhard Mueller	b3eb8e6029	Fix reporting crash in on-chain analysis	7 years ago
Bernhard Mueller	42a86ff966	Bump version number	7 years ago
Bernhard Mueller	12a564df38	Merge branch 'master' of github.com:ConsenSys/mythril	7 years ago
Bernhard Mueller	8cad513eb9	Bump version number	7 years ago
Bernhard Mueller	2172bbd0ac	Merge pull request #157 from JoranHonig/bugfix/mul_overflow ... Remove spaces from check taint ( as these can mess with taint checkin…	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
Bernhard Mueller	80e4b7cbbf	Merge pull request #154 from JoranHonig/features/testoptimization ... Remove rubixi files	7 years ago
Joran Honig	be1621f3ac	Remove all rubixi related files from tests	7 years ago
Joran Honig	ff6b11b1f7	Remove rubixi contract	7 years ago