Interface MethodEffectModel

All Known Implementing Classes:
LambdaMetafactoryModel, NativeEffectModel, ReflectionEffectModel

public interface MethodEffectModel
Rewrites a method's body to make an effect explicit that the pointer analysis cannot derive from the method's own Jimple statements - e.g. a reflective call resolved from an external log, a native method's simulated side effect, or an invokedynamic call site resolved from bootstrap constants. PAG.getMethodPAG(SootMethod) applies every configured model to a method exactly once, before building its MethodPAG.