Package cbmc: Information

Source package: cbmc

Version: 6.8.0-alt1

Build time:  Nov 8, 2025, 11:07 AM in the task #399336

Category: Development/C

Gear: https://git.altlinux.org/gears/c/cbmc.git?a=tree;hb=9e3c6fc14890…

Home page: https://www.cprover.org/cbmc/

VCS: https://github.com/diffblue/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, i586, aarch64)
cbmc-debuginfo (x86_64, i586, aarch64)

Maintainer: Vitaly Chikunov