- C
var | purpose | type | default |
---|---|---|---|
SCA_BLACKLIST_cbmc | Blacklist filter for this tool | space-separated-list | "" |
SCA_CBMC_EXTRA_FATAL | Extra error-IDs leading to build termination when found | space-separated-list | "" |
SCA_CBMC_EXTRA_OPTIONS | Extra command-line parameter to pass to cbmc | space-separated-list | "" |
SCA_CBMC_EXTRA_SUPPRESS | Extra error-IDs to be suppressed | space-separated-list | "" |
SCA_CBMC_FILE_FILTER | File extensions to parse | space-separated-list | ".c" |
SCA_CBMC_MODULES | Check modules to run | space-separated-list | see cbmc.bbclass for details |
- suppression of IDs
- terminate build on fatal
- run on recipe
- run on image
- run with SCA-layer default settings (see SCA_AVAILABLE_MODULES)
- requires online access
tbd
- security
- functional defects
- compliance
- style issues
- ⬛⬛⬛⬛⬜⬜⬜⬜⬜⬜ 04/10 Build Speed
- ⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛ 10/10 Execution Speed
- ⬛⬛⬛⬛⬛⬛⬛⬜⬜⬜ 07/10 Quality
- n.a.
- cbmc.cbmc.*
- n.a.
- n.a.