# staticafi/symbiotic

<https://repo.masters-masters.com/en/repos/staticafi/symbiotic>

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

staticafi/symbiotic has 339 stars on GitHub. Its RepoMasters card: Alpha tier. Symbiotic is a tool for finding bugs in computer programs based on…

| Field | Value |
| --- | --- |
| Owner | [staticafi](https://repo.masters-masters.com/en/owners/staticafi) |
| Stars | 339 |
| Forks | 58 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2014 |
| Topics | verification, verification-toolchain, symbolic-execution, program-slicing, slicing, klee, llvm, instrumentation, slice, llvm-ir |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [staticafi/symbiotic](https://github.com/staticafi/symbiotic) |

## Repository

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Python

- [ethanfel/ComfyUI-MiniMax-H3-Guide · ★ 339 · Python · Alpha](https://repo.masters-masters.com/en/repos/ethanfel/ComfyUI-MiniMax-H3-Guide)
- [Danzer1xxxxChan/H3-World · ★ 339 · Python · Alpha](https://repo.masters-masters.com/en/repos/Danzer1xxxxChan/H3-World)
- [Prefrontal-AI/latent-sparse-attention · ★ 339 · Python · Alpha](https://repo.masters-masters.com/en/repos/Prefrontal-AI/latent-sparse-attention)
- [twisted/txmongo · ★ 339 · Python · Alpha](https://repo.masters-masters.com/en/repos/twisted/txmongo)
- [hmason/gitmarks · ★ 339 · Python · Alpha](https://repo.masters-masters.com/en/repos/hmason/gitmarks)
- [seveas/python-hpilo · ★ 339 · Python · Alpha](https://repo.masters-masters.com/en/repos/seveas/python-hpilo)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.