1208 Commits (63366f7c0e9bc4877e99e8dd08a323f85d0563e1)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	eb3d869b4a	Update README.md	7 years ago
Bernhard Mueller	a55fdebe6a	Bump LASER version	7 years ago
Bernhard Mueller	37ed299f22	Update LASER version	7 years ago
Bernhard Mueller	8ea64004c3	Merge pull request #182 from trigun0x2/master ... Fix typo	7 years ago
Bernhard Mueller	75d644fbb0	Merge pull request #181 from JoranHonig/bugfix/integeroverflow ... Bugfix _verify_integer_overflow	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
Dr. Sergey Pogodin	ff775c91e5	Removes README_DEV.md and security_checks.md (moved to Wiki)	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	4c4de136c2	Bump version number	7 years ago
Bernhard Mueller	809b4d406d	Add HMTL templates to MANIFEST.in	7 years ago
Bernhard Mueller	0d257f76e6	Bump LASER version	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
Bernhard Mueller	e7c1d49e27	Merge pull request #178 from joewww/master ... adding exception in _can_change()	7 years ago
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