# enzet/symbolic-execution

<https://repo.masters-masters.com/en/repos/enzet/symbolic-execution>

[Home](https://repo.masters-masters.com/en) › [enzet](https://repo.masters-masters.com/en/owners/enzet) › [symbolic-execution](https://repo.masters-masters.com/en/repos/enzet/symbolic-execution)

enzet/symbolic-execution has 497 stars on GitHub. Its RepoMasters card: Alpha tier. History of symbolic execution (as well as SAT/SMT solving, fuzzing, and…

| Field | Value |
| --- | --- |
| Owner | [enzet](https://repo.masters-masters.com/en/owners/enzet) |
| Stars | 497 |
| Forks | 54 |
| Language | [Kotlin](https://repo.masters-masters.com/en/languages/kotlin) |
| License | CC-BY-SA-4.0 |
| Created | 2017 |
| Topics | dynamic-symbolic-execution, symbolic-execution, history, timeline, concolic-execution, concolic, program-analysis, dynamic-analysis, solving |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [enzet/symbolic-execution](https://github.com/enzet/symbolic-execution) |

## Repository

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

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

## More repos by enzet

- [enzet/map-machine · ★ 572 · Python · Alpha](https://repo.masters-masters.com/en/repos/enzet/map-machine)

## Nearby in Kotlin

- [InvertGeek/MixFile · ★ 497 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/InvertGeek/MixFile)
- [linroid/Ketch · ★ 497 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/linroid/Ketch)
- [YXBwbWFya2V0/AppMarket · ★ 497 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/YXBwbWFya2V0/AppMarket)
- [xenomachina/kotlin-argparser · ★ 497 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/xenomachina/kotlin-argparser)
- [detekt/sonar-detekt · ★ 497 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/detekt/sonar-detekt)

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