View Code? Open in Web Editor
NEW
This 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
Dockerfile 0.01%
Python 99.96%
Shell 0.03%
manticore's Introduction
Blog โข
Twitter
- ๐ญ Iโm currently working at Meta (formerly known as Facebook) as part of the Product Security Team
- ๐ฌ Ask me about some cool ways to find security bugs
- ๐ซ How to reach me: @werewtk on X/Twitter
- โก Fun fact: once upon a time, typing my username was a breeze, then Colemak happened
manticore's People
Watchers