# trailofbits/deepstate

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

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

trailofbits/deepstate has 865 stars on GitHub. Its RepoMasters card: Beta tier. A unit test-like interface for fuzzing and symbolic execution Language: Python.

| Field | Value |
| --- | --- |
| Owner | [trailofbits](https://repo.masters-masters.com/en/owners/trailofbits) |
| Stars | 865 |
| Forks | 106 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | Apache-2.0 |
| Created | 2017 |
| Topics | unit-testing, symbolic-execution, fuzzing, testing-framework, testing-tools, property-based-testing |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [trailofbits/deepstate](https://github.com/trailofbits/deepstate) |

## Repository

A unit test-like interface for fuzzing and symbolic execution

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by trailofbits

- [trailofbits/algo · ★ 30,450 · Python · LTS](https://repo.masters-masters.com/en/repos/trailofbits/algo)
- [trailofbits/skills · ★ 7,943 · Python · Stable](https://repo.masters-masters.com/en/repos/trailofbits/skills)
- [trailofbits/manticore · ★ 3,855 · Python · RC](https://repo.masters-masters.com/en/repos/trailofbits/manticore)
- [trailofbits/graphtage · ★ 2,495 · Python · RC](https://repo.masters-masters.com/en/repos/trailofbits/graphtage)
- [trailofbits/claude-code-config · ★ 2,145 · 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)

## Nearby in Python

- [xdevplatform/xmcp · ★ 865 · Python · Beta](https://repo.masters-masters.com/en/repos/xdevplatform/xmcp)
- [garagehq/nightcrawler · ★ 865 · Python · Beta](https://repo.masters-masters.com/en/repos/garagehq/nightcrawler)
- [chenxiachan/textfold · ★ 865 · Python · Beta](https://repo.masters-masters.com/en/repos/chenxiachan/textfold)
- [hermanhermitage/videocoreiv · ★ 865 · Python · Beta](https://repo.masters-masters.com/en/repos/hermanhermitage/videocoreiv)
- [twoscoops/django-twoscoops-project · ★ 865 · Python · Beta](https://repo.masters-masters.com/en/repos/twoscoops/django-twoscoops-project)
- [gijzelaerr/python-snap7 · ★ 865 · Python · Beta](https://repo.masters-masters.com/en/repos/gijzelaerr/python-snap7)

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