Copy

BitVecClone

BitVecClone Description Create a deep copy of a bitvector. The returned bitvector must be deinitialized when no longer needed.

Read More

BitVecInsertMultiple

BitVecInsertMultiple Description Insert all bits from another bitvector at a specific position. All existing bits at and after the position are shifted right.

Read More