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

4541 Commits (feature/update_solcx)
 

Author SHA1 Message Date
Nikhil Parasaram cc9a7d6ebc
Update mythril/laser/smt/__init__.py
5 years ago
Nikhil Parasaram a423c79f85
Update mythril/analysis/solver.py
5 years ago
Nikhil 856547fa97 Fix tests
5 years ago
Nikhil a5628219dc Don't handle concrete vals in keccak_func_manager
5 years ago
Nikhil 079840911c Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil 32ef5f475e Fix type hints
5 years ago
Nikhil Parasaram b21414294b
Merge branch 'develop' into storage/UIP
5 years ago
Nikhil 5d79fd399d Handle constructor args
5 years ago
Nikhil 60a1bafd63 Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil 0f15c76596 add some changes
5 years ago
Nathan 8ad33dd64d
Merge branch 'develop' into specify-attacker-creator-address
5 years ago
Nathan 29507e782a Fix types
5 years ago
Nikhil 33cab6830d Handle sha3() case
5 years ago
Nathan 66556519dc Add cli options to specify attacker and creator addresses
5 years ago
Nathan 8faee17db4
Merge pull request #1251 from ConsenSys/remove/old_cli
5 years ago
Nikhil Parasaram 08ec57ca5f
Merge branch 'develop' into storage/UIP
5 years ago
Nikhil Parasaram 3f4ee27c1f
Update mythril/laser/ethereum/state/world_state.py
5 years ago
Nikhil Parasaram 6c420e74df
Merge branch 'develop' into remove/old_cli
5 years ago
Nikhil 61214648f8 Fix epic test
5 years ago
Nikhil 33783a0b9d Remove old cli
5 years ago
Nikhil Parasaram 9515cc5dd2
Mythril v0.21.18
5 years ago
Nikhil Parasaram bbff2ff454
Refactor code by removing usused and repeated code (#1249)
5 years ago
Nikhil Parasaram 5f40a1839a
Fix symbolic calldata size when create (#1244)
5 years ago
Nathan f040fd8a14 Do not display creation input in markdown or text reports (#1242)
5 years ago
Nikhil Parasaram aaef40764c
Fix mypy issues (#1246)
5 years ago
Nikhil Parasaram 1cd49eb3b6
Catch stackunderflow exception before hitting analysis modules (#1234)
5 years ago
Nikhil Parasaram 0869cbf394
Add tests for extcodecopy (#1240)
5 years ago
Nathan 3d1b0e889d
Merge pull request #1239 from ConsenSys/fix/iprof-ctrlc
5 years ago
Nathan 73c6f8390a
Merge branch 'develop' into fix/iprof-ctrlc
5 years ago
Nikhil Parasaram 7a105e5dec
Py35 support (#1233)
5 years ago
Nathan 8e9edebb79
Merge branch 'develop' into fix/iprof-ctrlc
5 years ago
Nikhil Parasaram 07347e28ff
Remove truffle support (#1218)
5 years ago
Nathan 9fd552dae3
Merge branch 'develop' into fix/iprof-ctrlc
5 years ago
Nathan f1a0c9db04 Fix propagation of JumpdestCountAnnotation (#1237)
5 years ago
Nathan 4aeb4cc5f3 Improve function signatures
5 years ago
Nikhil Parasaram 203e8f6feb
Update mythril/laser/ethereum/svm.py
5 years ago
Nathan 14ec9022f0 Display instruction profiler results on ctrl+c or error
5 years ago
Nikhil 2f80f78b82 Use concrete hashes too
5 years ago
Nikhil 16dbd05d93 change the log to debug
5 years ago
Nikhil 92e727e317 Refactor code and support other args
5 years ago
Nikhil d5465acaea Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil 967e948e7a Remove changes in setup.py
5 years ago
Nikhil df81e73896 Merge branch 'develop' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil Parasaram a16fd249a4
Merge branch 'develop' into storage/UIP
5 years ago
Nikhil 609b20f6da Remove useless code
5 years ago
Nikhil f26067d186 remove dead code
5 years ago
Nikhil 4c586f1981 remove dead code
5 years ago
Nikhil 79faa94820 fix type fixes
5 years ago
Nikhil b62c34705e refactor the code
5 years ago
Nikhil b51fd81848 Use different method
5 years ago