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.3
Name Modified Size InfoDownloads / Week
Parent folder
Manticore 0.3.3.tar.gz 2020-01-31 4.2 MB
0
Manticore 0.3.3.zip 2020-01-31 4.4 MB
0
README.md 2020-01-31 1.7 kB
0
Totals: 3 Items   8.7 MB 0

0.3.3 - 2020-01-30

Thanks to our external contributors!

Ethereum

  • [added API] Flag to only generate alive states when finalizing Manticore #1554
  • Fix gas check #1587

Native

  • [added API] Add post-instruction hooks #1579
  • Fix issue with re-using stdio file descriptors after they'd been closed #1604

WASM

  • [added API] getattr-style calls for WASM functions #1578
  • [changed API] Pass state to function calls instead of constraint sets #1578
  • [added API] Added read/write helper methods to memory instances #1589

Other

  • [added API] Added streamlined state serialization interface #1596
  • Fixed Z3 version parsing #1551
  • Unique names for ArrayVars #1552
  • Improve pickling and multiprocessing compatibility #1583
  • Fix SMTLib visitor bug that broke the example tests #1577
  • Optimize MinMax SMTLib operations #1599
Source: README.md, updated 2020-01-31