(state, ip, limit)
return [ (ip == addr, addr) for addr in addrs ]
The traditional way of evaluating symbolic jump targets.

        :param state:   A SimState instance.
        :param ip:      The AST of the instruction pointer to evaluate.
        :param limit:   The maximum number of concrete IPs.
        :return:        A list of conditions and the corresponding concrete IPs.
        :rtype:         list
The traditional way of evaluating symbolic jump targets.
The traditional way of evaluating symbolic jump targets .
def _eval_target_brutal(state, ip, limit):
        """
        The traditional way of evaluating symbolic jump targets.

        :param state:   A SimState instance.
        :param ip:      The AST of the instruction pointer to evaluate.
        :param limit:   The maximum number of concrete IPs.
        :return:        A list of conditions and the corresponding concrete IPs.
        :rtype:         list
        """

        addrs = state.solver.eval_upto(ip, limit)

        return [ (ip == addr, addr) for addr in addrs ]
def _eval_target_brutal ( state , ip , limit ) : addrs = state . solver . eval_upto ( ip , limit ) return [ ( ip == addr , addr ) for addr in addrs ]