RCEpic
trailofbits/manticore
Symbolic execution tool
Archived: this repository is read-only
- Owner
- trailofbits (organization)
- Stars
- Stars: 3,855
- Forks
- Forks: 496
- Language
- Python
- License
- AGPL-3.0
- Created
- 2017
- Topics
- symbolic-executionz3pythonbinary-analysisemulationsmtprogram-analysissecurityethereumblockchain
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by trailofbits
All 75 repos by trailofbits- trailofbits/algoStars: 30,450PythonLTS
- trailofbits/skillsStars: 7,943PythonStable
- trailofbits/graphtageStars: 2,495PythonRC
- trailofbits/claude-code-configStars: 2,145ShellRC
- trailofbits/publicationsStars: 1,917PythonBeta
- trailofbits/buttercupStars: 1,740PythonBeta
Nearby in Python
All Python repos- openai/improved-diffusionStars: 3,856PythonRC
- chrippa/livestreamerStars: 3,855PythonRC
- floydhub/dl-dockerStars: 3,855PythonRC
- swar/nba_apiStars: 3,854PythonRC
- mseitzer/pytorch-fidStars: 3,853PythonRC