Commit Graph

3549 Commits (eaec4906bc3bdbbfb0cb484eed06f5854614a208)
 

Author SHA1 Message Date
Nathan 5c99537365 Remove now unneeded nested if 6 years ago
Nikhil Parasaram 2bb3845754 Fix the tests for statespace 6 years ago
Nikhil Parasaram 45f1a57c5f Save the entire statespace only when needed 6 years ago
Nikhil Parasaram cbe8f7eb25 Just send constraint list to nodes 6 years ago
Nikhil Parasaram fdb994b29a Merge branch 'develop' of github.com:ConsenSys/mythril into enhance/604 6 years ago
Bernhard Mueller c5a724fd75
Merge pull request #856 from ConsenSys/add_logging 6 years ago
Bernhard Mueller 5ed583e4b1 Merge branch 'add_logging' of github.com:ConsenSys/mythril-classic into add_logging 6 years ago
Bernhard Mueller df7ac2e582 Merge branch 'develop' of github.com:ConsenSys/mythril-classic into add_logging 6 years ago
Bernhard Mueller 89c5b4d9ea Black black black 6 years ago
Bernhard Mueller 17a88ffa61
Merge branch 'develop' into add_logging 6 years ago
Bernhard Mueller cfaa92f1f8 Log number of open states at start of TX 6 years ago
Nikhil Parasaram e7e2d5093f Add function name to node initialization 6 years ago
Nikhil Parasaram eb19d8a170 Fix the standard json tests for json check 6 years ago
Nathan 3ca73a0a49
Merge branch 'develop' into timeout 6 years ago
Nathan d5e1301922 Handle None execution_timeout 6 years ago
Nikhil Parasaram 907845c4d1 Add the standard json format tests 6 years ago
Nikhil Parasaram ff11d7236a Change the json tests 6 years ago
Nikhil Parasaram 2fe3fb36a4 Revert json to the previous format 6 years ago
Nikhil Parasaram dec371c62b
Merge pull request #854 from ConsenSys/feature/extend-circleci-webhook 6 years ago
Aleksandr Sobolev 9891441826 Configure call to webhook in Circle CI build 6 years ago
Bernhard Mueller a488f06457 Update tests 6 years ago
Bernhard Mueller 0299e12cce Fix typo 6 years ago
Bernhard Mueller 8f04960d4e Improve text report formatting 6 years ago
Nathan af298a218b Implement sigalrm timeout 6 years ago
Nikhil Parasaram a37e72745f Display the source code and reformat files with black 6 years ago
Bernhard Mueller eaf2aeb680
Merge branch 'develop' into enhance/844 6 years ago
Bernhard Mueller 1831ff3599 Complete refactor to head and tail 6 years ago
Nikhil Parasaram a15ad689c9
Merge pull request #851 from ConsenSys/bugfix/846 6 years ago
Bernhard Mueller c1fafb85a8 Update report texts 6 years ago
Bernhard Mueller b272b1eaa1 Merge remote-tracking branch 'origin/bugfix/846' into enhance/844 6 years ago
Nikhil Parasaram 5e7d149e0f Put BitVecVals in stack 6 years ago
Bernhard Mueller 55be0cf8fa Rewrite issue descriptions (WIP) 6 years ago
Bernhard Mueller 666607cabf Refactor '_type' to 'severity' 6 years ago
Bernhard Mueller 4f332df5c4 Add missing title, fix title capitalization 6 years ago
Bernhard Mueller e4dbb466e1 Split descriptions into head and tail 6 years ago
Bernhard Mueller 4f413fda77 Change srcmap length value to '1' 6 years ago
Bernhard Mueller 2de9c88c6e Map SWC ID to title 6 years ago
Bernhard Mueller 19aa4f2a1c Compute bytecode hash on issue initialization 6 years ago
Bernhard Mueller 3581d4e9bc Add jsonv2 output format 6 years ago
Bernhard Mueller bdf6c98fed Fully implement standard format 6 years ago
Nikhil Parasaram 298f7a8c9d use solc over solc-version 6 years ago
Nikhil Parasaram 01068332fc Merge branch 'develop' of github.com:ConsenSys/mythril into enhance/844 6 years ago
Nikhil Parasaram f9f8418688 Add the new json format 6 years ago
Nikhil Parasaram 31c8327373
Merge pull request #850 from ConsenSys/fix_docker_dev 6 years ago
Nikhil Parasaram b025fa813d Move eth-tester version 6 years ago
Bernhard Mueller 607aea0b7b
Update README.md 6 years ago
Bernhard Mueller a00aad5f0a
Update README.md 6 years ago
Bernhard Mueller 7f80ab772f
Update README.md 6 years ago
Nikhil Parasaram 543a9dc3b4
Merge pull request #831 from nbanmp/report_issues_after_error 6 years ago
Dominik Muhs 9ace97ba0e Add missing import 6 years ago