Registered
by
Diffblue cbmc continuous delivery
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. A variant of CBMC that analyses Java bytecode is available as JBMC
Project information
- Maintainer:
- Diffblue cbmc continuous delivery
- Licence:
-
Other/Open Source
(4-clause BSD license https://github.com/diffblue/cbmc/blob/develop/LICENSE)
- This project’s licence has not been reviewed.
View full history Series and milestones
trunk series is the current focus of development.
