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

3685 Commits (ae26b1462d8144e6903faf4867761ace0f621b73)
 

Author SHA1 Message Date
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
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