Source code for angr.analyses.propagator.tmpvar_finder

from ailment.expression import Expression, Tmp
from ailment import AILBlockWalkerBase


[docs]class TmpvarFinder(AILBlockWalkerBase):
    """
    Walks an AIL expression to find Tmp expressions.
    """

[docs]    def __init__(self, expr: Expression):
        super().__init__()
        self.has_tmp = False

        self.walk_expression(expr)

    def _handle_Tmp(self, expr_idx: int, expr: Tmp, stmt_idx: int, stmt, block):
        self.has_tmp = True