Import

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.