# trailofbits/manticore

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

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

trailofbits/manticore, dépôt open source à 3 855 étoiles sur GitHub. Carte RC de RepoMasters. Symbolic execution tool Langage : Python.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [trailofbits](https://repo.masters-masters.com/owners/trailofbits) |
| Étoiles | 3 855 |
| Forks | 496 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | AGPL-3.0 |
| Création | 2017 |
| Sujets | symbolic-execution, z3, python, binary-analysis, emulation, smt, program-analysis, security, ethereum, blockchain |
| Rang | [RC (2 000 à 4 999 ★)](https://repo.masters-masters.com/ranks/blockbuster) |
| Voir sur GitHub | [trailofbits/manticore](https://github.com/trailofbits/manticore) |

## Fiche du dépôt

Symbolic execution tool

Archivé : ce dépôt n’évolue plus

Rang des dépôts qui ont 2 000 à 4 999 ★ sur GitHub. Probabilité publiée par carte tirée : 3 %. Rareté : Épique.

## Autres dépôts de trailofbits

- [trailofbits/algo · ★ 30 450 · Python · LTS](https://repo.masters-masters.com/repos/trailofbits/algo)
- [trailofbits/skills · ★ 7 943 · Python · Stable](https://repo.masters-masters.com/repos/trailofbits/skills)
- [trailofbits/graphtage · ★ 2 495 · Python · RC](https://repo.masters-masters.com/repos/trailofbits/graphtage)
- [trailofbits/claude-code-config · ★ 2 145 · Shell · RC](https://repo.masters-masters.com/repos/trailofbits/claude-code-config)
- [trailofbits/publications · ★ 1 917 · Python · Bêta](https://repo.masters-masters.com/repos/trailofbits/publications)
- [trailofbits/buttercup · ★ 1 740 · Python · Bêta](https://repo.masters-masters.com/repos/trailofbits/buttercup)

## D’autres dépôts Python

- [openai/improved-diffusion · ★ 3 856 · Python · RC](https://repo.masters-masters.com/repos/openai/improved-diffusion)
- [chrippa/livestreamer · ★ 3 855 · Python · RC](https://repo.masters-masters.com/repos/chrippa/livestreamer)
- [floydhub/dl-docker · ★ 3 855 · Python · RC](https://repo.masters-masters.com/repos/floydhub/dl-docker)
- [swar/nba\_api · ★ 3 854 · Python · RC](https://repo.masters-masters.com/repos/swar/nba_api)
- [mseitzer/pytorch-fid · ★ 3 853 · Python · RC](https://repo.masters-masters.com/repos/mseitzer/pytorch-fid)

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.