Package cbmc: Information

    Source package: cbmc
    Version: 6.4.1-alt1
    Latest version according to Repology
    Build time:  Nov 29, 2024, 08:56 PM in the task #363667
    Category: Development/C
    Report package bug
    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)

    Maintainer: Daniel Zagaynov

    List of contributors:
    Daniel Zagaynov
    Vitaly Chikunov


      1. cmake
      2. ctest
      3. ninja-build
      4. libcadical-devel-static
      5. rpm-build-python3
      6. perl-Term-ANSIColor
      7. rpm-macros-cmake
      8. libglpk-devel
      9. flex
      10. gcc-c++
      11. zlib-devel

    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@).