Commit Graph

4086 Commits (pending-opcodes)
 

Author SHA1 Message Date
Bernhard Mueller 5448e48f68
Merge pull request #1097 from ConsenSys/docs/update_cli 5 years ago
Bernhard Mueller 9e59d4ec1d Remove report tests in favor of Edelweiss tests 5 years ago
Nikhil Parasaram 261fa6e337
Merge branch 'develop' into docs/update_cli 5 years ago
Nikhil Parasaram 85ad60638d Merge branch 'develop' of github.com:ConsenSys/mythril into backward_compatible 5 years ago
Nikhil Parasaram bb3c231ac4
Improve reporting (#1101) 5 years ago
Nikhil Parasaram 9476b8460f Merge branch 'develop' of github.com:ConsenSys/mythril into backward_compatible 5 years ago
Nikhil Parasaram 45ed3e3a14 Revert "Improve reporting" 5 years ago
Nikhil Parasaram 7d69233fcd Support for old cli 5 years ago
Nikhil Parasaram b35b18e4aa
Merge branch 'develop' into docs/update_cli 5 years ago
Bernhard Mueller 4455b6ff4c Merge branch 'develop' of github.com:ConsenSys/mythril into add_tx_traces 5 years ago
Bernhard Mueller 3eabab5510 Update expected test outputs 5 years ago
Nikhil Parasaram 4f257422b8 Rename print_storage variable 5 years ago
Nikhil Parasaram 7c0c4d3c7b Fix deepcopy issue 5 years ago
Bernhard Mueller 88faed3fd8 Improve output formatting 5 years ago
Bernhard Mueller 2c73224bd5 Add transaction trace to markdown output 5 years ago
Bernhard Mueller aa3ce53cd8 Add transaction trace to text output 5 years ago
Bernhard Mueller fd5e1c59cf Remove unused list 5 years ago
Bernhard Mueller 3ebd6949c6 Get rid of --verbose-report flag 5 years ago
Nikhil Parasaram ec402a9330 Fix the onsite storage access 5 years ago
Nikhil Parasaram 3912122cf4
Remove plugin line 5 years ago
Nikhil Parasaram 7f2a598f70 Update storage tests 5 years ago
Nikhil Parasaram ecac6e8b77 Fix type hints 5 years ago
Nikhil Parasaram edb906d391 revert the timeout to normal 5 years ago
Nikhil Parasaram efd7c95f86 Use different SMT array for each map 5 years ago
Nikhil Parasaram 7edb263fce Improve reporting 5 years ago
Bernhard Mueller 5f11a0f38d Pass loop bound arg trough to MythrilAnalyzer 5 years ago
Bernhard Mueller 39aa6ca94e
Merge branch 'ether_thief_fix' into develop 5 years ago
Bernhard Mueller 83fe9ce6f9 Improve constraints on Ether Thief module 5 years ago
Nikhil Parasaram f287f505a3 Update docs after cli refactor 5 years ago
Nikhil Parasaram ae26b1462d
Refactor cli (#1033) 5 years ago
Nikhil Parasaram fd397ed232 Add new tests, fix an edge case and improve code and help messages 5 years ago
Nikhil Parasaram 1b24009344 Merge branch 'refactor/cli' of github.com:ConsenSys/mythril into refactor/cli 5 years ago
Nikhil Parasaram 3579da81b0 Merge branch 'develop' of github.com:ConsenSys/mythril into refactor/cli 5 years ago
Nikhil Parasaram 5252a05524
Implement EXTCODECOPY (#928) 6 years ago
Bernhard Mueller d88defd7b1
Merge pull request #1094 from ConsenSys/develop 6 years ago
Bernhard Mueller 842f5370c5
Merge branch 'master' into develop 6 years ago
Nathan e4a6a4ce9e
Merge branch 'develop' into refactor/cli 6 years ago
Nikhil Parasaram dd7b255fc9 Fix storage 6 years ago
Bernhard Mueller e5b45060d2
Update __version__.py 6 years ago
Nikhil Parasaram 41c7ce03d8 Add help command 6 years ago
Nikhil Parasaram fc6c97c3e8 Refactor with black 6 years ago
Nikhil Parasaram 6172d55fc9 Fix previous errors 6 years ago
Nikhil Parasaram 33c9e4b484 Improve cli interface 6 years ago
Nathan 4b704766ee
Merge branch 'develop' into refactor/cli 6 years ago
Bernhard Mueller a871908a59
Merge pull request #1088 from ConsenSys/bugfix/storage_lookup 6 years ago
Bernhard Mueller ee83a1aaaa
Merge branch 'develop' into bugfix/storage_lookup 6 years ago
Nathan fb8fd23b2d
Merge pull request #1059 from ConsenSys/bugfix/1055 6 years ago
Nathan 3a630363b1
Merge branch 'develop' into bugfix/1055 6 years ago
Nathan 49ef7482ba Apply black 6 years ago
Nathan ee71086f98
Merge branch 'develop' into bugfix/storage_lookup 6 years ago