angr.engines.soot.expressions.invoke¶

class angr.engines.soot.expressions.invoke.InvokeBase¶

Bases: SimSootExpr

__init__(expr, state)¶

class angr.engines.soot.expressions.invoke.SimSootExpr_VirtualInvoke¶

Bases: InvokeBase

Instance methods are dynamically resolved by the actual type of the base object (i.e. the object on which the method is invoked) and not by the type of the variable storing the reference.

class angr.engines.soot.expressions.invoke.SimSootExpr_SpecialInvoke¶

Bases: InvokeBase

Special invocations are used either for invoking instance methods of a superclass or a constructor. Compared to virtual invokes, the class containing the method is passed explicitly in the invoke expression (@expr.class_name) rather than determined dynamically by the type of the base objects.

class angr.engines.soot.expressions.invoke.SimSootExpr_StaticInvoke¶: Bases: InvokeBase

class angr.engines.soot.expressions.invoke.SimSootExpr_InterfaceInvoke¶: Bases: SimSootExpr_VirtualInvoke