MisraStdC

BitVecAnd Description Perform bitwise AND operation between two bitvectors. Result is stored in the first bitvector.

BitVecNot Description Perform bitwise NOT operation on a bitvector. Result is stored in the first bitvector.

BitVecOr Description Perform bitwise OR operation between two bitvectors. Result is stored in the first bitvector.

BitVecXor Description Perform bitwise XOR operation between two bitvectors. Result is stored in the first bitvector.

INVERT_ENDIANNESS2 Description Inverts endianness of 16-bit (2-byte) value.

INVERT_ENDIANNESS4 Description Inverts endianness of 32-bit (4-byte) value.

INVERT_ENDIANNESS8 Description Inverts endianness of 64-bit (8-byte) value.

Bitwise