GitHub · Where software is built

Preview

Labels Milestones New issue

regression2sv-benchmarks improvements

#383

· sim642 opened

on Oct 11, 2021

Strongly update-able `calloc` blobs for more precise zstd analysis

#702

· sim642 opened

on Apr 26, 2022

Enhance detection of buffer overflows by introducing variable for length of array/blob

#620

· michael-schwarz opened

on Mar 3, 2022

General system for outputting custom metrics for BenchExec, etc

#488

· sim642 opened

on Dec 9, 2021

Int domain refinement causes fixpoint error

#1005

· sim642 opened

on Mar 1, 2023

Semaphore support

#1183

· sim642 opened

on Sep 21, 2023

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

#1209

· sim642 opened

on Oct 9, 2023

Clean thread joins analysis 4× slowdown

#1120

· sim642 opened

on Jul 28, 2023

Regressions from string literals domain

#1126

· sim642 opened

on Aug 3, 2023

Goblint-special functions for printing abstract state and expression values

good first issue

#1189

· sim642 opened

on Sep 26, 2023

Too much time spent on reachability computations

#1194

· sim642 opened

on Sep 27, 2023

Spurious type-based races for deep accesses to unknown pointers

#1195

· sim642 opened

on Sep 27, 2023