List view

'make headers' does not create all required compiler-gcc headers

bug

good first issue

preprocessingC preprocessingC preprocessing

setupDependencies, CI, releasingDependencies, CI, releasing

Status: Open.

#804 In goblint/analyzer;

· manuel-pietsch opened on Jul 28, 2022

Handle offsets on casted pointers soundly

bug

unsound

Status: Open.

#1025 In goblint/analyzer;

· jerhard opened on Mar 29, 2023

Termination analysis cleanup

bug

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

precision

testing

unsound

Status: Open.

#1245 In goblint/analyzer;

· sim642 opened on Nov 15, 2023

Remove duplicate ctx-derived arguments in base analysis

cleanupRefactoring, clean-upRefactoring, clean-up

good first issue

Status: Open.

#1266 In goblint/analyzer;

· sim642 opened on Nov 22, 2023

Avoid eager string conversions during analysis

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Open.

Bug

#1795 In goblint/analyzer;

· sim642 opened on Jul 30, 2025

Stop printing solver stats after solving finishes

good first issue

Status: Open.

Bug

#1796 In goblint/analyzer;

· sim642 opened on Jul 30, 2025

Upgrade to OCaml 5.0 as default

dependenciesPull requests that update a dependency filePull requests that update a dependency file

setupDependencies, CI, releasingDependencies, CI, releasing

Status: Open (in progress).

goblint/analyzernumber 1137

#1137 In goblint/analyzer;

· sim642 opened on Aug 16, 2023

Support for inline assembler & goto instructions in inline assembler

feature

pr-dependencyDepends or builds on another PR, which should be merged beforeDepends or builds on another PR, which should be merged before

practical-coursePractical Course at TUMPractical Course at TUM

student-job

Status: Open (in progress).

goblint/analyzernumber 1326

#1326 In goblint/analyzer;

· WernerDrasche opened on Jan 11, 2024

Enhance detection of buffer overflows by introducing variable for length of array/blob

feature

precision

relationalRelational analyses (Apron, affeq, lin2var)Relational analyses (Apron, affeq, lin2var)

student-job

Status: Draft (not ready).

goblint/analyzernumber 1330

#1330 In goblint/analyzer;

· FungOliver opened on Jan 16, 2024

Replace eager show with lazy pretty during analysis

bug

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

relationalRelational analyses (Apron, affeq, lin2var)Relational analyses (Apron, affeq, lin2var)

Status: Open (in progress).

goblint/analyzernumber 1797

#1797 In goblint/analyzer;

· sim642 opened on Jul 30, 2025

Change jobs option default to 0

parallelParallel GoblintParallel Goblint

performanceAnalysis time, memory usageAnalysis time, memory usage

usability

Status: Open (in progress).

goblint/analyzernumber 1810

#1810 In goblint/analyzer;

· sim642 opened on Aug 15, 2025

Violation witness feasibility analysis using Witch

feature

sv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnesses

Status: Draft (not ready).

goblint/analyzernumber 1882

#1882 In goblint/analyzer;

· karoliineh opened on Nov 27, 2025

Add warnings about missing function declarations

bug

testing

Status: Open (in progress).

goblint/analyzernumber 1911

#1911 In goblint/analyzer;

· sim642 opened on Jan 16, 2026

Use Codex patricia-tree library for base map domain

analyze-that

bug

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Draft (not ready).

goblint/analyzernumber 2002

#2002 In goblint/analyzer;

· sim642 opened on Apr 15, 2026

Clean up library function spawning in base analysis

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Open.

Task

#1553 In goblint/analyzer;

· sim642 opened on Aug 5, 2024

Fix missing __attribute__((__goblint_relation_track__)) on formal parameters in justcil output

Status: Open (in progress).

goblint/analyzernumber 1992

#1992 In goblint/analyzer;

· Copilot opened on Apr 12, 2026

Tutorial signs.ml is broken due to constant encoding

Status: Open.

Bug

#2013 In goblint/analyzer;

· Ang9876 opened on Apr 30, 2026

Fix signs.ml tutorial eval to handle negated constants via UnOp

bug

Status: Open (in progress).

goblint/analyzernumber 2014

#2014 In goblint/analyzer;

· Copilot opened on Apr 30, 2026