Download Latest Version Manticore 0.3.7.zip (9.3 MB)
Email in envelope

Get an email when there's a new version of Manticore

Home / 0.3.7
Name Modified Size InfoDownloads / Week
Parent folder
Manticore 0.3.7.tar.gz 2022-02-17 9.2 MB
Manticore 0.3.7.zip 2022-02-17 9.3 MB
README.md 2022-02-17 2.3 kB
Totals: 3 Items   18.5 MB 0

Thanks to our external contributors! - sobolevn - G-11-P

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
Source: README.md, updated 2022-02-17