# ksluckow/awesome-symbolic-execution

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

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

ksluckow/awesome-symbolic-execution, dépôt open source à 1 504 étoiles sur GitHub. Carte Bêta de RepoMasters. A curated list of awesome symbolic execution…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [ksluckow](https://repo.masters-masters.com/owners/ksluckow) |
| Étoiles | 1 504 |
| Forks | 151 |
| Langage | Sans langage |
| Licence | CC0-1.0 |
| Création | 2017 |
| Sujets | symbolic-execution, dynamic-analysis, dynamic-symbolic-execution, awesome-list |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [ksluckow/awesome-symbolic-execution](https://github.com/ksluckow/awesome-symbolic-execution) |

## Fiche du dépôt

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

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