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

2698 Commits (ef06822ba2a883490169d205e3d57b1634b4afb4)
 

Author SHA1 Message Date
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
Nikhil Parasaram 6c33f03a5e
Merge pull request #828 from nbanmp/multiple_sends_callback_refactor
6 years ago
Nikhil Parasaram c86796c6fa
Merge branch 'develop' into multiple_sends_callback_refactor
6 years ago
Nathan 4aa15fef28 Add support for native contracts called through staticcall
6 years ago
Nathan 02c5715e8c Pop arguments for staticcall
6 years ago
Nathan 895ee4f6e0 Handle null Call
6 years ago
JoranHonig 82881c1268
Merge branch 'develop' into features/integer_callback
6 years ago
Joran Honig 69e03880e3 adapt expected outputs to changes in the integer module
6 years ago
Joran Honig 94b757e213 Set execution timeout to be lower
6 years ago
Joran Honig e8b12ec0bc remove type hint that is incompatible with 3.5
6 years ago
JoranHonig 5518400586
Merge pull request #832 from ConsenSys/hotfixes
6 years ago
Joran Honig 9a27400dbb add simplify statements so false checks work correctly
6 years ago
Nikhil Parasaram 49748fecbb Merge branch 'hotfixes' of github.com:ConsenSys/mythril into hotfixes
6 years ago
Nikhil Parasaram 4c53651ca3 Pass the annotations
6 years ago
Joran Honig 177b333aea refactor integer module to work based of callbacks
6 years ago
Joran Honig 5d931dedc8 adapt iszero implementation to push bitvec
6 years ago
Nikhil Parasaram 78a8282f93
Merge branch 'develop' into hotfixes
6 years ago
Nikhil Parasaram e0b8f5a813 Add the symbol factory method for Bool()
6 years ago
Nikhil Parasaram 51a1dc68f3
Merge pull request #833 from JoranHonig/bugfix/829_simplify
6 years ago
Joran Honig adedc5f69a use z3 simplify on variables extracted from z3.Model
6 years ago
Bernhard Mueller ff89b16074
Update README.md
6 years ago
Nikhil Parasaram 47539b68a1 Use mythril boolean variable for Or operation over python boolean variable
6 years ago
Nikhil Parasaram 8875758fd2 Add the missing None check for Call in delegate_call module
6 years ago
Nathan 13bc03e99b Improve multiple_sends documentation
6 years ago
Nathan 509c916a19 refactor multiple_sends.py with callbacks
6 years ago
Nikhil Parasaram ea876a8e29 Revert "Update version to v0.19.12"
6 years ago
Nikhil Parasaram 1691006cab
Update version to v0.19.12
6 years ago
Nikhil Parasaram 6d1ba201c3
Merge pull request #826 from ConsenSys/bugfix/823
6 years ago
Nikhil Parasaram fa5902cd63 Merge branch 'develop' of github.com:ConsenSys/mythril into bugfix/823
6 years ago
Nikhil Parasaram ab40c091a1 Correct the Manifest.ini path and moveback the signatures.db to mythril root
6 years ago
Nikhil Parasaram 95e4cc2309
update to version v0.19.11
6 years ago
Nikhil Parasaram f81f5369e7
Merge pull request #824 from ConsenSys/bugfix/823
6 years ago
Nikhil Parasaram eee4acde8f
Merge branch 'develop' into bugfix/823
6 years ago
JoranHonig 4417670ba6
Merge pull request #813 from JoranHonig/features/smt-abs-appl
6 years ago
JoranHonig 54eb37c7d3
Merge branch 'develop' into features/smt-abs-appl
6 years ago
Nikhil Parasaram a26c8c0ed0
Merge pull request #825 from ConsenSys/refactor/789
6 years ago
Nikhil Parasaram 346558834c Remove mistaken line
6 years ago