Пакет cbmc: Информация

Исходный пакет: cbmc

Версия: 5.95.1-alt2

Собран:  7 марта 2024 г. 12:35 в задании #340783

Категория: Разработка/C

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

Домашняя страница: https://www.cprover.org/cbmc/

VCS: https://github.com/diffblue/cbmc

Лицензия: BSD-4-Clause

О пакете: C Bounded Model Checker

Описание: 

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

Список rpm-пакетов, предоставляемых данным srpm-пакетом:
cbmc (x86_64, ppc64le, i586, armh, aarch64)
cbmc-debuginfo (x86_64, ppc64le, i586, armh, aarch64)

Сопровождающий: Daniel Zagaynov

Права:
Vitaly Chikunov
Daniel Zagaynov
@everybody