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

3919 Commits (24e27412fd30d239d61747dd1c55269cab807d45)
 

Author SHA1 Message Date
Bernhard Mueller c7e401c6bc Ohoo black
6 years ago
Bernhard Mueller 84849b734b Remove loggimng
6 years ago
Bernhard Mueller c419cd9430 Merge branch 'dependence' of github.com:ConsenSys/mythril-classic into dependence
6 years ago
Bernhard Mueller a3f951d9c7 [WIP] refactor to use annotations
6 years ago
JoranHonig 6149e1809e
Merge branch 'develop' into dependence
6 years ago
Joran Honig 5ec39fdce5 Revert "Change timeout logic"
6 years ago
JoranHonig 8e92dcb412
Merge branch 'develop' into global_timeout
6 years ago
Dr. Sergey Pogodin 1fe3a8876f FIX: Restricts `eth-account` package version to be <=0.3.0
6 years ago
Dr. Sergey Pogodin 3e4e4a2517 FIX: Restricts `eth-account` package version to be <=0.3.0
6 years ago
Bernhard Mueller e6254b9edb Revert log.info -> log.debug
6 years ago
Bernhard Mueller 444cee6494 Black
6 years ago
Bernhard Mueller 409d2171ca Refactor predictable vars module
6 years ago
Bernhard Mueller 501c774486 Merge branch 'develop' of github.com:ConsenSys/mythril-classic into develop
6 years ago
JoranHonig 9c6d8420c6
Merge pull request #1028 from ConsenSys/remove/mythril.py
6 years ago
Nikhil Parasaram 4180870117 Remove mythril due to some merge conflicts
6 years ago
Bernhard Mueller c19f54e17d Black %#;.@&%^&
6 years ago
Bernhard Mueller f79342ef04 Global execution timeout
6 years ago
JoranHonig 7a6463aaee
Merge pull request #1022 from ConsenSys/bugfix/stop
6 years ago
Nikhil Parasaram b1ecbdc929 Handle return_data=None case
6 years ago
Bernhard Mueller fda18b3e77 Change timeout logic
6 years ago
JoranHonig e08ce7e785
Merge pull request #1016 from ConsenSys/features/disable_fp_filter
6 years ago
JoranHonig 3095a5efcf
Merge branch 'develop' into features/disable_fp_filter
6 years ago
Joran Honig ec0794a54b add return character
6 years ago
Joran Honig 271eda6111 Disable effect check feature
6 years ago
Dr. Sergey Pogodin 2348c75a58 Sets up integration tests
6 years ago
JoranHonig 27af71c34b add create2 opcode to hooks (#1006)
6 years ago
Nikhil Parasaram 5b2dbd9b94
Send the transaction count to the Analyzer (#998)
6 years ago
JoranHonig 0ff82e7e7e
Merge pull request #919 from ConsenSys/enhance/886
6 years ago
JoranHonig 10cbe0e48e
Merge branch 'develop' into enhance/886
6 years ago
Ooqu4 8967ea3090 Fix some minor typos (#1003)
6 years ago
Nikhil Parasaram 44ed641f81
Update mythril to 0.20.4
6 years ago
Bernhard Mueller 819747128d
Merge pull request #1002 from ConsenSys/bugfix/source_list
6 years ago
Nikhil Parasaram 7af06fe6f9 Add the runtime bytecode to source list
6 years ago
Nikhil Parasaram 8254bf1f5c
Merge pull request #1000 from ConsenSys/fix/log-format
6 years ago
Dominik Muhs 7adb14c329 Fix cli log format
6 years ago
Dominik Muhs 6b70e1e10a Fix jsonv2 log format
6 years ago
Nikhil Parasaram 228ea789ed Remove the annotation removal
6 years ago
Nikhil Parasaram 931432ad85 Use statechange address
6 years ago
JoranHonig 0615a2a219
Merge pull request #997 from ConsenSys/bugfix/ret
6 years ago
Nikhil Parasaram 38daa586bd Add creation hash to the code
6 years ago
Nikhil Parasaram d42153f592
Merge pull request #971 from ConsenSys/jsonv2fix
6 years ago
Nikhil Parasaram 1a5a761bb6 Fix the merge conflict problem
6 years ago
Nikhil Parasaram aba7e32edf Fix merge conflicts
6 years ago
JoranHonig e314bfc990
Merge branch 'develop' into enhance/886
6 years ago
Nikhil Parasaram ca1c496bae Fix annotation problem
6 years ago
Nikhil Parasaram f4893eea65
Merge pull request #994 from ConsenSys/enhance/w/886
6 years ago
Joran Honig 19c12ca685 make typehint compatible with 3.5
6 years ago
Joran Honig 672fcd6c0d make sure the target address is higher than 16
6 years ago
Joran Honig 056e105bee refactor state change after external call module
6 years ago
Joran Honig e2b34eec8c refactor _balance_change to work with bitvec
6 years ago