1125 Commits (c3b7b1b6c5f702de8a6b7aab15e31d48cffdedad)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	c3b7b1b6c5	Bump laser version	7 years ago
Bernhard Mueller	d6507bc2b6	Bump laser version	7 years ago
Bernhard Mueller	49cf3b8f78	Merge pull request #192 from JoranHonig/bugfix/test ... Bugfix integeroverflow	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
Bernhard Mueller	9f56ebc5af	Merge pull request #188 from roschler/master ... Minor typo in Readme.md	7 years ago
Robert Oschler	586b321a94	Merge pull request #1 from roschler/roschler-minor-typo-1 ... Update README.md	7 years ago
Robert Oschler	7b6e2d6338	Update README.md ... Simple, minor typo in the Readme.	7 years ago
Bernhard Mueller	a1329d3235	Merge pull request #184 from JoranHonig/feature/taint_integer ... Changes integer overflow module so that it uses TaintRunner from laser	7 years ago
Joran Honig	288a427924	remove signatures	7 years ago
Joran Honig	b3da975d4f	remove toy	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	52ab65154c	Update unit test	7 years ago
Bernhard Mueller	3a43b0334e	Revert change in int overflow module	7 years ago
Bernhard Mueller	88a456c1d4	Bump LASER version	7 years ago
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