Source code for angr.analyses.propagator.vex_vars

# VEX Variables


class VEXVariable:
    __slots__ = ()

    def __hash__(self):
        raise NotImplementedError()

    def __eq__(self, other):
        raise NotImplementedError()


class VEXMemVar:
    __slots__ = (
        "addr",
        "size",
    )

    def __init__(self, addr, size):
        self.addr = addr
        self.size = size

    def __hash__(self):
        return hash((VEXMemVar, self.addr, self.size))

    def __eq__(self, other):
        return type(other) is VEXMemVar and other.addr == self.addr and other.size == self.size

    def __repr__(self):
        return "<mem %#x[%d bytes]>" % (self.addr, self.size)


class VEXReg(VEXVariable):
    __slots__ = (
        "offset",
        "size",
    )

    def __init__(self, offset, size):
        self.offset = offset
        self.size = size

    def __hash__(self):
        return hash((VEXReg, self.offset, self.size))

    def __eq__(self, other):
        return type(other) is VEXReg and other.offset == self.offset and other.size == self.size

    def __repr__(self):
        return "<reg %d[%d]>" % (self.offset, self.size)


class VEXTmp(VEXVariable):
    __slots__ = ("tmp",)

    def __init__(self, tmp):
        self.tmp = tmp

    def __hash__(self):
        return hash((VEXTmp, self.tmp))

    def __eq__(self, other):
        return type(other) is VEXTmp and other.tmp == self.tmp

    def __repr__(self):
        return "<tmp %d>" % self.tmp