GitHub · Where software is built

Labels Milestones New issue

[Question] Running CBMC on a C file with dynamic linking and/or shared libraries

#8606

· a-shokri opened

on Mar 10, 2025

Multidimensional arrays?

#8096

· DennisYurichev opened

on Dec 7, 2023

Unwinding loop __isoc99_vfscanf.0 iteration 1 file <builtin-library-__isoc99_vfscanf> line 32 function __isoc99_vfscanf thread 0

#7971

· iejzh opened

on Oct 20, 2023

CBMC stucks with --unsigned-overflow-check

Performance Optimisations

#7968

· cradiator opened

on Oct 18, 2023

[Question] Can the input set be partitioned into multiple subsets?

#7945

· neiling opened

on Oct 10, 2023

Source code for SATABS

#7942

· mkschreder opened

on Oct 8, 2023

question - I would like to see a concise list of pragmas, and what they relate to

#7867

· ylevhariamzn opened

on Aug 27, 2023

C code has extern keyword in pointer check.

#7823

· Elowen-jjw opened

on Jul 21, 2023

[Question] Is it possible to get the specific values of all variables in a witness file in GraphML format?

#7804

· Chriszai opened

on Jul 10, 2023

[Question] Generate logic equations from C code?

#7803

· PeterMacGonagan opened

on Jul 9, 2023

How to verify a pointer from an external interface?

More info needed

#7598

· zpzigi754 opened

on Mar 15, 2023

Warnings from purity checks on assertions and assumptions

#7189

· feliperodri opened

on Oct 5, 2022