Skip to content

Manticore 0.3.3
Compare
Choose a tag to compare
@ehennenfent ehennenfent released this 31 Jan 08:00
· 242 commits to master since this release
0.3.3
934a4f0
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.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
Assets 2
Loading