kdrag.theories.bitvec.store_concat

kdrag.theories.bitvec.store_concat(a: ArrayRef, addr: BitVecRef | int, data: BitVecRef, le=True) → ArrayRef

Parameters:

• a (ArrayRef)

• addr (BitVecRef | int)

• data (BitVecRef)

Return type:

ArrayRef