Search results

affeq analysis crashes on 672 SV-COMP Juliet overflow tasks

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

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

Status: Open.

Bug

#1943 In goblint/analyzer;

· sim642 opened on Feb 6, 2026

·  

SV-COMP 2027

Non-deterministic non-termination of <code>ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--device_handler--scsi_dh_rdac.ko-entry_point.cil.out.i</code>

performanceAnalysis time, memory usageAnalysis time, memory usage

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

Status: Open.

Bug

#1942 In goblint/analyzer;

· sim642 opened on Feb 6, 2026

·  

SV-COMP 2027

MCP Server

Status: Open.

Feature

#1937 In goblint/analyzer;

· michael-schwarz opened on Feb 3, 2026

Investigate growing set of protected mutexes for cluster-analysis

precision

Status: Open.

Feature

#1936 In goblint/analyzer;

· michael-schwarz opened on Feb 3, 2026

Fatal error in <code>strcmp</code> in callbacks passing through a function with missing definition

Status: Open.

Bug

#1934 In goblint/analyzer;

· jprotopopov-ut opened on Jan 29, 2026

False invariants in correctness witnesses generated by Goblint

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

unsound

Status: Open.

Bug

#1926 In goblint/analyzer;

· jprotopopov-ut opened on Jan 21, 2026

·  

SV-COMP 2027

<code>location_invariant</code> should not be at <code>switch</code> <code>case</code> label

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

Status: Open.

Bug

#1925 In goblint/analyzer;

· sim642 opened on Jan 21, 2026

·  

SV-COMP 2027

BranchSet: Possibilities for Optimization

bug

performanceAnalysis time, memory usageAnalysis time, memory usage

precision

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

Status: Open.

#1903 In goblint/analyzer;

· michael-schwarz opened on Dec 16, 2025

·  

SV-COMP 2027

YAML witnesses containing entries with different versions in SV-COMP 2026

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

Status: Open.

Bug

#1902 In goblint/analyzer;

· sim642 opened on Dec 15, 2025

·  

SV-COMP 2027

Enable <code>sem.malloc.fail</code> or set <code>sem.malloc.zero</code> to <code>pointer</code> for SV-COMP 2027

precision

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

unsound

Status: Open.

Task

#1888 In goblint/analyzer;

· sim642 opened on Dec 1, 2025

·  

SV-COMP 2027

[BA] Synthesizing linear ranking functions for LASW programs

student-job

Status: Open.

Feature

#1872 In goblint/analyzer;

· DrMichaelPetter opened on Nov 11, 2025

Parsing results in Stack Overflow

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

Status: Open.

Bug

#1866 In goblint/analyzer;

· michael-schwarz opened on Nov 7, 2025