Skip to content

Manticore 0.3.7

Latest
Latest
Compare
Choose a tag to compare
@ehennenfent ehennenfent released this 17 Feb 20:03
· 73 commits to master since this release
0.3.7
9ed66b6
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Thanks to our external contributors!

Ethereum

  • Use crytic-compile 0.2.2 #2530
  • Multi-transaction analysis now uses fixed attacker and owner contracts #2464

Native

  • [Added API] Retrieve list of unimplemented syscalls #2491
  • Add FXSAVE/FXRSTOR concrete support on x86 #2511
  • Add last_executed_pc property to CPU #2475
  • Support LD_LIBRARY_PATH #2476
  • Optional will/did_read_memory events #2488
  • Fixed base address handling on Linux #2500
  • Add ENDBR-style NOPs #2533
  • Support epoll-related syscalls #2529

Other

  • [Added API] Add fork policy for providing explicit values #2514
  • Fixed Constant Folding #2524
  • Add simplifications for subtraction #2504
  • Parent state ID, last PC now available in state descriptors #2479, #2471
  • States now contain a reference to the current manticore instance #2486
  • fast_fail config to exit after first state exception #2487
  • Scaling bugfix for large solver queries #2502
  • Don't fork when only one solution is found for Concretize #2527
Assets 2