goblint/

analyzer

Static analysis framework for C

GitHub goblint.in.tum.de

Start here

Open issues, live

Unassigned, straight from GitHub

Facts

Stars: 252
Forks: 90
License: MIT
Last commit: 20h ago
Replies in: ~15d
Good first issues: 35
Help wanted: 0
Language: OCaml

Topics: #ocaml #c #static-analysis #static-code-analysis #abstract-interpretation #program-analysis #race-conditions #race-detection

Why this score

63

Welcoming to new contributors, out of 100.

Issues to pick from25/25
35 open good first issues
Recent activity20/20
Last commit 20 hours ago
Maintainer replies3/15
Maintainers usually reply in ~15d
Onboarding2/15
No CONTRIBUTING guide and a clear description
Up for grabs11/15
14 of the 20 newest good first issues are unassigned
Reach3/10
252 stars, so your work gets seen

First-PR friendly needs:

Met: Score of 60 or more
Met: At least 3 good first issues
Not met: A CONTRIBUTING guide
Not met: Replies within 3 days

Flag this repo (wrong data, not welcoming, gone)