AlphaUncommon
goblint/analyzer
Static analysis framework for C
- Owner
- goblint (organization)
- Stars
- Stars: 254
- Forks
- Forks: 93
- Language
- OCaml
- License
- MIT
- Created
- 2011
- Topics
- ocamlcstatic-analysisstatic-code-analysisabstract-interpretationprogram-analysisrace-conditionsrace-detectionsoftware-verification
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in OCaml
All OCaml repos- hannesm/jacklineStars: 257OCamlAlpha
- Wyzer-Lang/wyzerStars: 257OCamlAlpha
- chshersh/github-tuiStars: 254OCamlAlpha
- janestreet/patdiffStars: 253OCamlAlpha
- backtracking/ocamlgraphStars: 253OCamlAlpha
- rescript-lang/syntaxStars: 253OCamlAlpha