AliveToolkit/alive2

Vérification automatique des optimisations LLVM.

↗ Ouvrir sur GitHub

Étoiles

1 163

Bifurcations

160

Langage

C++

Licence

MIT

Dernier push

il y a 1 semaine

C++verification model-checking llvm llvm-ir smt symbolic-execution automatic-verification translation-validation

Aucune intel associée pour le moment

Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.