search

trailofbits / manticore

Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.68k stars 472 forks source link

Update to Unicorn v2.0.0 #2564

Closed ekilmer closed 2 years ago

ekilmer commented 2 years ago

Fix CPUID errors with latest glibc

Add stub for new sys_rseq syscall in glibc