Skip to content

Manticore 0.3.5
Compare
Choose a tag to compare
@ehennenfent ehennenfent released this 06 Nov 22:06
· 136 commits to master since this release
0.3.5
5ea4f90
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.

0.3.5 - 2020-11-06

Thanks to our external contributors!

Ethereum

  • Made EVM module ignore runtime gas calculations by default #1816
  • Updated gas calculations for calls to empty accounts #1774
  • Fixed account existence checks for selfdestruct and call #1801

Native

  • [Added API] new strlen models #1725
  • [Added API] State-specific hooks #1777
  • Improved system call argument handling #1785
  • Improved stat support for file descriptors #1780
  • Support symbolic-length reads from sockets #1786
  • Add stubs for sendto #1791

WASM

  • Fix type confusion when importing external functions #1803

Other

  • Made Yices2 the default SMT Solver #1820
  • [Added API] Added an API for introspecting live states #1775
  • Changed default multiprocessing type to threading #1779
  • Improved array serialization performance #1756
  • Fix name collisions in SMT variables #1792
Assets 2
Loading