Skip to content

Latest commit

 

History

History
64 lines (41 loc) · 1.45 KB

cbmc.md

File metadata and controls

64 lines (41 loc) · 1.45 KB
Raw

Configuration for cbmc

Supported environments/languages

  • C

Configuration

var purpose type default
SCA_BLOCKLIST_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

Supports

  • suppression of IDs
  • terminate build on fatal
  • run on recipe
  • run on image
  • available in SDK
  • run with SCA-layer default settings (see SCA_AVAILABLE_MODULES)

Requires

  • requires online access

Known error-IDs

tbd

Checking scope

  • security
  • functional defects
  • compliance
  • style issues

Statistics

  • ⬛⬛⬛⬛⬜⬜⬜⬜⬜⬜ 04/10 Build Speed
  • ⬛⬛⬛⬛⬛⬛⬛⬛⬛⬛ 10/10 Execution Speed
  • ⬛⬛⬛⬛⬛⬛⬛⬜⬜⬜ 07/10 Quality

Score mapping

Error considered as security relevant

  • n.a.

Error considered as functional defect

  • cbmc.cbmc.*

Error consired as compliance issue

  • n.a.

Error considered as style issue

  • n.a.