Search results

s2n_record_writev standalone example

awsBugs or features of importance to AWS CBMC usersBugs or features of importance to AWS CBMC users

Code ContractsFunction and loop contractsFunction and loop contracts

do not merge

Status: Draft (not ready).

diffblue/cbmcnumber 7357

#7357 In diffblue/cbmc;

· nwetzler opened on Nov 16, 2022

Support overflow plus/minus expressions over pointers

awsBugs or features of importance to AWS CBMC usersBugs or features of importance to AWS CBMC users

do not merge

KaniBugs or features of importance to Kani Rust VerifierBugs or features of importance to Kani Rust Verifier

Pointer Modelling

Status: Open (in progress).

diffblue/cbmcnumber 6881

#6881 In diffblue/cbmc;

· tautschnig opened on May 24, 2022

is_invalid_pointer is now defined as a bi-implication

awsBugs or features of importance to AWS CBMC usersBugs or features of importance to AWS CBMC users

do not merge

Status: Open (in progress).

diffblue/cbmcnumber 6366

#6366 In diffblue/cbmc;

· kroening opened on Sep 25, 2021

[RFC] Refactor command line options

do not merge

RFCRequest for commentRequest for comment

Status: Open (in progress).

diffblue/cbmcnumber 4404

#4404 In diffblue/cbmc;

· peterschrammel opened on Mar 18, 2019