Package qilin.core.effect

package qilin.core.effect
  • Class
    Description
    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.
    NativeEffectModel
    Adapts NativeMethodDriver to MethodEffectModel; delegate is unmodified.
    ReflectionEffectModel
    Applies a shared ReflectionModel to qilin's (possibly already rewritten) PAG bodies.