TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
2738 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: 792ef1c058
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '792ef1c058'
${ noResults }
Commit Graph

2738 Commits (792ef1c058b00c886b1558fa23db12ace5b566c3)
 

Author SHA1 Message Date
Bernhard Mueller 792ef1c058 Remove reassignment of description in delegatecall.py
6 years ago
Nikhil Parasaram eb19d8a170 Fix the standard json tests for json check
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
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
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 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
Nathan 7c61a69385
Merge branch 'develop' into report_issues_after_error
6 years ago
Nikhil Parasaram 6b58164bda
Merge pull request #837 from nbanmp/unchecked_retval
6 years ago
Nathan 5ec954ea9e Fix missed address
6 years ago
Nathan a7fa720270 Update testcases with correct addresses
6 years ago
Nathan ef06822ba2
Merge branch 'develop' into unchecked_retval
6 years ago
Nikhil Parasaram 59d120456d
Merge pull request #835 from nbanmp/staticcall_fix_pops
6 years ago
Nathan d82c50cc10
Merge branch 'develop' into staticcall_fix_pops
6 years ago
Nikhil Parasaram d4e994904b
Merge pull request #840 from ConsenSys/bugfix/839
6 years ago
Nathan a5a83253f4 Check if call is native inside native_call function
6 years ago
Nathan f3fb40f50b Default pre_hooks and post_hooks to empty list
6 years ago
Nikhil Parasaram 0094d210b6 Put BitVecVals into the storage
6 years ago
Nathan 92b2e71d04 Refactor unchecked_retval module with callbacks
6 years ago
Nathan a01989a3bb Add support for modules with post hooks
6 years ago
JoranHonig e000194a8f
Merge pull request #834 from ConsenSys/features/integer_callback
6 years ago
Bernhard Mueller d545ec00e0
Merge branch 'develop' into features/integer_callback
6 years ago
Joran Honig e0cdd517de reformat json reports to pretty format
6 years ago
Joran Honig 1f39f67a1d Merge branch 'features/integer_callback' of github.com:ConsenSys/mythril-classic into features/integer_callback
6 years ago
Joran Honig 8bbfa4006e cleanup try constraints function
6 years ago