Source code for angr.analyses.propagator.top_checker_mixin
import claripy
from ...engines.light.engine import SimEngineLightMixin
[docs]class TopCheckerMixin(SimEngineLightMixin):
def _is_top(self, expr) -> bool:
if isinstance(expr, claripy.ast.Base):
if "TOP" in expr.variables:
return True
return False
def _top(self, size: int):
return self.state.top(size)