Skip to content

Mythril v0.20.7

Pre-release
Pre-release
Compare
Choose a tag to compare
@muellerberndt muellerberndt released this 27 May 19:10
· 1106 commits to master since this release
v0.20.7
2e6c8aa
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • 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
Assets 2
Loading