Owner
goblint
1 indexed repository · View on GitHub
-
analyzer
Static analysis framework for C
OCaml · 252 stars
-
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
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.