Package qilin.core

Class PointerAnalysisFactory

java.lang.Object

qilin.core.PointerAnalysisFactory

public final class PointerAnalysisFactory
extends Object

Type-safe entry point for constructing a PTA. The concrete variant - core context-sensitivity (insensitive, call-site, object, type, hybrid-object, hybrid-type) or research-toolkit (bean, zipper, eagle, turner, mahjong, selectx, data-driven, tunneling, debloating) - is fully determined by PointerAnalysisConfig.getContextSensitivity(); see qilin.core.config.ContextSensitivity for the available factory methods.

Every call constructs a fresh PTA (with its own PTAScene/PAG); no state is cached on View, so multiple independent analyses - even over the same view - can be constructed and run concurrently.

Method Summary

Modifier and Type	Method	Description
static PTA	create(View view, ClassType mainClass, PointerAnalysisConfig config)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

create

public static PTA create(View view,
 ClassType mainClass,
 PointerAnalysisConfig config)