# trailofbits/manticore

<https://repo.masters-masters.com/en/repos/trailofbits/manticore>

[Home](https://repo.masters-masters.com/en) › [trailofbits](https://repo.masters-masters.com/en/owners/trailofbits) › [manticore](https://repo.masters-masters.com/en/repos/trailofbits/manticore)

trailofbits/manticore has 3,855 stars on GitHub. Its RepoMasters card: RC tier. Symbolic execution tool Language: Python.

| Field | Value |
| --- | --- |
| Owner | [trailofbits](https://repo.masters-masters.com/en/owners/trailofbits) |
| Stars | 3,855 |
| Forks | 496 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | AGPL-3.0 |
| Created | 2017 |
| Topics | symbolic-execution, z3, python, binary-analysis, emulation, smt, program-analysis, security, ethereum, blockchain |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [trailofbits/manticore](https://github.com/trailofbits/manticore) |

## Repository

Symbolic execution tool

Archived: this repository is read-only

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## More repos by trailofbits

- [trailofbits/algo · ★ 30,448 · Python · LTS](https://repo.masters-masters.com/en/repos/trailofbits/algo)
- [trailofbits/skills · ★ 7,970 · Python · Stable](https://repo.masters-masters.com/en/repos/trailofbits/skills)
- [trailofbits/graphtage · ★ 2,494 · Python · RC](https://repo.masters-masters.com/en/repos/trailofbits/graphtage)
- [trailofbits/claude-code-config · ★ 2,146 · Shell · RC](https://repo.masters-masters.com/en/repos/trailofbits/claude-code-config)
- [trailofbits/publications · ★ 1,917 · Python · Beta](https://repo.masters-masters.com/en/repos/trailofbits/publications)
- [trailofbits/buttercup · ★ 1,740 · Python · Beta](https://repo.masters-masters.com/en/repos/trailofbits/buttercup)

## Nearby in Python

- [floydhub/dl-docker · ★ 3,856 · Python · RC](https://repo.masters-masters.com/en/repos/floydhub/dl-docker)
- [openai/improved-diffusion · ★ 3,856 · Python · RC](https://repo.masters-masters.com/en/repos/openai/improved-diffusion)
- [chrippa/livestreamer · ★ 3,855 · Python · RC](https://repo.masters-masters.com/en/repos/chrippa/livestreamer)
- [mseitzer/pytorch-fid · ★ 3,853 · Python · RC](https://repo.masters-masters.com/en/repos/mseitzer/pytorch-fid)
- [canonical/cloud-init · ★ 3,852 · Python · RC](https://repo.masters-masters.com/en/repos/canonical/cloud-init)
- [HKUDS/Paper2Slides · ★ 3,852 · Python · RC](https://repo.masters-masters.com/en/repos/HKUDS/Paper2Slides)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.