Package cbmc: Information
Source package: cbmc
Version: 6.4.1-alt1
Build time: Nov 29, 2024, 08:56 PM in the task #363667
Category: Development/C
Report package bugHome page: https://www.cprover.org/cbmc/
License: BSD-4-Clause
Summary: C Bounded Model Checker
Description:
CBMC is a Bounded Model Checker for C and C++ programs. It supports C89, C99, most of C11 and most compiler extensions provided by gcc and Visual Studio. It also supports SystemC using Scoot. It allows verifying array bounds (buffer overflows), pointer safety, exceptions and user-specified assertions. Furthermore, it can check C and C++ for consistency with other languages, such as Verilog. The verification is performed by unwinding the loops in the program and passing the resulting equation to a decision procedure. OOOOOOOOO OOO . . OOO OO \ / OOOOO OO `/ ! OOO OO OO | :OOO| OO OO ~|OOO: |~ OO OO OOO_:_/ \ OO OOOO OOO OOOOOOOOOOO
List of RPM packages built from this SRPM:
cbmc (x86_64, ppc64le, i586, aarch64)
cbmc-debuginfo (x86_64, ppc64le, i586, aarch64)
cbmc (x86_64, ppc64le, i586, aarch64)
cbmc-debuginfo (x86_64, ppc64le, i586, aarch64)
Maintainer: Daniel Zagaynov
Last changed
Nov. 29, 2024 Daniel Zagaynov 6.4.1-alt1
- Update to cbmc-6.4.1.
Nov. 7, 2024 Daniel Zagaynov 6.4.0-alt1
- Update to cbmc-6.4.0.
Sept. 24, 2024 Daniel Zagaynov 6.3.1-alt1
- Update to cbmc-6.3.1 (thx vt@).