MisraStdC

BitVecEndsWith

Function

BitVecEndsWith Description Check if bitvector ends with the given bit pattern.

BitVecMatches

Function

BitVecMatches Description Match bitvector against pattern with wildcards. Wildcards allow flexible pattern matching where some positions can be “any bit”.

BitVecRegexMatch

Function

BitVecRegexMatch Description Simple regex-style pattern matching for bitvectors. Supports basic patterns: ‘*’ (any sequence), ‘?’ (0 or 1), ‘[01]’ (literal).

BitVecStartsWith

Function

BitVecStartsWith Description Check if bitvector starts with the given bit pattern.