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

3541 Commits (1204e80863e67ac1eebf41dbebc41f7fc0c5cb00)
 

Author SHA1 Message Date
Bernhard Mueller 474582f826 General refactoring
6 years ago
JoranHonig 9da4708c32
Merge pull request #1032 from ConsenSys/features/filter_precompile_externalcall
6 years ago
JoranHonig e1c4ec8b70
Merge branch 'develop' into features/filter_precompile_externalcall
6 years ago
Bernhard Mueller 5e092a6d7b Merge branch 'develop' of github.com:ConsenSys/mythril-classic into dependence
6 years ago
Joran Honig 6887fbdc06 move constraint creation out of try context
6 years ago
Bernhard Mueller 00de533507 Hopefully fix CircleCI complaint
6 years ago
Bernhard Mueller 07ab25323c Don't attempt to access annotations from concrete ints
6 years ago
Bernhard Mueller b14efd30b1 Remove debugging (and take a break)
6 years ago
Bernhard Mueller f2eae2f092 Minor changes
6 years ago
Bernhard Mueller c35b6b35bd Correctly propagate annotations in sha3 (from indexed memory)
6 years ago
Bernhard Mueller 982cb8ee74 Narrow down findings to instances of CALL and SUICIDE reached via predictable control flow decision
6 years ago
Dr. Sergey Pogodin 7716a2a414 Temporary disables full Edelweiss test + up to 5 retries of the quick one
6 years ago
Bernhard Mueller 1b891fafae Fix wrong instantiation of OldBlockNumberUsedAnnotation
6 years ago
Bernhard Mueller dc1963c316 Improve report formatting
6 years ago
Bernhard Mueller 3d35f905e4 Traditionally, add black formatting
6 years ago
Bernhard Mueller cad6f5ae35 Add differentiation between blockhash of previous and current/future block numbers
6 years ago
Bernhard Mueller 9175a1975f First implementation of blockhash handling
6 years ago
Joran Honig 31fd66acf5 ignore external calls to precompile contracts
6 years ago
JoranHonig cd93bd789d
Merge pull request #1031 from ConsenSys/rename/var
6 years ago
Bernhard Mueller c8aad25921 Merge branch 'develop' of github.com:ConsenSys/mythril-classic into dependence
6 years ago
Nikhil Parasaram 58dad6c23f Change the variable name of full_contract_source
6 years ago
Nikhil Parasaram 584064d150
Set low priority to other internal compiler generated code (#975)
6 years ago
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