Gitstar Ranking
  • Users
  • Organizations
  • Repositories
  • Rankings
    • Users
    • Organizations
    • Repositories
  • Sign in with GitHub

trailofbits

Fetched on 2025/06/26 08:17

trailofbits / manticore

Symbolic execution tool - View it on GitHub
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
Star
3771
Rank
9521

Released by @k0kubun in December 2014. Fork me on GitHub.