Description:
C Bounded Model Checker
|
|
Type: Formula
|
Latest Version: 6.8.0@0
|
Tracked Since: Dec 17, 2025
|
|
Links:
Homepage |
formulae.brew.sh
|
|
Category: Developer tools
|
|
Tags:
verification
static-analysis
model-checking
security
testing
|
|
Install:
brew install cbmc
|
About:
CBMC (C Bounded Model Checker) is a verification tool that analyzes C programs to detect runtime errors and security vulnerabilities. It performs symbolic execution by exploring all possible states up to a specified bound, proving properties or finding counterexamples. This makes it invaluable for validating critical software components where correctness is paramount.
|
Key Features:
- Automated verification of C/C++ programs
- Detects array bounds violations, null pointer dereferences, and overflow errors
- Supports SMT solvers for enhanced performance and scalability
- Generates test cases and counterexamples for failed assertions
|
Use Cases:
- Verifying safety-critical embedded software
- CI/CD integration for automated code analysis
- Security auditing of low-level system code
- Validating complex algorithms before deployment
|
Alternatives:
-
Frama-C
– More focused on deductive verification with ACSL annotations
-
Clang Static Analyzer
– Faster but less exhaustive, focused on common bugs
-
Infer
– Facebook's tool, better for Java/Objective-C, less thorough for C
|
|
License: BSD-4-Clause
|
|
Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, sonoma, arm64_linux, x86_64_linux
|
| Detected |
Version |
Rev |
Change |
Commit |
| Sep 20, 2024 4:30pm |
|
0 |
VERSION_BUMP |
ba85adc6 |
| Sep 20, 2024 9:52am |
|
0 |
VERSION_BUMP |
f7f80276 |
| Jun 21, 2024 8:28am |
|
0 |
VERSION_BUMP |
65a67317 |
| Aug 31, 2023 12:49pm |
|
0 |
VERSION_BUMP |
71a6db55 |
| Aug 18, 2023 8:53pm |
|
0 |
VERSION_BUMP |
250baaab |
| Aug 3, 2023 11:10am |
|
0 |
VERSION_BUMP |
d8732f51 |
| Jun 22, 2023 1:41pm |
|
0 |
VERSION_BUMP |
baa412d1 |
| Apr 13, 2023 5:05pm |
|
0 |
VERSION_BUMP |
e1b74d31 |
| Apr 13, 2023 3:04pm |
|
0 |
VERSION_BUMP |
66f22395 |
| Mar 16, 2023 6:07pm |
|
0 |
VERSION_BUMP |
c63052cb |
| Mar 16, 2023 6:07pm |
|
0 |
VERSION_BUMP |
a94782a3 |
| Mar 2, 2023 5:12pm |
|
0 |
VERSION_BUMP |
cc762d67 |
| Mar 2, 2023 5:12pm |
|
0 |
VERSION_BUMP |
6e4eeeb8 |
| Mar 2, 2023 10:15am |
|
1 |
VERSION_BUMP |
28972aaf |
| Mar 2, 2023 10:15am |
|
1 |
VERSION_BUMP |
56b78958 |
| Feb 16, 2023 5:06pm |
|
0 |
VERSION_BUMP |
f099d378 |
| Feb 16, 2023 5:06pm |
|
0 |
VERSION_BUMP |
a8e27f09 |
|