mk
Create BitVec zero extension (zeroext) expression. Returns a BitVec expression with extensionSize extra zero bits. The extra bits are prepended to the provided value.
Create BitVec zero extension (zeroext) expression. Returns a BitVec expression with extensionSize extra zero bits. The extra bits are prepended to the provided value.