cbmc-utils

These supporting scripts allow the use of CBMC (Bounded Model Checker for C and C++ programs) for automatic analysis of RPM packages.

cbmc-utils/csexec-cbmc.sh

is supporting script for csexec tool.

with this output conversion, CBMC can be used as csmock plugin.

Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
.github/workflows		.github/workflows
cbmc_utils		cbmc_utils
tests		tests
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md