Manticore: Manticore 0.3.5

0.3.5 – 2020-11-06

Thanks to our external contributors!

• wolfo
• geohot
• romits800

Ethereum

• Made EVM module ignore runtime gas calculations by default #1816
• Updated gas calculations for calls to empty accounts #1774
• Fixed account existence checks for selfdestruct and call #1801

Native

• [Added API] new strlen models #1725
• [Added API] State-specific hooks #1777
• Improved system call argument handling #1785
• Improved stat support for file descriptors #1780
• Support symbolic-length reads from sockets #1786
• Add stubs for sendto #1791

WASM

• Fix type confusion when importing external functions #1803

Other

• Made Yices2 the default SMT Solver #1820
• [Added API] Added an API for introspecting live states #1775
• Changed default multiprocessing type to threading #1779
• Improved array serialization performance #1756
• Fix name collisions in SMT variables #1792