Manticore: Manticore 0.3.1

08/06/2019 11:00 pm

Manticore: Manticore 0.3.1

0.3.0 – 2019-08-06

Thanks to our external contributors!

Ethereum

  • Smart contracts are now compiled using Crytic-Compile #1406
  • Added detector for strict comparisons to BALANCE #1481
  • Added bitshift instructions #1498
  • Added stub for STATICCALL (does not enforce static nature) #1494
  • Updated EVM Examples #1486

Native

  • Fixed getdents syscall #1472
  • Fixed state merging examples #1482
  • Support LSR.W on ARMV7 #1363
  • Fixed CrackMe Example #1502
  • Optimize CMPXCHG8B #1501
  • Added fast_crash configuration setting that causes Manticore to immediately produce a finding on memory unsafety #1485

Other

  • [changed API] Moved issymbolic into SMTLib to improve performance #1456
  • Refactored API Docs #1469
  • Fixed FileNotFound Error on state loading #1480

This change is\u2002Reviewable


Directly related posts: