Search results

DefExc: unit tests use polymorphic equality

good first issue

testing

Status: Open.

Bug

#1686 In goblint/analyzer;

· michael-schwarz opened on Feb 18, 2025

Inequalities between pointers do not work

good first issue

precision

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

Status: Open.

Feature

#1680 In goblint/analyzer;

· karoliineh opened on Feb 13, 2025

 ·  

SV-COMP 2026

Refine pointer sets upon assertion about pointee

feature

good first issue

precision

Status: Open.

Feature

#1658 In goblint/analyzer;

· michael-schwarz opened on Jan 19, 2025

Warn about bitwise shift misuse with negative arguments

feature

good first issue

Status: Open.

#1637 In goblint/analyzer;

· sim642 opened on Dec 4, 2024

Avoid populating dep table in TD3 when non-incremental

bug

good first issue

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Open.

#1566 In goblint/analyzer;

· sim642 opened on Sep 6, 2024

Investigate instances of fold_right

cleanupRefactoring, clean-upRefactoring, clean-up

good first issue

Status: Open.

#1536 In goblint/analyzer;

· michael-schwarz opened on Jul 6, 2024

Narrowing by fixed number of meets

feature

good first issue

precision

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

Status: Open.

#1494 In goblint/analyzer;

· sim642 opened on May 29, 2024

Reconsider not writing to known addresses if a pointer contains an unknown element

good first issue

unsound

Status: Open.

#1461 In goblint/analyzer;

· michael-schwarz opened on May 14, 2024

Switch from BatEnum to Seq

cleanupRefactoring, clean-upRefactoring, clean-up

good first issue

Status: Open.

#1437 In goblint/analyzer;

· sim642 opened on Apr 30, 2024

Dedicated Context Constructions for Termination Analysis

good first issue

precision

student-job

Status: Open.

#1422 In goblint/analyzer;

· michael-schwarz opened on Apr 21, 2024

 ·  

SV-COMP 2026

Improve dune runtest output

cleanupRefactoring, clean-upRefactoring, clean-up

good first issue

testing

usability

Status: Open.

#1392 In goblint/analyzer;

· sim642 opened on Mar 12, 2024

Optimize heterogeneous Apron join

good first issue

performanceAnalysis time, memory usageAnalysis time, memory usage

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

Status: Open.

#1275 In goblint/analyzer;

· sim642 opened on Nov 27, 2023