Dépôts open source suivis de S2E, triés par étoiles.
S2E : Une plateforme d'analyse de programmes multi-chemins avec exécution symbolique sélective.
