MisraStdC

BitVecFromBytes Description Create bitvector from byte array. Reads the specified number of bits from the byte array.

BitVecFromInteger Description Create bitvector from integer value. Creates a bitvector representing the specified number of bits from the integer.

BitVecFromStr Description Create bitvector from string representation. String should contain only ‘1’ and ‘0’ characters.

BitVecToBytes Description Export bitvector to byte array. Copies the internal bit representation to the provided byte array.

BitVecToInteger Description Convert bitvector to integer (up to 64 bits). Treats the bitvector as an unsigned integer with LSB first.

BitVecToStr Description Convert bitvector to string representation. Each bit becomes ‘1’ or ‘0’ character. Caller must free the returned string.