(self, name, bits, uninitialized=True, inspect=True, events=True, key=None, eternal=False, **kwargs)
Creates an unconstrained symbol or a default concrete value (0), based on the state options.

        :param name:            The name of the symbol.
        :param bits:            The size (in bits) of the symbol.
        :param uninitialized:   Whether this value should be counted as an "uninitialized" value in the course of an
                                analysis.
        :param inspect:         Set to False to avoid firing SimInspect breakpoints
        :param events:          Set to False to avoid generating a SimEvent for the occasion
        :param key:             Set this to a tuple of increasingly specific identifiers (for example,
                                ``('mem', 0xffbeff00)`` or ``('file', 4, 0x20)`` to cause it to be tracked, i.e.
                                accessable through ``solver.get_variables``.
        :param eternal:         Set to True in conjunction with setting a key to cause all states with the same
                                ancestry to retrieve the same symbol when trying to create the value. If False, a
                                counter will be appended to the key.

        :returns:               an unconstrained symbol (or a concrete value of 0).
Creates an unconstrained symbol or a default concrete value (0), based on the state options.
Creates an unconstrained symbol or a default concrete value ( 0 ) based on the state options .
def Unconstrained(self, name, bits, uninitialized=True, inspect=True, events=True, key=None, eternal=False, **kwargs):
        """
        Creates an unconstrained symbol or a default concrete value (0), based on the state options.

        :param name:            The name of the symbol.
        :param bits:            The size (in bits) of the symbol.
        :param uninitialized:   Whether this value should be counted as an "uninitialized" value in the course of an
                                analysis.
        :param inspect:         Set to False to avoid firing SimInspect breakpoints
        :param events:          Set to False to avoid generating a SimEvent for the occasion
        :param key:             Set this to a tuple of increasingly specific identifiers (for example,
                                ``('mem', 0xffbeff00)`` or ``('file', 4, 0x20)`` to cause it to be tracked, i.e.
                                accessable through ``solver.get_variables``.
        :param eternal:         Set to True in conjunction with setting a key to cause all states with the same
                                ancestry to retrieve the same symbol when trying to create the value. If False, a
                                counter will be appended to the key.

        :returns:               an unconstrained symbol (or a concrete value of 0).
        """
        if o.SYMBOLIC_INITIAL_VALUES in self.state.options:
            # Return a symbolic value
            if o.ABSTRACT_MEMORY in self.state.options:
                l.debug("Creating new top StridedInterval")
                r = claripy.TSI(bits=bits, name=name, uninitialized=uninitialized, **kwargs)
            else:
                l.debug("Creating new unconstrained BV named %s", name)
                if o.UNDER_CONSTRAINED_SYMEXEC in self.state.options:
                    r = self.BVS(name, bits, uninitialized=uninitialized, key=key, eternal=eternal, inspect=inspect, events=events, **kwargs)
                else:
                    r = self.BVS(name, bits, uninitialized=uninitialized, key=key, eternal=eternal, inspect=inspect, events=events, **kwargs)

            return r
        else:
            # Return a default value, aka. 0
            return claripy.BVV(0, bits)
def Unconstrained ( self , name , bits , uninitialized = True , inspect = True , events = True , key = None , eternal = False , * * kwargs ) : if o . SYMBOLIC_INITIAL_VALUES in self . state . options : # Return a symbolic value if o . ABSTRACT_MEMORY in self . state . options : l . debug ( "Creating new top StridedInterval" ) r = claripy . TSI ( bits = bits , name = name , uninitialized = uninitialized , * * kwargs ) else : l . debug ( "Creating new unconstrained BV named %s" , name ) if o . UNDER_CONSTRAINED_SYMEXEC in self . state . options : r = self . BVS ( name , bits , uninitialized = uninitialized , key = key , eternal = eternal , inspect = inspect , events = events , * * kwargs ) else : r = self . BVS ( name , bits , uninitialized = uninitialized , key = key , eternal = eternal , inspect = inspect , events = events , * * kwargs ) return r else : # Return a default value, aka. 0 return claripy . BVV ( 0 , bits )