Skip to content

Mythril v0.19.6

Pre-release
Pre-release
Compare
Choose a tag to compare
@muellerberndt muellerberndt released this 17 Nov 01:40
· 2591 commits to develop since this release
v0.19.6
fc8d230
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • Add gas simulation
  • Fix a bug where SUICIDE instruction would delete account state
  • Use z3 overflow checks to detect ADD / MUL overflows
Assets 2
Loading