Search results

Ability to enable/disable may_race checks per race diges

feature

Status: Draft (not ready).

goblint/analyzernumber 1669

#1669 In goblint/analyzer;

· michael-schwarz opened on Jan 31, 2025

Staging for Race Digests

benchmarking

feature

in progress

Status: Draft (not ready).

goblint/analyzernumber 1666

#1666 In goblint/analyzer;

· michael-schwarz opened on Jan 29, 2025

Ability to enable/disable may_race checks per race digest

feature

Status: Open.

#1664 In goblint/analyzer;

· michael-schwarz opened on Jan 24, 2025

Support for pthread_once

feature

Status: Open (in progress).

goblint/analyzernumber 1663

#1663 In goblint/analyzer;

· michael-schwarz opened on Jan 24, 2025

Consider pointees separately for refinement

feature

precision

Status: Open (in progress).

goblint/analyzernumber 1659

#1659 In goblint/analyzer;

· michael-schwarz opened on Jan 19, 2025

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

Analysis of pthread_barriers

feature

precision

Status: Open (in progress).

goblint/analyzernumber 1652

#1652 In goblint/analyzer;

· michael-schwarz opened on Dec 24, 2024

Analysis of pthread_barrier for race detection

feature

precision

Status: Open.

Feature

#1651 In goblint/analyzer;

· michael-schwarz opened on Dec 21, 2024

Warn about bitwise shift misuse with negative arguments

feature

good first issue

Status: Open.

#1637 In goblint/analyzer;

· sim642 opened on Dec 4, 2024

Narrowing of globals in TD

feature

precision

student-job

Status: Open (in progress).

goblint/analyzernumber 1636

#1636 In goblint/analyzer;

· Red-Panda64 opened on Dec 2, 2024

Replace race warning confidences with semantic information

cleanupRefactoring, clean-upRefactoring, clean-up

explainability

feature

usability

Status: Open.

#1634 In goblint/analyzer;

· sim642 opened on Nov 29, 2024

Refine float-integer casts in BaseInvariant

feature

precision

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

Status: Open.

#1632 In goblint/analyzer;

· sim642 opened on Nov 26, 2024