(self, tmp, content, reg_deps=None, tmp_deps=None, deps=None, **kwargs)
Stores a Claripy expression in a VEX temp value.
        If in symbolic mode, this involves adding a constraint for the tmp's symbolic variable.

        :param tmp: the number of the tmp
        :param content: a Claripy expression of the content
        :param reg_deps: the register dependencies of the content
        :param tmp_deps: the temporary value dependencies of the content
Stores a Claripy expression in a VEX temp value.
        If in symbolic mode, this involves adding a constraint for the tmp's symbolic variable.
Stores a Claripy expression in a VEX temp value . If in symbolic mode this involves adding a constraint for the tmp s symbolic variable .
def store_tmp(self, tmp, content, reg_deps=None, tmp_deps=None, deps=None, **kwargs):
        """
        Stores a Claripy expression in a VEX temp value.
        If in symbolic mode, this involves adding a constraint for the tmp's symbolic variable.

        :param tmp: the number of the tmp
        :param content: a Claripy expression of the content
        :param reg_deps: the register dependencies of the content
        :param tmp_deps: the temporary value dependencies of the content
        """
        self.state._inspect('tmp_write', BP_BEFORE, tmp_write_num=tmp, tmp_write_expr=content)
        tmp = self.state._inspect_getattr('tmp_write_num', tmp)
        content = self.state._inspect_getattr('tmp_write_expr', content)

        if o.SYMBOLIC_TEMPS not in self.state.options:
            # Non-symbolic
            self.temps[tmp] = content
        else:
            # Symbolic
            self.state.add_constraints(self.temps[tmp] == content)

        # get the size, and record the write
        if o.TRACK_TMP_ACTIONS in self.state.options:
            data_ao = SimActionObject(content, reg_deps=reg_deps, tmp_deps=tmp_deps, deps=deps, state=self.state)
            r = SimActionData(self.state, SimActionData.TMP, SimActionData.WRITE, tmp=tmp, data=data_ao, size=content.length)
            self.state.history.add_action(r)

        self.state._inspect('tmp_write', BP_AFTER)
def store_tmp ( self , tmp , content , reg_deps = None , tmp_deps = None , deps = None , * * kwargs ) : self . state . _inspect ( 'tmp_write' , BP_BEFORE , tmp_write_num = tmp , tmp_write_expr = content ) tmp = self . state . _inspect_getattr ( 'tmp_write_num' , tmp ) content = self . state . _inspect_getattr ( 'tmp_write_expr' , content ) if o . SYMBOLIC_TEMPS not in self . state . options : # Non-symbolic self . temps [ tmp ] = content else : # Symbolic self . state . add_constraints ( self . temps [ tmp ] == content ) # get the size, and record the write if o . TRACK_TMP_ACTIONS in self . state . options : data_ao = SimActionObject ( content , reg_deps = reg_deps , tmp_deps = tmp_deps , deps = deps , state = self . state ) r = SimActionData ( self . state , SimActionData . TMP , SimActionData . WRITE , tmp = tmp , data = data_ao , size = content . length ) self . state . history . add_action ( r ) self . state . _inspect ( 'tmp_write' , BP_AFTER )