As 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 photos
All times are UTCnotbug
Ukraine
Menu ☰ Menu
Search engines are not blocked. Try using "site:www.freshports.org" and your search terms.
Volunteers wanted to help translate FreshPorts
Searches without login should now work. You must get asked to click a button.
Port details
cbmc Bounded Model Checker for C and C++ programs
6.11.0 devel Σ=0 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.11.0Version 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: 2026-08-25 22:11:55
Commit Hash: eecb07b
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: #
pkg-plist: as obtained via: make generate-plist #
Expand this list (36 items)
Collapse this list.
  1. /usr/local/share/licenses/cbmc-6.11.0/catalog.mk
  2. /usr/local/share/licenses/cbmc-6.11.0/LICENSE
  3. /usr/local/share/licenses/cbmc-6.11.0/BSD4CLAUSE
  4. bin/cbmc
  5. bin/cprover
  6. bin/crangler
  7. bin/goto-analyzer
  8. bin/goto-cc
  9. bin/goto-diff
  10. bin/goto-gcc
  11. bin/goto-harness
  12. bin/goto-inspect
  13. bin/goto-instrument
  14. bin/goto-ld
  15. bin/goto-synthesizer
  16. bin/ls_parse.py
  17. bin/symtab2gb
  18. etc/bash_completion.d/cbmc
  19. include/cprover/api.h
  20. include/cprover/api_options.h
  21. include/cprover/verification_result.h
  22. lib/libcprover.6.11.0.a
  23. share/man/man1/cbmc.1.gz
  24. share/man/man1/crangler.1.gz
  25. share/man/man1/goto-analyzer.1.gz
  26. share/man/man1/goto-cc.1.gz
  27. share/man/man1/goto-diff.1.gz
  28. share/man/man1/goto-gcc.1.gz
  29. share/man/man1/goto-harness.1.gz
  30. share/man/man1/goto-instrument.1.gz
  31. share/man/man1/goto-ld.1.gz
  32. share/man/man1/goto-synthesizer.1.gz
  33. share/man/man1/symtab2gb.1.gz
  34. @owner
  35. @group
  36. @mode
Collapse this list.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
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 = 1787689564 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.11.0_GH0.tar.gz) = 217e5ed631bbd4b39659fde37a603482003605abd4cb2586b09c2da344d925db SIZE (diffblue-cbmc-cbmc-6.11.0_GH0.tar.gz) = 9183866

Collapse this list.

Packages (timestamps in pop-ups are UTC): #
cbmc
ABIaarch64amd64armv6armv7i386
FreeBSD:14:latest6.11.06.11.0-6.4.16.11.0
FreeBSD:14:quarterly6.11.06.11.0-6.4.16.11.0
FreeBSD:15:latest6.11.06.11.0n/a6.4.1n/a
FreeBSD:15:quarterly6.11.06.11.0n/a-n/a
FreeBSD:16:latest6.11.06.11.0n/a-n/a
Dependencies #
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies: #
  1. flex : textproc/flex
  2. bash : shells/bash
  3. git : devel/git@lite
  4. jq : textproc/jq
  5. cmake : devel/cmake-core
  6. ninja : devel/ninja
  7. bison : devel/bison
  8. python3.12 : lang/python312
  9. perl5>=5.42.r<5.43 : lang/perl5.42
Test dependencies: #
  1. python3.12 : lang/python312
Runtime dependencies: #
  1. cvc5 : math/cvc5
  2. z3 : math/z3
  3. python3.12 : lang/python312
There are no ports dependent upon this port #
Configuration Options: #
No options to configure
Options name: #
devel_cbmc
USES: #
cmake bison python shebangfix perl5
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.11.0?dummy=/
Collapse this list.

Number of commits found: 11 #

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
6.11.0
25 Aug 2026 22:11:55
commit hash: eecb07b6f5637ca1357b310a04b500233588797bcommit hash: eecb07b6f5637ca1357b310a04b500233588797bcommit hash: eecb07b6f5637ca1357b310a04b500233588797bcommit hash: eecb07b6f5637ca1357b310a04b500233588797b files touched by this commit		 Olivier Cochard (olivier) search for other commits by this committer 
devel/cbmc: update to 6.11.0
6.10.0_2
17 Aug 2026 11:37:23
commit hash: c3ee0d25f047893a5f60375c6594caf5a22f18cfcommit hash: c3ee0d25f047893a5f60375c6594caf5a22f18cfcommit hash: c3ee0d25f047893a5f60375c6594caf5a22f18cfcommit hash: c3ee0d25f047893a5f60375c6594caf5a22f18cf files touched by this commit		 Älven (alven) search for other commits by this committer 
math/z3: Update 5.0.0.0 => 5.1.0.0

