Search results

Aliasing pre-condition not processed correctly if is_fresh clause it not standalone

bug

pending merge

soundnessSoundness bug? Review and add "aws" if it is, or remove "soundness" if it isn't.Soundness bug? Review and add "aws" if it is, or remove "soundness" if it isn't.

Status: Open.

#8492 In diffblue/cbmc;

· hanno-becker opened on Nov 4, 2024

1

3 comments

Undetected pointer representation overflows

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

aws-high

soundnessSoundness bug? Review and add "aws" if it is, or remove "soundness" if it isn't.Soundness bug? Review and add "aws" if it is, or remove "soundness" if it isn't.

Version 6Pull requests and issues requiring a major version bumpPull requests and issues requiring a major version bump

Status: Open.

#7972 In diffblue/cbmc;

· remi-delmas-3000 opened on Oct 20, 2023

2 comments



Address reuse of malloc cannot be detected

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

Pointer Modelling

soundnessSoundness bug? Review and add "aws" if it is, or remove "soundness" if it isn't.Soundness bug? Review and add "aws" if it is, or remove "soundness" if it isn't.

Version 6Pull requests and issues requiring a major version bumpPull requests and issues requiring a major version bump

Status: Open.

#2117 In diffblue/cbmc;

· peterschrammel opened on Apr 26, 2018

21 comments