Issues · goblint/analyzer · GitHub

Labels Milestones New issue

OCaml 5.5 support

#2006

· kit-ty-kate opened

on Apr 20, 2026

·

v2.8.0 Clumsy Clurichaun

Apply transfer function to resulting paths if `split` happens in `sync`

#2004

· michael-schwarz opened

on Apr 20, 2026

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

#1996

· sim642 opened

on Apr 13, 2026

·

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

good first issue

#1986

· michael-schwarz opened

on Apr 12, 2026

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

#1978

· michael-schwarz opened

on Apr 2, 2026

Audit for performance bottlenecks

#1975

· michael-schwarz opened

on Apr 1, 2026

See if insights about Juliet from IKOS carry over

#1968

· michael-schwarz opened

on Mar 24, 2026

Excessive allocations during map `join` in refinement by ambiguous pointer

#1967

· sim642 opened

on Mar 23, 2026

Synthesize top argument values by type for specially spawned functions

#1958

· sim642 opened

on Mar 9, 2026

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

#1956

· michael-schwarz opened

on Mar 6, 2026

Tracking function pointers in indirectly pointed structures

#1951

· jprotopopov-ut opened

on Mar 5, 2026

Handling of compatible structure types under C23 semantics

#1950

· jprotopopov-ut opened

on Mar 5, 2026