Commit Graph

3536 Commits (7a5a3cf38afd4b5b16b01d6e027b1bb363d35943)
 

Author SHA1 Message Date
Nikhil Parasaram 35ddf21b94 Fix most of the type hint errors in instructions.py file 6 years ago
Nikhil Parasaram b57017832c Fix all svm errors in mypy 6 years ago
Nikhil Parasaram a25d782b90 Fix type hinting to mythril module and fix typehints in svm, disassembler, state modules 6 years ago
Nikhil Parasaram 5ae1052bdf reformat setup.py with black 6 years ago
Nikhil Parasaram ef2a56c898 Merge with develop 6 years ago
Nikhil Parasaram ddcbdf5d07 Fix merge conflicts 6 years ago
Nikhil Parasaram 4540a4e3e2 Use /root/ to copy over ~ 6 years ago
Nikhil Parasaram 852c9b5bc1
Merge pull request #888 from ConsenSys/bugfix/docker-dev 6 years ago
Nikhil Parasaram e5b8b8cfae Copy the signatures file to docker's mythril home 6 years ago
Nikhil Parasaram 4592a6bf5d Copy the signatures file to .mythril in Dockerfile 6 years ago
Nikhil Parasaram cc100ced90 Merge branch 'develop' of github.com:ConsenSys/mythril into bugfix/873 6 years ago
Nikhil Parasaram 8bbfa04133 Move signatures.db to assets and also copy signatures to .mythril home directory 6 years ago
JoranHonig 8366ad4965
Merge pull request #849 from hzzhang/hzzhang/iprof 6 years ago
JoranHonig 717826ff47
Merge branch 'develop' into hzzhang/iprof 6 years ago
Nikhil Parasaram ffcc2aeb34 Eliminate 0x in the bytecode while searching for offset 6 years ago
Nikhil Parasaram 94e52b75e1
Merge pull request #872 from nbanmp/dynld_bugfix 6 years ago
Nikhil Parasaram c398e48a01
Merge branch 'develop' into dynld_bugfix 6 years ago
Nikhil Parasaram bb14aca266
Merge pull request #884 from ConsenSys/bugfix/877 6 years ago
Nikhil Parasaram 1a105dea05
Merge branch 'develop' into bugfix/877 6 years ago
JoranHonig 712c9ba395
Merge pull request #880 from JoranHonig/features/return_array_of_issue_templates 6 years ago
Dimitar Bounov 88782d2432 Add BaseSolver class and restructure Solver and Optimize as children to get more precise type information. Tighten typing of BaseSolver.add and BaseSolver.append; Fix PEP8 nits 6 years ago
JoranHonig b236f5204c
Merge branch 'develop' into features/return_array_of_issue_templates 6 years ago
Dimitar Bounov dca634a2a1 Remove Python 3.6 style class member type hints from Array 6 years ago
Dimitar Bounov d9de7a86c7 Convert some type names to strings to avoid breaking runtime 6 years ago
Dimitar Bounov cfc4746291 Fix formatting 6 years ago
Dimitar Bounov 4c1ddb9fbe Add z3 mypy stubs; Add types to mythril/laser/smt/*.py 6 years ago
Joran Honig 9a91fc8c31 indent test results jsonv2 6 years ago
Nikhil Parasaram 7b32ef0a6e Add the return constraints to global state 6 years ago
Bernhard Mueller 7591080168
Merge branch 'develop' into features/prune 6 years ago
Nikhil Parasaram 35da4e4ce7 Change the movement directory 6 years ago
Nikhil Parasaram 180de41c2c Move signatures.db to mythril.support 6 years ago
Nathan 7402269b42
Merge branch 'develop' into hzzhang/iprof 6 years ago
Nikhil Parasaram 500aeb5df3
Merge pull request #869 from ConsenSys/enhance/optimize 6 years ago
Nikhil Parasaram 962a5f8711 Fix merge conflicts 6 years ago
Joran Honig 7611352d37 reformat code according to style rules 6 years ago
Joran Honig 5594e306fb adapt tests to changes in the new report 6 years ago
Joran Honig 65e412bae8 refactor report format to return array of the issue format 6 years ago
Nathan ff071dc28d
Merge branch 'develop' into dynld_bugfix 6 years ago
Joran Honig 430fb3c3d2 add missing check for execution timeout 6 years ago
Nikhil Parasaram 7779c0d5f5
Merge pull request #852 from ConsenSys/enhance/844 6 years ago
Nikhil Parasaram 8b19ff4bdb
Merge branch 'develop' into enhance/844 6 years ago
Nathan d086a3ed81 Return a retval for staticcall always 6 years ago
Nathan 59b5cc902d Fix staticcall natives return value too 6 years ago
Nathan 1c3de071cd Merge branch 'returndatacopy_returndatasize_implementations' of github.com:nbanmp/mythril into returndatacopy_returndatasize_implementations 6 years ago
Nathan ecfdcfd53a Cleanup returndatacopy and correctly constrain native return values 6 years ago
Nathan c9e6f0f69c
Merge branch 'develop' into dynld_bugfix 6 years ago
Nathan 9de814bcf9
Merge pull request #871 from nbanmp/delegatecall_special_case 6 years ago
Nikhil Parasaram eab736d3ef Add a function which returns address in integer module 6 years ago
Nikhil Parasaram b85f2592bd Remove the else condition to handle both creation code and runtime code 6 years ago
Nikhil Parasaram 7491fa6dbf Remove redundant If condition in report.py and remove postfix assignment in tests 6 years ago