Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

BêtaRare

ksluckow/awesome-symbolic-execution

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

Propriétaire: ksluckow (compte personnel)
Étoiles: Étoiles : 1 504
Forks: Forks : 151
Langage: Sans langage
Licence: CC0-1.0
Création: 2017
Sujets: symbolic-executiondynamic-analysisdynamic-symbolic-executionawesome-list
Rang: Bêta (700 à 1 999 ★) Ce que veut dire ce rang