goblint/analyzer
View on GitHubStatic analysis framework for C
- Stars
- 252
- Forks
- 90
- Open beginner issues
- 0
- Indexed issues
- 233
- Avg merge
- 4d 1m
- Merged PRs (30d)
- 19
- Dominant language
- OCaml
- License
- MIT
- Last GitHub push
- Sep 19, 2026
- Latest indexed
- Sep 20, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
good first issue precision
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
usability
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
precision student-job unsound
Difficulty 5/5 Over a week Newbie friendliness 45/100
-
sv-comp unsound
Difficulty 4/5 3-5 days Newbie friendliness 42/100
-
unsound
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
precision sv-comp unsound
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
relational unsound
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
explainability good first issue usability
Difficulty 5/5 Over a week Newbie friendliness 28/100
-
sv-comp unsound
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
cleanup precision
Difficulty 5/5 Over a week Newbie friendliness 30/100
-
precision
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
performance precision sv-comp
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
good first issue student-job
Difficulty 5/5 Over a week Newbie friendliness 30/100
-
cleanup
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
performance
goblint/analyzer#1975 · 3 comments · 1 reaction · 2 assignees ·
-
precision student-job sv-comp
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
analyze-that performance
Difficulty 4/5 3-5 days Newbie friendliness 42/100
-
precision
Difficulty 4/5 3-5 days Newbie friendliness 25/100
-
relational
Difficulty 5/5 Over a week Newbie friendliness 20/100
-
analyze-that unsound
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
analyze-that
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
relational sv-comp
-
performance sv-comp
Difficulty 4/5 3-5 days Newbie friendliness 42/100
-
MCP Server Open
-
precision
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
sv-comp unsound
Difficulty 4/5 3-5 days Newbie friendliness 28/100
-
sv-comp
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
performance precision sv-comp
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
sv-comp
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
precision sv-comp unsound
-
student-job
Difficulty 5/5 Over a week Newbie friendliness 20/100
-
sv-comp
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
sv-comp
Difficulty 4/5 3-5 days Newbie friendliness 25/100
-
good first issue relational sv-comp usability
Difficulty 3/5 1-2 days Newbie friendliness 38/100
-
good first issue precision relational
goblint/analyzer#1843 · 1 comment · 1 reaction · 2 assignees ·
-
precision relational sv-comp
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
benchmarking performance sv-comp
Difficulty 4/5 3-5 days Newbie friendliness 30/100
-
unsound
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
testing unsound
Difficulty 4/5 3-5 days Newbie friendliness 25/100
-
precision usability
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
good first issue precision sv-comp
goblint/analyzer#1801 · 1 comment · 1 reaction · 1 assignee ·
-
good first issue
Difficulty 3/5 1-2 days Newbie friendliness 38/100
-
precision sv-comp unsound usability
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
precision
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
benchmarking
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
sv-comp
-
sv-comp unsound
Difficulty 5/5 Over a week Newbie friendliness 18/100
-
parallel
Difficulty 4/5 3-5 days Newbie friendliness 25/100
-
cleanup precision sv-comp
Difficulty 4/5 3-5 days Newbie friendliness 35/100