mirror of https://github.com/ConsenSys/mythril
blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Tag:
Branch:
Tree:
4c98be0a4a
TOD_MODULE
add/feats
add/modules
add_concrete_stuff
analysis/TOD
analyze-with-mythx
any_name
arbitrary_storage
berndt_1
berndtz_experimental
better_bounds
bug/constructor-arguments
bug/instructions-out-of-bounds
bug/invalid-loop-pruning
bugfix/1840
call_depth
cfg_fix
check-delegatecall-after
check_existing_annotations
cli-code-coverage
concrete_ite_storage
config-change
constantinope-reentrancy-check
delegatecall_fix
dependabot/pip/markupsafe-lt-3.1.0
dependabot/pip/py-evm-0.10.1b2
dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0
dependency_prune_v2
develop
dynamic_timeout_presets
ether_refactor_2
ether_thief
ether_thief_fix
ether_transfer
external_calls
extract_concat_invariance
feat/docker-ci
feat/merge
feature/concretise_storage
feature/feat-eng
feature/ignore-regressions
feature/import-custom-modules
feature/regioned_storage
feature/summary
feature/tx_lists
feature/update_solcx
features/iprof_plugin
fix-balance-overflow
fix/boundedloops
fix/circleci-config
fix/constraints-after-issues
fix/dep_pruning
fix/iprof-ctrlc
fix/refactor
fix/signextend
fix/timeout
fix_integers
flashfck
function_lists
harvey_style_assertions
hashfixes
improvement/circleci-envs
improvement/udpate-circle-ci
integer_experimental
integer_fix
jinja-print-initial-state
master
metrics_plugin
model-balances
notify-unreachable-code
optimise/summaries
optimizer
origin_model
pending-opcodes
pr/894
readme
refactor/cli
remove/dos
remove_deprecated_taint
remove_pragma
req_violation
revert-1226-optimizer
revert_ether_thief
run-edelweiss-drone
setup-fix
specify-attacker-creator-address
split_storage
standard_actors
state_merge
storage/bugfix
storage/refactor
support_tx_sequences
ultimate_ether_thief
userassertions
vuln_edits
workshop-fixes
z3
0.16.5
0.20.5
0.20.6
0.21.18
0.3.4
0.3.8
0.3.9
0.5.2
0.5.7
0.5.9
0.8.6
laser-merge
v0.15.9
v0.16.18
v0.16.19
v0.16.20
v0.16.21
v0.16.22
v0.16.23
v0.16.24
v0.16.25
v0.16.26
v0.16.27
v0.16.29
v0.16.6
v0.17.0
v0.17.1
v0.17.12
v0.17.15
v0.17.2
v0.17.3
v0.17.4
v0.17.5
v0.17.6
v0.17.7
v0.17.8
v0.17.9
v0.18.0
v0.18.1
v0.18.10
v0.18.11
v0.18.12
v0.18.13
v0.18.2
v0.18.3
v0.18.4
v0.18.5
v0.18.6
v0.18.7
v0.18.8
v0.18.9
v0.19.0
v0.19.10
v0.19.11
v0.19.4
v0.19.5
v0.19.6
v0.19.7
v0.19.8
v0.19.9
v0.20.0
v0.20.1
v0.20.2
v0.20.3
v0.20.4
v0.20.5
v0.20.6
v0.20.7
v0.20.8
v0.20.9
v0.21.10
v0.21.11
v0.21.12
v0.21.14
v0.21.15
v0.21.16
v0.21.17
v0.21.18
v0.21.19
v0.21.2
v0.21.20
v0.21.21
v0.21.22
v0.21.23
v0.21.3
v0.21.4
v0.21.5
v0.21.6
v0.21.7
v0.21.8
v0.21.9
v0.22.0
v0.22.1
v0.22.10
v0.22.11
v0.22.12
v0.22.13
v0.22.14
v0.22.15
v0.22.16
v0.22.17
v0.22.18
v0.22.19
v0.22.2
v0.22.20
v0.22.21
v0.22.22
v0.22.23
v0.22.24
v0.22.25
v0.22.26
v0.22.27
v0.22.28
v0.22.29
v0.22.3
v0.22.30
v0.22.31
v0.22.32
v0.22.33
v0.22.34
v0.22.35
v0.22.36
v0.22.37
v0.22.38
v0.22.39
v0.22.4
v0.22.40
v0.22.41
v0.22.42
v0.22.43
v0.22.5
v0.22.6
v0.22.7
v0.22.8
v0.22.9
v0.23.0
v0.23.1
v0.23.10
v0.23.11
v0.23.12
v0.23.13
v0.23.15
v0.23.16
v0.23.17
v0.23.18
v0.23.19
v0.23.2
v0.23.20
v0.23.21
v0.23.22
v0.23.23
v0.23.24
v0.23.25
v0.23.3
v0.23.4
v0.23.5
v0.23.6
v0.23.7
v0.23.8
v0.23.9
v0.24.0
v0.24.1
v0.24.2
v0.24.3
v0.24.4
v0.24.5
v0.24.6
v0.24.7
v0.24.8
v0.6.17
v0.6.28
${ noResults }
JoranHonig
631ebe07b7
Refactor laser to work with a worklist vs a simple loop |
7 years ago | |
---|---|---|
.. | ||
__init__.py | Initial delegate call tests | 7 years ago |
test_delegatecall.py | Worklist implementation (#288) | 7 years ago |