cbmc

Code verifier

A tool for verifying the correctness and safety of C++ programs

C Bounded Model Checker

GitHub
863 stars
40 watching
268 forks
Language: C++
last commit: about 1 month ago
Linked from 1 awesome list


Screenshot of diffblue/cbmc website

diffblue.github.io/cbmc

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
verifytests/verify.diffplex A tool for comparing and verifying the differences between two text files using a diffplex algorithm. 10
verifytests/verify.icsharpcode.decompiler A verification tool for .NET assemblies decompiled by ICSharpCode.Decompiler 8
d-m-bailey/cvc Checks CDL netlists for errors and circuit validity 22
bcoudurier/ffmbc A custom-built FFmpeg version with extended features and support for professional broadcast and video editing applications. 192
vbpf/ebpf-verifier A tool that verifies the correctness of eBPF programs using an abstract interpretation approach 392
flcdrg/verify.mongodb A tool for verifying MongoDB operations and recording their execution 5
smackers/smack A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation 431
s-weigand/flake8-nb A tool to check Python code quality in Jupyter notebooks. 28
bkoelman/csharpguidelinesanalyzer A tool that analyzes C# code against predefined coding guidelines and reports diagnostics 145
p-ranav/criterion A microbenchmarking library for measuring performance of C++ code 212
meducation/clarifier A tool for improving code readability and maintainability by providing functionality to clarify complex code structures 3
verifytests/verify.brighter Adds support for verifying a specific command processing framework 2
dcoeurjo/lowdiscbluenoise A C++ library that generates 2D point sets with low discrepancy and Blue Noise properties. 113
phpcsstandards/php_codesniffer Detects and enforces coding standards in PHP code to ensure consistency and quality. 1,018