# enzet/symbolic-execution

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

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

enzet/symbolic-execution, dépôt open source à 497 étoiles sur GitHub. Carte Alpha de RepoMasters. History of symbolic execution (as well as SAT/SMT solving…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [enzet](https://repo.masters-masters.com/owners/enzet) |
| Étoiles | 497 |
| Forks | 54 |
| Langage | [Kotlin](https://repo.masters-masters.com/languages/kotlin) |
| Licence | CC-BY-SA-4.0 |
| Création | 2017 |
| Sujets | dynamic-symbolic-execution, symbolic-execution, history, timeline, concolic-execution, concolic, program-analysis, dynamic-analysis, solving |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [enzet/symbolic-execution](https://github.com/enzet/symbolic-execution) |

## Fiche du dépôt

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

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de enzet

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

## D’autres dépôts Kotlin

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.