offlinemark / manticore Goto Github PK
View Code? Open in Web Editor NEWThis project forked from trailofbits/manticore
Symbolic execution tool
Home Page: https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
License: GNU Affero General Public License v3.0