Skip to content

Manticore 0.3.1

Choose a tag to compare

View all tags
@ehennenfent ehennenfent released this 06 Aug 23:00
· 322 commits to master since this release
0.3.1
0464c49
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.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 Reviewable

Assets 2
Loading