Manticore: Manticore 0.3.7

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