Manticore: Manticore 0.3.2

Manticore 0.3.2 – New Features

Ethereum

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

Native

• Better memory tests
• Memory IO performance improvements
• [added API] Expose ELF dynamic load addresses
• Optimize instruction decoding
• Add partial support for recvfrom syscall
• [fixed API] Add will_write_memory event to write_bytes
• Update supported Unicorn version
• Fix file pointer leak in ELF interpreter
• Deduplicate socket symbol names
• Improve environment variable parsing
• [fixed API] Reduce chance of orphaned did_execute_instruction event

WASM

• [added API] Added initial support for webassembly

Other

• Incorporate type checking (mypy) into CI
• Fixes to smtlib
• Remove runtime type checking from smtlib to improve performance
• Logging improvements
• Simplify unsigned division constant folding
• Improve signed division logic
• [changed API] Move to manticore-specific exception types
• [changed API] Save profiling data in the workspace instead of the current directory