Download Latest Version Manticore 0.3.7.zip (9.3 MB)
Email in envelope

Get an email when there's a new version of Manticore

Home / 0.3.5
Name Modified Size InfoDownloads / Week
Parent folder
Manticore 0.3.5.tar.gz 2020-11-06 8.1 MB
0
Manticore 0.3.5.zip 2020-11-06 8.2 MB
0
README.md 2020-11-06 2.0 kB
0
Totals: 3 Items   16.3 MB 0

0.3.5 - 2020-11-06

Thanks to our external contributors! - wolfo - geohot - romits800

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
Source: README.md, updated 2020-11-06