Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
devel:tools:statica
cbmc
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
Meta Configuration of Package cbmc
<package name="cbmc" project="devel:tools:statica"> <title>Bounded Model Checking for Software</title> <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 also supports SystemC using Scoot. 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. </description> <build> <disable repository="SLE_12_SP3"/> <disable repository="SLE_12_SP5"/> </build> <url>http://www.cprover.org/cbmc/</url> </package>
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor