angr.concretization_strategies.any 源代码

from __future__ import annotations

from .base import SimConcretizationStrategy




class SimConcretizationStrategyAny(SimConcretizationStrategy):
    """
    Concretization strategy that returns any single solution.
    """

    def _concretize(self, memory, addr, **kwargs):
        if self._exact:
            return [self._any(memory, addr, **kwargs)]
        mn, mx = self._range(memory, addr, **kwargs)
        if mn == mx:
            return [mn]
        return None