List view

Store all incremental data into single file

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 748

#748 In goblint/analyzer;

· by jerhard was closed on Jun 8, 2022

Remove <code>inthack</code> and fix i-lock star display

cleanupRefactoring, clean-upRefactoring, clean-up

type-safetyType-safety improvementsType-safety improvements

usability

Status: Merged (completed).

goblint/analyzernumber 749

#749 In goblint/analyzer;

· by sim642 was closed on Jun 7, 2022

Add YAML witness output

feature

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

usability

Status: Merged (completed).

goblint/analyzernumber 744

#744 In goblint/analyzer;

· by sim642 was closed on May 27, 2022

Add YAML witness validation by invariant checking

benchmarking

feature

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

Status: Merged (completed).

goblint/analyzernumber 745

#745 In goblint/analyzer;

· by sim642 was closed on May 31, 2022

Hide mutex structure contents and standard globals in base analysis

bug

unsound

usability

Status: Merged (completed).

goblint/analyzernumber 746

#746 In goblint/analyzer;

· by sim642 was closed on Jul 28, 2022

Add experimental generation and validation of YAML witness invariants with preconditions

cleanupRefactoring, clean-upRefactoring, clean-up

feature

precision

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

type-safetyType-safety improvementsType-safety improvements

Status: Merged (completed).

goblint/analyzernumber 752

#752 In goblint/analyzer;

· by sim642 was closed on Aug 4, 2022

Modify Library Function Specification for assert to not dereference its argument

bug

precision

usability

Status: Merged (completed).

goblint/analyzernumber 781

#781 In goblint/analyzer;

· by michael-schwarz was closed on Jul 13, 2022

Remove erroneous call to <code>truncateCilint</code> in <code>min_for</code>

bug

unsound

Status: Merged (completed).

goblint/analyzernumber 782

#782 In goblint/analyzer;

· by michael-schwarz was closed on Jul 13, 2022

Adapt to wrapped goblint-cil library

cleanupRefactoring, clean-upRefactoring, clean-up

setupDependencies, CI, releasingDependencies, CI, releasing

Status: Merged (completed).

goblint/analyzernumber 791

#791 In goblint/analyzer;

· by sim642 was closed on Aug 9, 2022

Categorize Remaining Warnings

cleanupRefactoring, clean-upRefactoring, clean-up

feature

usability

Status: Merged (completed).

goblint/analyzernumber 783

#783 In goblint/analyzer;

· by michael-schwarz was closed on Jul 19, 2022

Provide Common Configurations

documentationDocumentation, commentsDocumentation, comments

feature

usability

Status: Merged (completed).

goblint/analyzernumber 788

#788 In goblint/analyzer;

· by michael-schwarz was closed on Jul 25, 2022

Cleanup reporting of dead code

cleanupRefactoring, clean-upRefactoring, clean-up

usability

Status: Merged (completed).

goblint/analyzernumber 785

#785 In goblint/analyzer;

· by michael-schwarz was closed on Jul 18, 2022

Fix get_ikind in eval_rv_ask_mustbeequal and is_safe_cast

benchmarking

bug

Status: Merged (completed).

goblint/analyzernumber 790

#790 In goblint/analyzer;

· by Dudeldu was closed on Jul 21, 2022

Precondition Invariant: Disjunct over matching state invariants

unsound

Status: Merged (completed).

goblint/analyzernumber 786

#786 In goblint/analyzer;

· by jerhard was closed on Aug 4, 2022

Add server command <code>pre_files</code>

feature

preprocessingC preprocessingC preprocessing

usability

Status: Merged (completed).

goblint/analyzernumber 740

#740 In goblint/analyzer;

· by sim642 was closed on Aug 9, 2022

OCaml DSL for specifying <code>LibraryFunctions</code>

cleanupRefactoring, clean-upRefactoring, clean-up

feature

precision

type-safetyType-safety improvementsType-safety improvements

Status: Merged (completed).

goblint/analyzernumber 720

#720 In goblint/analyzer;

· by sim642 was closed on Jun 16, 2022

Option to only destabilize access globals (instead of following all side-effects) after re-setting them to bottom

benchmarking

feature

Status: Merged (completed).

goblint/analyzernumber 721

#721 In goblint/analyzer;

· by michael-schwarz was closed on May 4, 2022

Malloc uniqueness

precision

student-job

Status: Merged (completed).

goblint/analyzernumber 722

#722 In goblint/analyzer;

· by TDacik was closed on Jul 27, 2022

Interactive: improvements for smtprc story

benchmarking

bug

Status: Merged (completed).

goblint/analyzernumber 729

#729 In goblint/analyzer;

· by vesalvojdani was closed on May 19, 2022

Run dead code analysis with reanalyze

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 737

#737 In goblint/analyzer;

· by sim642 was closed on May 27, 2022

Drop OSEK support

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 736

#736 In goblint/analyzer;

· by michael-schwarz was closed on May 13, 2022

Interactive: fix expression locations

bug

usability

Status: Merged (completed).

goblint/analyzernumber 717

#717 In goblint/analyzer;

· by sim642 was closed on May 4, 2022

Incremental: (Cheap!) Full Reachability to Prune

bug

precision

Status: Merged (completed).

goblint/analyzernumber 713

#713 In goblint/analyzer;

· by michael-schwarz was closed on May 3, 2022

Handle renaming of local variables in incremental analysis (AST)

feature

performanceAnalysis time, memory usageAnalysis time, memory usage

student-job

Status: Merged (completed).

goblint/analyzernumber 731

#731 In goblint/analyzer;

· by TimOrtel was closed on Jul 11, 2022

Apron: Track relational information for variables that have their address taken

feature

precision

Status: Merged (completed).

goblint/analyzernumber 742

#742 In goblint/analyzer;

· by michael-schwarz was closed on Jun 23, 2022