These supporting scripts allow the use of CBMC (Bounded Model Checker for C and C++ programs) for automatic analysis of RPM packages.
is supporting script for csexec tool.
with this output conversion, CBMC can be used as csmock plugin.
-
Notifications
You must be signed in to change notification settings - Fork 1
Output conversion utilities for CBMC
License
aufover/cbmc-utils
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Output conversion utilities for CBMC
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published