GitHub · Where software is built

Preview

Labels Milestones New issue

Staging for Race Digests

goblint/analyzer

#1666

· michael-schwarz opened

on Jan 29, 2025

Printing of `Apron` values very slow

#1513

· michael-schwarz opened

on Jun 15, 2024

Crash on `pthread_mutex_lock` with complicated argument

#1421

· michael-schwarz opened

on Apr 18, 2024

Float domain ill-typed program crash on concrat/Mirai-Source-Code

#1209

· sim642 opened

on Oct 9, 2023

Spurious type-based races for deep accesses to unknown pointers

#1195

· sim642 opened

on Sep 27, 2023

Too much time spent on reachability computations

#1194

· sim642 opened

on Sep 27, 2023

Goblint-special functions for printing abstract state and expression values

good first issue

#1189

· sim642 opened

on Sep 26, 2023

Semaphore support

#1183

· sim642 opened

on Sep 21, 2023

Regressions from string literals domain

#1126

· sim642 opened

on Aug 3, 2023

Clean thread joins analysis 4× slowdown

#1120

· sim642 opened

on Jul 28, 2023

Atomic operations support

good first issue

#1057

· sim642 opened

on May 24, 2023

·

Int domain refinement causes fixpoint error

#1005

· sim642 opened

on Mar 1, 2023