| Port details |
- cbmc Bounded Model Checker for C and C++ programs
- 6.4.1 devel
 =2      6.3.1Version of this port present on the latest quarterly branch. - Maintainer: olivier@FreeBSD.org
- Port Added: 2024-02-01 17:57:05
- Last Update: 2025-01-07 18:37:29
- Commit Hash: 127777f
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: BSD4CLAUSE
- WWW:
- https://github.com/diffblue/cbmc
- 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 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/cbmc/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/cbmc
- pkg install cbmc
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: cbmc
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1736265016
SHA256 (minisat2_2.2.1.orig.tar.gz) = e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40
SIZE (minisat2_2.2.1.orig.tar.gz) = 44229
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- flex : textproc/flex
- gmake>=4.4.1 : devel/gmake
- bison : devel/bison
- python3.11 : lang/python311
- Test dependencies:
-
- python3.11 : lang/python311
- Runtime dependencies:
-
- cvc5 : math/cvc5
- z3 : math/z3
- python3.11 : lang/python311
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- devel_cbmc
- USES:
- gmake bison python shebangfix
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 3
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
6.4.1
07 Jan 2025 18:37:29
 |
Olivier Cochard (olivier) |
devel/cbmc: Update to 6.4.1 |
6.3.1
28 Oct 2024 10:04:33
|
Olivier Cochard (olivier) |
devel/cbmc: update to 6.3.1 |
5.95.1
01 Feb 2024 17:53:55
|
Olivier Cochard (olivier) |
devel/cbmc: add new port
Bounded Model Checker for C and C++ programs
https://github.com/diffblue/cbmc
Sponsored by: Netflix |
Number of commits found: 3
|
As an Amazon Associate I earn from qualifying purchases.