AlphaPeu commune
goblint/analyzer
Static analysis framework for C
- Propriétaire
- goblint (organisation)
- Étoiles
- Étoiles : 254
- Forks
- Forks : 93
- Langage
- OCaml
- Licence
- MIT
- Création
- 2011
- Sujets
- ocamlcstatic-analysisstatic-code-analysisabstract-interpretationprogram-analysisrace-conditionsrace-detectionsoftware-verification
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- hannesm/jacklineÉtoiles : 257OCamlAlpha
- Wyzer-Lang/wyzerÉtoiles : 256OCamlAlpha
- chshersh/github-tuiÉtoiles : 254OCamlAlpha
- janestreet/patdiffÉtoiles : 253OCamlAlpha
- backtracking/ocamlgraphÉtoiles : 253OCamlAlpha
- rescript-lang/syntaxÉtoiles : 253OCamlAlpha