manticore

trailofbits

Symbolic execution tool

testing security python

View on GitHub Website

3.8k Stars

483 Forks

3.8k Watchers

Python Language

agpl-3.0 License

Cost to Build

$4.14M

Market Value

$18.88M

How is this calculated?

Growth over time

13 data points · 2021-05-01 → 2025-09-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about manticore

Question copied to clipboard

What is the trailofbits/manticore GitHub project? Description: "Symbolic execution tool". Written in Python. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone manticore

Clone via HTTPS

git clone https://github.com/trailofbits/manticore.git

Clone via SSH

[email protected]:trailofbits/manticore.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the manticore issue tracker:

Open GitHub Issues

Similar to manticore

tensorflow awesome-python system-design-primer flask thefuck free-programming-books-zh_CN cli django requests keras ansible scikit-learn scrapy TensorFlow-Examples certbot pytorch python-patterns tornado face_recognition core pandas CNTK python-guide reddit wechat_jump_game interactive-coding-challenges compose data-science-ipython-notebooks ipython pipenv