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

1416 Commits (897b0a66f6cafdaeaec882d80b68776866149702)
 

Author SHA1 Message Date
Joran Honig 80964a5d39 Use dfs by default
6 years ago
Joran Honig b797c3dce2 Add execution timeout parameter used to controll the duration of
6 years ago
JoranHonig 24280969b5
Merge pull request #331 from JoranHonig/features/coverage
6 years ago
JoranHonig ec3fcaef91
Merge pull request #334 from JoranHonig/bugfix/contract_names
6 years ago
Joran Honig 084b1ef955 Fix false
6 years ago
Joran Honig b38ba4e6b9 Regenerate json to include contract name
6 years ago
Joran Honig 390bd99b17 Add contract to as dict
6 years ago
Joran Honig 07acdd672e Merge remote-tracking branch 'upstream/master' into features/coverage
6 years ago
Joran Honig aa0f6064d5 Use sum_ vs sum
6 years ago
Nikhil Parasaram b9414cafcd
Merge pull request #310 from LoCorVin/feature/reformatsymindices
6 years ago
JoranHonig e57ef0d361
Merge pull request #332 from JoranHonig/features/solver_timeout_logging
6 years ago
Joran Honig d3ad937462 Load all contracts from file
6 years ago
Joran Honig e1552435e8 Add timeout logging to solver
6 years ago
Joran Honig b30e70235c Implement coverage measurement
6 years ago
Nikhil Parasaram e3a90d8321 Remove z3 from natives
6 years ago
Nikhil Parasaram ad69ad5fa4 Remove unused import
6 years ago
Nikhil Parasaram b013951fb6 Add an exception in native contracts
6 years ago
Joran Honig 65322ee7f7 Fix circular dependency
6 years ago
Konrad Weiss 704307890a Merge branch 'master' of https://github.com/ConsenSys/mythril into feature/reformatsymindices
6 years ago
Konrad Weiss f873d041ee Revert "Merge branch 'master' of https://github.com/LoCorVin/mythril into feature/reformatsymindices"
6 years ago
Konrad Weiss a8de6b1a55 Merge branch 'master' of https://github.com/LoCorVin/mythril into feature/reformatsymindices
6 years ago
Konrad Weiss ac818454ab Correcting the symetric variable formatting for calldatacopy
6 years ago
Nikhil Parasaram deb98df7c5 return a list for blockhash function
6 years ago
Nikhil Parasaram 9710715452 Merge branch 'master' of github.com:ConsenSys/mythril into bugfix/315
6 years ago
Nikhil Parasaram 740b73bed6 Store a BitVec when an exception occurs
6 years ago
Nikhil Parasaram bb29722a8f
Merge pull request #324 from JoranHonig/bugfix/worklist
6 years ago
Nikhil Parasaram 7eff17ae31
Merge pull request #308 from tintinweb/feat/online_sighash_lookup
6 years ago
Joran Honig 9b5bd6de77 Use base 16
6 years ago
tintinweb 6851754059 remove unnecessary comment (todo)
6 years ago
tintinweb 73efcffde2 rebase off master
6 years ago
tintinweb cdd2738397 result to online lookup can be ambiguous. use first item and note this
6 years ago
tintinweb 83c5eca66b added online lookup for signature hashes via 4bytes.directory
6 years ago
Nikhil Parasaram fb77530574
Merge pull request #316 from norhh/bugfix/315
6 years ago
Nikhil Parasaram c43aafee50 Merge branch 'master' of github.com:ConsenSys/mythril into bugfix/315
6 years ago
Joran Honig 7c638272cb Reverse comparison
6 years ago
Joran Honig 0a0e320612 Merge remote-tracking branch 'upstream/master' into bugfix/worklist
6 years ago
Joran Honig 09c41deb63 Fix node issue
6 years ago
Joran Honig c3d1eb85c3 Pass None as node
6 years ago
Joran Honig 290aaf8198 Add condition not 0
6 years ago
Nikhil Parasaram b259c5e6d4
Merge pull request #323 from norhh/fix
6 years ago
Nikhil Parasaram d0efd35ce2 connect to infura with -l
6 years ago
Nikhil Parasaram da6f8daf15
Merge pull request #317 from norhh/test_fix
7 years ago
Nikhil Parasaram 24fad14cbd fix ethereum to 2.3.1
7 years ago
Nikhil Parasaram 25f76368bc Support 0x0 for extcodesize
7 years ago
JoranHonig 88873206d1
Merge pull request #313 from JoranHonig/features/search_strategy_bfs
7 years ago
Joran Honig eb963d38fd Implement depth first search
7 years ago
JoranHonig a6e9a415d5
Merge pull request #312 from JoranHonig/features/search_strategy_dfs
7 years ago
Joran Honig b82717afed re add max depth for now
7 years ago
Joran Honig b973a1686f Add documentation and fix pop
7 years ago
Joran Honig 5c0e65b2d8 Implementation of a depth first search search strategy
7 years ago