zglozman / manticore Goto Github PK
View Code? Open in Web Editor NEWThis project forked from trailofbits/manticore
Dynamic binary analysis tool
Home Page: https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
License: Apache License 2.0