Skip to content

Manticore 0.3.2

Choose a tag to compare

View all tags
@ehennenfent ehennenfent released this 12 Nov 02:53
· 287 commits to master since this release
0.3.2
b2f4fbd
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

0.3.2 - 2019-11-11

Thanks to our external contributors!

Ethereum

  • [added API] Use higher-level test generation to symbolically execute SHA3 #1526
  • [added API] Added fast unsound SHA3 strategy #1549
  • [added API] Added plugin for discarding states without changes to storage #1507
  • [fixed API] Fix ADDMOD and MULMOD #1531
  • Warn on missing bytecode #1534
  • Simplifiy PC upon modification #1523

Native

  • Better memory tests (#1506, 1524)
  • Memory IO performance improvements #1509
  • [added API] Expose ELF dynamic load addresses #1515
  • Optimize instruction decoding (#1522, #1527)
  • Add partial support for recvfrom syscall #1514
  • [fixed API] Add will_write_memory event to write_bytes #1535
  • Update supported Unicorn version #1536
  • Fix file pointer leak in ELF interpreter #1538
  • Deduplicate socket symbol names #1542
  • Improve environment variable parsing #1545
  • [fixed API] Reduce chance of orphaned did_execute_instruction event #1529

WASM

  • [added API] Added initial support for webassembly #1495

Other

  • Incorporate type checking (mypy) into CI #1544
  • Fixes to smtlib (#1512, #1511)
  • Remove runtime type checking from smtlib to improve performance #1543
  • Logging improvements (#1518, #1520)
  • Simplify unsigned division constant folding #1530
  • Improve signed division logic #1540
  • [changed API] Move to manticore-specific exception types #1537
  • [changed API] Save profiling data in the workspace instead of the current directory #1539
Assets 2
Loading