Verified Home

Verified Systems International GmbH

Quality Assurance for Embedded Systems

CCBM 5.3.0 now available (new feature) [ccbm-advisory 00004]

A new feature release is now available.
Consider updating if you are using Version 5.2.2 or older.


  1. asts-ccbm-baseline-information: allow inclusion of analysis file (implements FeatureRequest #7563)

  2. ccbm_prep:

    • preprocessing sanity: after an ‘else’, release any ‘blocking of mark until next semicolon’ (may be a leftover from incomplete configuration of symbols)


  1. ccbm_prep:

    • allow designated initializers like:
          mystruct = { .field1 = 7 };
      note: this is a C99 feature; (fixes PR #7566)