Issues

• Fixpoint error during validation due to unassume and base path-sensitivity

  precisionsv-comp
  Bug

  goblint/analyzer#2168 · Filter by author sim642 opened on Sep 25, 2026

• affine-equality inclusion bug

  relational
  Bug

  goblint/analyzer#2163 · Filter by author kalmera opened on Sep 24, 2026
  

• Contradictory witness invariants produced by an incorrect constant sign

  bugsv-comp
  Bug

  goblint/analyzer#2159 · Filter by author karoliineh opened on Sep 22, 2026

• uninit analysis misses uninitialized variables accessed through the pointers after integer round-trip

  goblint/analyzer#2136 · Filter by author jprotopopov-ut opened on Sep 8, 2026
  2

• Use modulo constants as widening thresholds

  good first issueprecision
  Feature

  goblint/analyzer#2135 · Filter by author michael-schwarz opened on Sep 7, 2026
  5

• Produce diagnostic when set of potential callees is excessively large

  usability
  goblint/analyzer#2134 · Filter by author michael-schwarz opened on Sep 7, 2026

• printf format string interpretation

  precisionstudent-jobunsound
  Feature

  goblint/analyzer#2119 · Filter by author sim642 opened on Aug 26, 2026

• Unsound collapsing of different struct blobs

  sv-compunsound
  Bug

  goblint/analyzer#2106 · Filter by author sim642 opened on Aug 17, 2026 · SV-COMP 2027
  4

• Escapes via memcpy are ignored

  unsound
  Bug

  goblint/analyzer#2103 · Filter by author michael-schwarz opened on Aug 16, 2026 · SV-COMP 2027
  1

• Unexpected verdict changes in sv-benchmarks due to safe_malloc

  precisionsv-compunsound
  Bug

  goblint/analyzer#2102 · Filter by author sim642 opened on Aug 15, 2026 · SV-COMP 2027
  3

• 46/94: Invalidation on thread creation broken

  relationalunsound
  Bug

  goblint/analyzer#2098 · Filter by author michael-schwarz opened on Aug 12, 2026

• Race Reporting: Employ Dominance Elimination

  explainabilitygood first issueusability
  Feature

  goblint/analyzer#2074 · Filter by author michael-schwarz opened on Jul 16, 2026

• memOutOfBounds analysis ignores StrPtrs

  sv-compunsound
  Bug

  goblint/analyzer#2062 · Filter by author sim642 opened on Jun 18, 2026 · SV-COMP 2027

• pthreadSignals: Investigate using MCPAccess.may_race instead of only MHP

  cleanupprecision
  Task

  goblint/analyzer#2023 · Filter by author michael-schwarz opened on May 7, 2026
  3

• Queries.ID uses the options from ana.int.*

  precision
  Bug

  goblint/analyzer#2011 · Filter by author michael-schwarz opened on Apr 27, 2026

• Enable exp.single-threaded in SV-COMP single-threaded autotuner

  performanceprecisionsv-comp
  Feature

  goblint/analyzer#1996 · Filter by author sim642 opened on Apr 13, 2026 · SV-COMP 2027

• Detect calls to functions that are not signal-safe in signal handlers

  good first issuestudent-job
  Feature

  goblint/analyzer#1986 · Filter by author michael-schwarz opened on Apr 12, 2026
  1

• Allow analyses to not have their own bottom element but rely on Deadcode for that

  cleanup
  Task

  goblint/analyzer#1978 · Filter by author michael-schwarz opened on Apr 2, 2026

• Audit for performance bottlenecks

  performance
  Task

  goblint/analyzer#1975 · Filter by author michael-schwarz opened on Apr 1, 2026
  3

  

• See if insights about Juliet from IKOS carry over

  precisionstudent-jobsv-comp
  Task

  goblint/analyzer#1968 · Filter by author michael-schwarz opened on Mar 24, 2026

• Excessive allocations during map join

  analyze-thatperformance
  Bug

  goblint/analyzer#1967 · Filter by author sim642 opened on Mar 23, 2026
  1

• Synthesize top argument values by type for specially spawned functions

  precision
  Feature

  goblint/analyzer#1958 · Filter by author sim642 opened on Mar 9, 2026

• Limit hashconsing to apron domain if it is undesired globally instead of refusing to run

  relational
  Feature

  goblint/analyzer#1956 · Filter by author michael-schwarz opened on Mar 6, 2026

• Tracking function pointers in indirectly pointed structures

  analyze-thatunsound
  Bug

  goblint/analyzer#1951 · Filter by author jprotopopov-ut opened on Mar 5, 2026
  9

• Handling of compatible structure types under C23 semantics

  analyze-that
  Feature

  goblint/analyzer#1950 · Filter by author jprotopopov-ut opened on Mar 5, 2026
  11