angr.concretization_strategies.nonzero_range 源代码

from __future__ import annotations

from .base import SimConcretizationStrategy




class SimConcretizationStrategyNonzeroRange(SimConcretizationStrategy):
    """
    Concretization strategy that resolves a range in a non-zero location.
    """



    def __init__(self, limit, **kwargs):
        super().__init__(**kwargs)
        self._limit = limit


    def _concretize(self, memory, addr, extra_constraints=None, **kwargs):
        mn, mx = self._range(memory, addr, extra_constraints=extra_constraints, **kwargs)
        if mx - mn <= self._limit:
            child_constraints = (addr != 0,)
            if extra_constraints is not None:
                child_constraints += tuple(extra_constraints)
            return self._eval(memory, addr, self._limit, extra_constraints=child_constraints, **kwargs)
        return None