Search results

Use goto-analyzer to add assumptions, assertions and code contracts

Status: Draft (not ready).

diffblue/cbmcnumber 7964

#7964 In diffblue/cbmc;

· martin-cs opened on Oct 17, 2023

Add an abstract domain with very basic relational reasoning

Status: Draft (not ready).

diffblue/cbmcnumber 7361

#7361 In diffblue/cbmc;

· martin-cs opened on Nov 18, 2022

Refactor/move abstract interpreter functionality into goto analyzer 1

Status: Open (in progress).

diffblue/cbmcnumber 7120

#7120 In diffblue/cbmc;

· martin-cs opened on Sep 11, 2022

A new abstract interpreter for performing function-local analysis

Status: Draft (not ready).

diffblue/cbmcnumber 6529

#6529 In diffblue/cbmc;

· martin-cs opened on Dec 15, 2021