awesome-repositories.comBlog

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

Manticore | Awesome Repository

trailofbitsmanticore

0

View on GitHub↗

3,855 stars·500 forks·Python·AGPL-3.0·0 viewsblog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans↗

Manticore

Features

Security Analysis Tools - Symbolic execution tool for analyzing smart contracts and binaries.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Symbolic execution tool