Approved by:		arrowd@ (maintainer)
Approved by:	    	db@, yuri@ (Mentors, implicit)
Differential Revision:	https://reviews.freebsd.org/D58886
6.10.0_1
03 Aug 2026 15:21:23
commit hash: 42678686fc54495891c0df3d78be192e8ef5b8c9commit hash: 42678686fc54495891c0df3d78be192e8ef5b8c9commit hash: 42678686fc54495891c0df3d78be192e8ef5b8c9commit hash: 42678686fc54495891c0df3d78be192e8ef5b8c9 files touched by this commit		 Piotr Kubaj (pkubaj) search for other commits by this committer 
devel/cbmc: fix build on powerpc64*

1. powerpc64 always uses 64-bit long double.
2. powerpc64le before 16.0 uses 64-bit long double and switched to
128-bit IEEE long double in 16.0.
6.10.0_1
29 Jul 2026 19:04:44
commit hash: dfa53622570af9a585341a1ad532a7a9b35964e0commit hash: dfa53622570af9a585341a1ad532a7a9b35964e0commit hash: dfa53622570af9a585341a1ad532a7a9b35964e0commit hash: dfa53622570af9a585341a1ad532a7a9b35964e0 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/z3: update 4.16.0.0 → 5.0.0.0

PR:		297106
Approved by:	Gleb Popov <arrowd@FreeBSD.org> (maintainer)
6.10.0
07 Jul 2026 23:36:51
commit hash: bc7bba7f5c28bccccff75163d28c7e2f67aaf69dcommit hash: bc7bba7f5c28bccccff75163d28c7e2f67aaf69dcommit hash: bc7bba7f5c28bccccff75163d28c7e2f67aaf69dcommit hash: bc7bba7f5c28bccccff75163d28c7e2f67aaf69d files touched by this commit		 Olivier Cochard (olivier) search for other commits by this committer 
devel/cbmc: update to 6.10.0
6.9.0_1
21 Jun 2026 15:49:14
commit hash: a07bfc1f62907cf0dc75e4b40899bb119fcfbc1ccommit hash: a07bfc1f62907cf0dc75e4b40899bb119fcfbc1ccommit hash: a07bfc1f62907cf0dc75e4b40899bb119fcfbc1ccommit hash: a07bfc1f62907cf0dc75e4b40899bb119fcfbc1c files touched by this commit		 Olivier Cochard (olivier) search for other commits by this committer 
devel/cbmc: fix build with older llvm
6.9.0_1
20 Jun 2026 20:51:52
commit hash: 85f08f2fd423ae8d42e5deeed6a3321e6741c0c4commit hash: 85f08f2fd423ae8d42e5deeed6a3321e6741c0c4commit hash: 85f08f2fd423ae8d42e5deeed6a3321e6741c0c4commit hash: 85f08f2fd423ae8d42e5deeed6a3321e6741c0c4 files touched by this commit		 Olivier Cochard (olivier) search for other commits by this committer 
devel/cbmc: witch to the recommended cmake build and add test support

PR:		296170
Reported by:	siva
6.9.0
20 Jun 2026 16:22:44
commit hash: 2a9a7b3cc92e0ea7ba5b51a50be0f0c29e410f48commit hash: 2a9a7b3cc92e0ea7ba5b51a50be0f0c29e410f48commit hash: 2a9a7b3cc92e0ea7ba5b51a50be0f0c29e410f48commit hash: 2a9a7b3cc92e0ea7ba5b51a50be0f0c29e410f48 files touched by this commit		 Olivier Cochard (olivier) search for other commits by this committer 
devel/cbmc: update to 6.9.0

Reported by:	lwhsu
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: 11

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

Latest Vulnerabilities
brotliOct 22
p5-DBIOct 21
php82*Oct 21
php83*Oct 21
php84*Oct 21
php85*Oct 21
php86*Oct 21
powerdns-recursorOct 21
unboundOct 21
emacsOct 20
emacs-develOct 20
ankiOct 19
roundcubeOct 19
drupal10Oct 18
drupal11Oct 18

37 vulnerabilities affecting 470 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-10-22 01:28:43 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 35309
Broken 63
Deprecated 341
Ignore 180
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 45
Expired 8
Set to expire 266
Interactive 0
new 24 hours 19
new 48 hours42
new 7 days68
new fortnight132
new month244
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.