Mythril v0.20.8

• Fixes false positives in Ether Thief module

Mythril v0.20.7

• Implement balance modeling and symbolic sender variables
• Refactor security analysis modules
• Add detection for denial-of-service (SWC-128)
• Improve weak randomness detection (SWC-120)
• Improve detection of delegate call to untrusted targets (SWC-112)
• Apply execution timeout globally applied instead of splitting between transactions
• Upgrade Z3 dependency to stock z3-solver 4.8.5.0

Mythril v0.20.6

Mythril v0.20.6

Mythril v0.20.5

• improve external call analysis
• fix dependency versions to prevent a dependency mismatch
• disable effect check pattern in integer overflow detection module
• refactor re entrancy detection and add missing vulnerability patterns

Mythril v0.20.4

• Source mapping bugfix
• Added plugins and coverage strategy

Mythril v0.20.3

• Refactored Mythril.py file
• Discovery time
• Fix integer overflow false positive due to incorrect constraints
• Removed unnecessary CFG dependency from analysis modules

Mythril v0.20.2

• Compatible with the constantinople hard fork

Mythril v0.20.1

• Fixed Line number issue
• Error logs support for jsonv2 format
• Various bug fixes
• support integer overflows for EXP operation
• Deprecate truffle
• Reachability check
• execution statistics in logs with -v4/-v5 options
• Implemented BitVecFunc
• Increased default depth to 50, and defaut search strategy is changed to bfs

Mythril v0.20.0

• Integer module callback refactor
• Multiple bugfixes
• Faster than the previous version by atleast 50%
• More memory friendly
• --execution-timeout can now be used to timeout the entire mythril's execution

Mythril v0.19.11

• Fixes bug with signatures.db
• SMT abstraction
• Callback refactor of delegatecall, exceptions, dependence_on_predictable_vars modules