Manticore 0.3.4
0.3.4 - 2020-06-26
Thanks to our external contributors!
Ethereum
- Support and test against EVM Istanbul #1676
- [Added API] Added a
manticore-verifier
script for checking properties of smart contracts #1717 - Fixed RETURNDATASIZE #1612
- Added strategies for symbolic SHA3 replacement #1609
- Fixed GAS instruction #1633
- Improved balance-related exploration #1615
- Add
__format__
to EVM accounts #1613 - Discard basic blocks that unavoidably REVERT #1630
- Extract printable bytes from return data #1671
- Support CHAINID, EXTCODEHASH, and SELFBALANCE instructions #1644
- [Changed API] Renamed several arguments in EVM API, including
gaslimit
-->gas
#1652 - Explore states that self-destruct #1699
- Lazy solving for the Ethereum leak detector #1727
Native
- Support for ARM modified-immediate encodings #1638
- Support for
/proc/self/maps
#1639 - Support for
llseek
#1640 - Support for
arm_fadvise64_64
#1648 - Allow symbolic sockets in
accept
#1618 - Fixes to
open
#1657 - Overhauled filesystem emulation #1673
- Fixed system call argument concretization #1697
- [Added API] Add a symbolic model for
strcpy
#1681
WASM
- Delay branch condition concretization for better coverage #1641
Other
- [Added API] Added a snapshot system #1710
- Transparent compression for state files #1624
- Unify around singleton interface for solver #1649
- Use
__slots__
to reduce memory usage in expression system #1635 - [Removed API] Removed
policy
argument from ManticoreBase, addedoutputspace_url
to optionally separate working files from output files #1651 - Disable broken
get_related
logic #1674 - Disable flaky Z3 tactics #1691
- Remove Keystone engine from dependencies #1684
- Improved error messages #1632, #1704
- Made ConstraintSets hashable #1703
- Added system to dynamically enable/disable plugins #1696 #1708
- Re-establish support for Yices and CVC4 #1714
- Improved constant folding and constraint set slicing #1706