Skip to content

Mythril v0.21.2

Pre-release
Pre-release
Compare
Choose a tag to compare
@muellerberndt muellerberndt released this 19 Jun 19:01
· 956 commits to master since this release
v0.21.2
4cab451
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.
  • Introduce pruning via read/write dependency map (makes multi-tx analysis blazingly fast)
  • Introduce configurable loop bounds
  • Refactor integer overflow and underflow checks
  • Fix caller constraints in suicide, ether thief and delegatecall modules
  • Support export of transaction sequences
  • Fix calldata size for symbolic calldata
Assets 2
Loading