Source code for angr.concretization_strategies.nonzero
from.importSimConcretizationStrategy
[docs]classSimConcretizationStrategyNonzero(SimConcretizationStrategy):""" Concretization strategy that returns any non-zero solution. """def_concretize(self,memory,addr,**kwargs):child_constraints=(addr!=0,)extra_constraints=kwargs.pop("extra_constraints",None)ifextra_constraintsisnotNone:child_constraints+=tuple(extra_constraints)return[self._any(memory,addr,extra_constraints=child_constraints,**kwargs)]