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. cbmc-utils/formatCBMCOutput.py with this output conversion, CBMC can be used as csmock plugin.