AlphaPeu commune
seahorn/crab
A library for building abstract interpretation-based analyses.
- Propriétaire
- seahorn (organisation)
- Étoiles
- Étoiles : 259
- Forks
- Forks : 33
- Langage
- C++
- Licence
- Apache-2.0
- Création
- 2017
- Sujets
- static-analysisabstract-interpretationprogram-analysisinvariantsverification
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de seahorn
Les 4 dépôts de seahorn- seahorn/seahornÉtoiles : 480CAlpha
- seahorn/clamÉtoiles : 291CAlpha
- seahorn/sea-dsaÉtoiles : 171C++Prototype
D’autres dépôts C++
Tous les dépôts C++- jart/landlock-makeÉtoiles : 259C++Alpha
- bayaraa/d2glÉtoiles : 259C++Alpha
- JevLOMCN/mir4Étoiles : 259C++Alpha
- abique/tmfsÉtoiles : 259C++Alpha
- feuvan/opencore-amr-iOSÉtoiles : 259C++Alpha
- shramov/json2pbÉtoiles : 259C++Alpha