v2.2.0

List view

MayLock Analysis & Sanity Checks of Mutex Usage & Analysis of Mutex Types

feature

Status: Merged (completed).

goblint/analyzernumber 839

#839 In goblint/analyzer;

· by michael-schwarz was closed on May 29, 2023

Group globals for comparison and updating of ids

bug

Status: Merged (completed).

goblint/analyzernumber 836

#836 In goblint/analyzer;

· by stilscher was closed on Nov 25, 2022

ArrayDomain: normalize after widen and join

bug

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 918

#918 In goblint/analyzer;

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

Use flambda compiler optimization

performanceAnalysis time, memory usageAnalysis time, memory usage

setupDependencies, CI, releasingDependencies, CI, releasing

student-job

Status: Merged (completed).

goblint/analyzernumber 928

#928 In goblint/analyzer;

· by mrstanb was closed on Jan 16, 2023

Fixes for the incremental analysis with cfg comparison

bug

Status: Merged (completed).

goblint/analyzernumber 841

#841 In goblint/analyzer;

· by stilscher was closed on Nov 25, 2022

Option to set the C language standard for CIL in Goblint

c11

c99

feature

Status: Merged (completed).

goblint/analyzernumber 905

#905 In goblint/analyzer;

· by stilscher was closed on Nov 24, 2022

Support location_invariant entry type in YAML witnesses

feature

Status: Merged (completed).

goblint/analyzernumber 908

#908 In goblint/analyzer;

· by sim642 was closed on Nov 25, 2022

Move incremental data management out of TD3

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 909

#909 In goblint/analyzer;

· by sim642 was closed on Nov 25, 2022

Clean up warrowing box

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 891

#891 In goblint/analyzer;

· by sim642 was closed on Jan 16, 2023

Simplify solution querying

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 920

#920 In goblint/analyzer;

· by sim642 was closed on Nov 25, 2022

Base.invariant: Refine congruence information on x % 2 != c

precision

Status: Merged (completed).

goblint/analyzernumber 922

#922 In goblint/analyzer;

· by jerhard was closed on Nov 25, 2022

Remove hack to --undef __BLOCKS__

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 923

#923 In goblint/analyzer;

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

Read offsets separately in eval_rv_base for pointer dereference

bug

precision

unsound

Status: Merged (completed).

goblint/analyzernumber 935

#935 In goblint/analyzer;

· by jerhard was closed on Dec 2, 2022

Marshal array_map in Base, only collect entries when needed

bug

Status: Merged (completed).

goblint/analyzernumber 933

#933 In goblint/analyzer;

· by jerhard was closed on Nov 29, 2022

Fix/region

bug

unsound

Status: Merged (completed).

goblint/analyzernumber 66

#66 In goblint/analyzer;

· by vogler was closed on Jun 1, 2023

Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences

feature

precision

Status: Merged (completed).

goblint/analyzernumber 1154

#1154 In goblint/analyzer;

· by michael-schwarz was closed on Sep 12, 2023

Document Goblint benchmarking best practices

documentationDocumentation, commentsDocumentation, comments

Status: Merged (completed).

goblint/analyzernumber 1160

#1160 In goblint/analyzer;

· by sim642 was closed on Sep 12, 2023

Congruences: Make % sound by restricting cases where we return a constant

bug

unsound

Status: Merged (completed).

goblint/analyzernumber 1161

#1161 In goblint/analyzer;

· by michael-schwarz was closed on Sep 13, 2023

Fix OCaml 5.0 Apron compatibility

dependenciesPull requests that update a dependency filePull requests that update a dependency file

setupDependencies, CI, releasingDependencies, CI, releasing

Status: Merged (completed).

goblint/analyzernumber 1162

#1162 In goblint/analyzer;

· by sim642 was closed on Sep 13, 2023

goblint: fix lower bound on yaml

dependenciesPull requests that update a dependency filePull requests that update a dependency file

setupDependencies, CI, releasingDependencies, CI, releasing

Status: Merged (completed).

goblint/analyzernumber 1157

#1157 In goblint/analyzer;

· by edwintorok was closed on Sep 11, 2023

Add support for quick_exit

feature

student-job

Status: Merged (completed).

goblint/analyzernumber 1135

#1135 In goblint/analyzer;

· by mrstanb was closed on Aug 11, 2023

Make access outer distribution lazy

benchmarking

feature

usability

Status: Merged (completed).

goblint/analyzernumber 1136

#1136 In goblint/analyzer;

· by karoliineh was closed on Sep 12, 2023

Detect memory deallocation at offset from memory start

feature

student-job

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

Status: Merged (completed).

goblint/analyzernumber 1139

#1139 In goblint/analyzer;

· by mrstanb was closed on Aug 22, 2023

Unassume benchmarking fixes

benchmarking

precision

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

Status: Merged (completed).

goblint/analyzernumber 1124

#1124 In goblint/analyzer;

· by sim642 was closed on Sep 5, 2023

Fix Queries.BlobSize

bug

Status: Merged (completed).

goblint/analyzernumber 1125

#1125 In goblint/analyzer;

· by mrstanb was closed on Aug 10, 2023