Search results

[Question]Soft Constraints for Irrelevant Variables in Test Suite Exploration

More info needed

question

Status: Open.

#8672 In diffblue/cbmc;

· kosuke321 opened on Jul 4, 2025

goto-cc fails to parse enum/struct/unions with C23 attribute sequences

Status: Open.

#8671 In diffblue/cbmc;

· archigup opened on Jul 3, 2025

[Question] C++ standard library and language version support

Status: Open.

#8663 In diffblue/cbmc;

· bob-boberman opened on Jun 24, 2025

CBMC gives spurious warning for unwind bound > 1

bug

Status: Open.

#8656 In diffblue/cbmc;

· Costandre97 opened on Jun 16, 2025

[Question] Can goto-cc be used with an ESP-IDF project easily

Status: Open.

#8640 In diffblue/cbmc;

· jdbaptista opened on May 19, 2025

goto-instrument -dfcc spurious "no body" warnings

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

Status: Open.

#8639 In diffblue/cbmc;

· rod-chapman opened on May 15, 2025

goto-instrument -dfcc spurious warnings

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

Status: Open.

#8638 In diffblue/cbmc;

· rod-chapman opened on May 11, 2025

Printing SMT file with Z3 backend crashes CBMC

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

bug

Solvers

Status: Open.

Bug

#8637 In diffblue/cbmc;

· rod-chapman opened on May 11, 2025

[Question] Mismatch Between pthread_create Declarations Causes Type Error

Concurrency

Status: Open.

#8635 In diffblue/cbmc;

· bob-boberman opened on May 7, 2025

Divide by +INFINITY raises NaN failure with --nan-check even when numerator is a finite number

Status: Open.

#8634 In diffblue/cbmc;

· sree314 opened on May 2, 2025

__CPROVER_assume behaviour different --float-overflow-check in CBMC 5.48 and CBMC 6.4

bug

Symbolic Execution

Status: Open.

#8633 In diffblue/cbmc;

· sree314 opened on Apr 29, 2025

JBMC and verification of URL encoding

Status: Open.

#8630 In diffblue/cbmc;

· Etienne13 opened on Apr 22, 2025