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 <code>ctx</code>-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 &amp; <code>goto</code> 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 <code>show</code> with lazy <code>pretty</code> 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 <code>jobs</code> 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 <code>Witch</code>

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: Draft (not ready).

goblint/analyzernumber 1911

#1911 In goblint/analyzer;

· sim642 opened on Jan 16, 2026