Package cbmc: Information

Source package: cbmc

Version: 5.95.1-alt2

Build time:  Mar 7, 2024, 12:35 PM in the task #340783

Category: Development/C

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

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 rpms provided by this srpm:
cbmc (x86_64, ppc64le, i586, armh, aarch64)
cbmc-debuginfo (x86_64, ppc64le, i586, armh, aarch64)

Maintainer: Daniel Zagaynov

ACL:
Vitaly Chikunov
Daniel Zagaynov
@everybody