mirror of https://github.com/ConsenSys/mythril
Tag:
Branch:
Tree:
8afeb4d3ed
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 }
4 Commits (8afeb4d3edf0ea8403b8a197affe99034c85d584)
Author | SHA1 | Message | Date |
---|---|---|---|
Dominik Muhs | 0e9e4bf0b1 |
SQLite Signature DB (#758)
* Add first version of sqlite signature db * Adapt truffle module to new signature db * Fix tests * Remove old DB code * Apply black * Add sqlite dev dependency * Add sqlite dev dependency * Add more type hints * Apply black * Adapt old naming in manifest and gitignore * Add minor fixes to signature DB * Add repr to signature db * Apply black * Add mythril dir env var * Replace __del__ with SQLite context manager * Add SQLite context manager repr and fix test imports * Apply black * Fix nasty test path issue * Add reentrancy signature to db for tests * Call base setUp in evm contract tests * Remove redundant return |
6 years ago |
Josh Asplund | ac5b9e5c94 |
Fixes Manifest to include templates
|
7 years ago |
Bernhard Mueller | 809b4d406d |
Add HMTL templates to MANIFEST.in
|
7 years ago |
Bernhard Mueller | db5c4d00f2 |
Add MANIFEST.in
|
7 years ago |