notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC		 Ukraine
NOW FIXED. We had a known problem with lists of packages - they were out of date. The fix has been applied to production. See packages-import/issues/3 & packages-import/issues/4
Port details
cbmc Bounded Model Checker for C and C++ programs
6.4.1 devel on this many watch lists=2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 6.3.1Version of this port present on the latest quarterly branch.
Maintainer: olivier@FreeBSD.org search for ports maintained by this maintainer
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (29 items)
Collapse this list.
  1. /usr/local/share/licenses/cbmc-6.4.1/catalog.mk
  2. /usr/local/share/licenses/cbmc-6.4.1/LICENSE
  3. /usr/local/share/licenses/cbmc-6.4.1/BSD4CLAUSE
  4. bin/cbmc
  5. bin/crangler
  6. bin/goto-analyzer
  7. bin/goto-cc
  8. bin/goto-diff
  9. bin/goto-instrument
  10. bin/goto-inspect
  11. bin/goto-harness
  12. bin/goto-synthesizer
  13. bin/symtab2gb
  14. bin/ls_parse.py
  15. bin/goto-gcc
  16. bin/goto-ld
  17. share/man/man1/cbmc.1.gz
  18. share/man/man1/crangler.1.gz
  19. share/man/man1/goto-analyzer.1.gz
  20. share/man/man1/goto-cc.1.gz
  21. share/man/man1/goto-diff.1.gz
  22. share/man/man1/goto-harness.1.gz
  23. share/man/man1/goto-inspect.1.gz
  24. share/man/man1/goto-instrument.1.gz
  25. share/man/man1/goto-synthesizer.1.gz
  26. share/man/man1/symtab2gb.1.gz
  27. @owner
  28. @group
  29. @mode
Collapse this list.
Dependency lines:
  • cbmc>0:devel/cbmc
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

Expand this list (2 items)

Collapse this list.

SHA256 (diffblue-cbmc-cbmc-6.4.1_GH0.tar.gz) = 09507765190bd14d07452b68003087160c80325b251a6f13d50845bb5f44ae7e SIZE (diffblue-cbmc-cbmc-6.4.1_GH0.tar.gz) = 9127951

Collapse this list.

Packages (timestamps in pop-ups are UTC):
cbmc
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest6.4.16.4.1-6.4.16.4.1---
FreeBSD:13:quarterly6.3.16.3.1-6.3.16.3.1---
FreeBSD:14:latest6.4.16.4.1-6.4.16.4.1---
FreeBSD:14:quarterly6.3.16.3.1-6.3.16.3.1---
FreeBSD:15:latest6.4.16.4.1n/a6.4.1n/a-5.95.15.95.1
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. flex : textproc/flex
  2. gmake>=4.4.1 : devel/gmake
  3. bison : devel/bison
  4. python3.11 : lang/python311
Test dependencies:
  1. python3.11 : lang/python311
Runtime dependencies:
  1. cvc5 : math/cvc5
  2. z3 : math/z3
  3. 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:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/diffblue/cbmc/tar.gz/cbmc-6.4.1?dummy=/
Collapse this list.

Number of commits found: 3

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
6.4.1
07 Jan 2025 18:37:29
commit hash: 127777fd65d52ec536aceb79c04f39d393f5703acommit hash: 127777fd65d52ec536aceb79c04f39d393f5703acommit hash: 127777fd65d52ec536aceb79c04f39d393f5703acommit hash: 127777fd65d52ec536aceb79c04f39d393f5703a files touched by this commit		 Olivier Cochard (olivier) search for other commits by this committer 
devel/cbmc: Update to 6.4.1
6.3.1
28 Oct 2024 10:04:33
commit hash: f7383f1ff55926327475489309e0522b60622b1ccommit hash: f7383f1ff55926327475489309e0522b60622b1ccommit hash: f7383f1ff55926327475489309e0522b60622b1ccommit hash: f7383f1ff55926327475489309e0522b60622b1c files touched by this commit		 Olivier Cochard (olivier) search for other commits by this committer 
devel/cbmc: update to 6.3.1
5.95.1
01 Feb 2024 17:53:55
commit hash: 7f087b720e52d51b22db0da2d7565418a0e428efcommit hash: 7f087b720e52d51b22db0da2d7565418a0e428efcommit hash: 7f087b720e52d51b22db0da2d7565418a0e428efcommit hash: 7f087b720e52d51b22db0da2d7565418a0e428ef files touched by this commit		 Olivier Cochard (olivier) search for other commits by this committer 
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
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
qt6-webengineFeb 02
chromiumJan 31
ungoogled-chromiumJan 31
dendriteJan 30
oauth2-proxyJan 30
chromiumJan 25
chromiumJan 25
electron32Jan 25
ungoogled-chromiumJan 25
ungoogled-chromiumJan 25
vaultwardenJan 25
clamavJan 23
clamav-ltsJan 23
electron33Jan 23
gitlabJan 23

14 vulnerabilities affecting 114 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2025-02-02 08:34:31 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33178
Broken 108
Deprecated 230
Ignore 230
Forbidden 1
Restricted 1
No CDROM 1
Vulnerable 29
Expired 28
Set to expire 186
Interactive 0
new 24 hours 19
new 48 hours22
new 7 days69
new fortnight79
new month126
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2025 Dan Langille. All rights reserved.