Search results

Update bash-completion for arg-complete 0.2.x, remove Arg_complete.Rest_all_compat

cleanupRefactoring, clean-upRefactoring, clean-up

usability

Status: Open (in progress).

goblint/analyzernumber 1670

#1670 In goblint/analyzer;

· sim642 opened on Feb 4, 2025

 ·  

v2.6.0

Add abstract interface to Invariant

cleanupRefactoring, clean-upRefactoring, clean-up

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

type-safetyType-safety improvementsType-safety improvements

Status: Draft (not ready).

goblint/analyzernumber 1668

#1668 In goblint/analyzer;

· sim642 opened on Jan 31, 2025

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

Replace readwrite protection with read protection

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Open (in progress).

goblint/analyzernumber 1631

#1631 In goblint/analyzer;

· sim642 opened on Nov 25, 2024

Use CIL fallthrough field for CFG construction

cleanupRefactoring, clean-upRefactoring, clean-up

feature

usability

Status: Open.

#1620 In goblint/analyzer;

· sim642 opened on Nov 5, 2024

Audit for missing type unrollings

cleanupRefactoring, clean-upRefactoring, clean-up

precision

Status: Open.

#1600 In goblint/analyzer;

· sim642 opened on Oct 16, 2024

Clean up library function spawning in base analysis

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Open.

#1553 In goblint/analyzer;

· sim642 opened on Aug 5, 2024

Clear up meaning of MayEscape & Distinguish a local becoming reachable via globals from being reachable by other threads

bug

cleanupRefactoring, clean-upRefactoring, clean-up

documentationDocumentation, commentsDocumentation, comments

question

Status: Open.

#1544 In goblint/analyzer;

· michael-schwarz opened on Jul 16, 2024

Investigate instances of fold_right

cleanupRefactoring, clean-upRefactoring, clean-up

good first issue

Status: Open.

#1536 In goblint/analyzer;

· michael-schwarz opened on Jul 6, 2024

Refactor writing to pointers

bug

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Draft (not ready).

goblint/analyzernumber 1531

#1531 In goblint/analyzer;

· karoliineh opened on Jul 1, 2024

Proposal: Unify handling of malloc and escaping locals

cleanupRefactoring, clean-upRefactoring, clean-up

relationalRelational analyses (Apron, affeq, lin2var)Relational analyses (Apron, affeq, lin2var)

Status: Open.

#1491 In goblint/analyzer;

· michael-schwarz opened on May 27, 2024

Make use of OCaml 4.14 features

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Open.

#1477 In goblint/analyzer;

· sim642 opened on May 22, 2024