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

1080 Commits (fb5ab6f0e1177a4c8d8ebf79377e60abfeb61e9b)
 

Author SHA1 Message Date
tintinweb fb5ab6f0e1 build exception hierarchy from MythrilBaseException
7 years ago
Bernhard Mueller dbd07e7782
Merge pull request #168 from tintinweb/feat/main
7 years ago
tintinweb 3bbb9b931f added support for python3 -m mythril <cmdline params>
7 years ago
Bernhard Mueller 584aeb1583
Update README.md
7 years ago
Bernhard Mueller 8605d25279
Merge pull request #164 from JoranHonig/features/integeroverflow
7 years ago
Bernhard Mueller 8a419050ef
Merge pull request #165 from porkchop/master
7 years ago
Aaron Caswell c5020c3801 fix dockerfile
7 years ago
Joran Honig f7b2bcead9 Ignore reachability for now
7 years ago
Joran Honig 2dd937101a Merge remote-tracking branch 'origin/features/integeroverflow' into features/integeroverflow
7 years ago
Joran Honig 26a9871d33 Ignore requires checking
7 years ago
Bernhard Mueller d710a9b23c
Merge pull request #161 from JoranHonig/features/integeroverflow
7 years ago
Bernhard Mueller ef4f8da0f4
Merge pull request #162 from JoranHonig/features/tod
7 years ago
Joran Honig 53587d2cf8 Add exception handler to tod module and adapt tests
7 years ago
JoranHonig 5f7418721a
Revert change on config.yml
7 years ago
Joran Honig e87dc5c454 Revert change
7 years ago
Joran Honig 57fae13156 Don't do fp detection for mul statements
7 years ago
Joran Honig 8d109b728f Add len(children) check, in case we have come to the end of the analysis tree
7 years ago
Joran Honig 9258173b92 Reenable underflow check
7 years ago
Joran Honig a0b91da20a Add reacheability check and check if the expression is used in a requires statement
7 years ago
Joran Honig 07e07f549c Add method that checks if an interesting state is actually caused by a
7 years ago
Joran Honig 6b968ac4a5 Add constraint checking to search children function, as we only
7 years ago
Bernhard Mueller 6f6bd6b13b Bump version number
7 years ago
Bernhard Mueller b3eb8e6029 Fix reporting crash in on-chain analysis
7 years ago
Bernhard Mueller 42a86ff966 Bump version number
7 years ago
Bernhard Mueller 12a564df38 Merge branch 'master' of github.com:ConsenSys/mythril
7 years ago
Bernhard Mueller 8cad513eb9 Bump version number
7 years ago
Bernhard Mueller 2172bbd0ac
Merge pull request #157 from JoranHonig/bugfix/mul_overflow
7 years ago
Joran Honig 786df04aac Use different re function
7 years ago
Joran Honig 6c096bd2bb Clean up imports
7 years ago
Joran Honig fa618d111d Rename things and documentation
7 years ago
Joran Honig 9654c937f5 Clean up execute statement
7 years ago
Joran Honig 41c116359d Initial tod working version
7 years ago
Joran Honig 1869c83cc5 Init tod
7 years ago
Joran Honig c36afcc487 Remove spaces from check taint ( as these can mess with taint checking ). And swap op0 and op1 as it seems that z3 does this as well
7 years ago
Joran Honig 64ea5678eb Init tod detection
7 years ago
Bernhard Mueller 80e4b7cbbf
Merge pull request #154 from JoranHonig/features/testoptimization
7 years ago
Joran Honig be1621f3ac Remove all rubixi related files from tests
7 years ago
Joran Honig ff6b11b1f7 Remove rubixi contract
7 years ago
Bernhard Mueller e387cf5373
Merge pull request #153 from dappsec/patch-1
7 years ago
dappsec 696b13e2f3
Typo fix: it's -> its
7 years ago
Bernhard Mueller 8144ea44c0 Bump version number
7 years ago
Bernhard Mueller b65c647fcc
Merge pull request #150 from JoranHonig/bugfix/missingversion_setuppy
7 years ago
Bernhard Mueller 05216a91d7
Merge pull request #151 from JoranHonig/bugfix/integer_overflow_double_int
7 years ago
Bernhard Mueller 80c8195e76
Merge pull request #149 from JoranHonig/features/testoptimization
7 years ago
Joran Honig cc1978d264 Change ints to bitvec
7 years ago
Joran Honig d0df9ffdac Define version for rlp
7 years ago
Joran Honig f44b849be4 Use cpu count to initialize the pool and use all input files
7 years ago
Joran Honig 9c2af07936 Documentation for private test functions
7 years ago
Joran Honig 94e823bf48 Clean up reports_test
7 years ago
Joran Honig 5edcd0ddcd Include error message which describes the difference between the expected and actual output
7 years ago