Uses of Class
qilin.core.PTA

Packages that use PTA

Package	Description
qilin.core
qilin.core.builder
qilin.core.pag
qilin.core.sets
qilin.core.solver
qilin.driver
qilin.pta.toolkits.bean
qilin.pta.toolkits.common
qilin.pta.toolkits.conch
qilin.pta.toolkits.debloaterx
qilin.pta.toolkits.eagle
qilin.pta.toolkits.mahjong
qilin.pta.toolkits.selectx
qilin.pta.toolkits.turner
qilin.pta.toolkits.zipper
qilin.pta.toolkits.zipper.analysis
qilin.pta.toolkits.zipper.flowgraph
qilin.pta.tools
qilin.stat
qilin.util	Generally useful utility classes for Soot.

Uses of PTA in qilin.core

Subclasses of PTA in qilin.core

Modifier and Type	Class	Description
class	CorePTA

Uses of PTA in qilin.core.builder

Fields in qilin.core.builder declared as PTA

Modifier and Type	Field	Description
protected final PTA	CallGraphBuilder.pta
protected PTA	ExceptionHandler.pta

Constructors in qilin.core.builder with parameters of type PTA

Modifier	Constructor	Description
	CallGraphBuilder(PTA pta)
	ExceptionHandler(PTA pta)

Uses of PTA in qilin.core.pag

Fields in qilin.core.pag declared as PTA

Modifier and Type	Field	Description
protected final PTA	PAG.pta

Methods in qilin.core.pag that return PTA

Modifier and Type	Method	Description
PTA	PAG.getPta()

Constructors in qilin.core.pag with parameters of type PTA

Modifier	Constructor	Description
	PAG(PTA pta)

Uses of PTA in qilin.core.sets

Fields in qilin.core.sets declared as PTA

Modifier and Type	Field	Description
protected final PTA	P2SetVisitor.pta

Constructors in qilin.core.sets with parameters of type PTA

Modifier	Constructor	Description
protected	P2SetVisitor(PTA pta)
	UnmodifiablePointsToSet(PTA pta, PointsToSetInternal pts)

Uses of PTA in qilin.core.solver

Constructors in qilin.core.solver with parameters of type PTA

Modifier	Constructor	Description
	Solver(PTA pta)

Uses of PTA in qilin.driver

Methods in qilin.driver that return PTA

Modifier and Type	Method	Description
static PTA	PTAFactory.createPTA(PTAPattern ptaPattern, View view, String mainClassSig)
static PTA	Main.run(String[] args)

Uses of PTA in qilin.pta.toolkits.bean

Methods in qilin.pta.toolkits.bean with parameters of type PTA

Modifier and Type	Method	Description
static void	Bean.run(PTA pta, Map<Object,Map<Object,Map<Object,Object>>> beanNexCtxMap)

Uses of PTA in qilin.pta.toolkits.common

Fields in qilin.pta.toolkits.common declared as PTA

Modifier and Type	Field	Description
protected final PTA	OAG.pta

Methods in qilin.pta.toolkits.common with parameters of type PTA

Modifier and Type	Method	Description
static int	ToolUtil.pointsToSetSizeOf(PTA pta, VarNode var)

Constructors in qilin.pta.toolkits.common with parameters of type PTA

Modifier	Constructor	Description
	DebloatedOAG(PTA prePta, Set<AllocNode> ctxDepHeaps)
	FieldPointstoGraph(PTA pta)
	OAG(PTA prePta)

Uses of PTA in qilin.pta.toolkits.conch

Fields in qilin.pta.toolkits.conch declared as PTA

Modifier and Type	Field	Description
protected final PTA	AbstractPAG.prePTA
final PTA	AbstractConch.pta

Constructors in qilin.pta.toolkits.conch with parameters of type PTA

Modifier	Constructor	Description
	AbstractConch(PTA pta)
protected	AbstractPAG(PTA prePTA)
	Conch(PTA pta)
	DepOnParamAnalysis(PTA prePTA)
	LeakAnalysis(PTA prePTA)

Uses of PTA in qilin.pta.toolkits.debloaterx

Fields in qilin.pta.toolkits.debloaterx declared as PTA

Modifier and Type	Field	Description
protected final PTA	CollectionHeuristic.pta
protected final PTA	ContainerFinder.pta
protected final PTA	XPAG.pta
protected final PTA	XUtility.pta

Methods in qilin.pta.toolkits.debloaterx that return PTA

Modifier and Type	Method	Description
PTA	XUtility.getPta()

Constructors in qilin.pta.toolkits.debloaterx with parameters of type PTA

Modifier	Constructor	Description
	CollectionHeuristic(PTA pta)
	ContainerFinder(PTA pta, XUtility utility)
	DebloaterX(PTA pta)
	XPAG(PTA pta, XUtility utility)
	XUtility(PTA pta)

Uses of PTA in qilin.pta.toolkits.eagle

Methods in qilin.pta.toolkits.eagle with parameters of type PTA

Modifier and Type	Method	Description
void	Eagle.buildGraph(PTA prePTA)

Uses of PTA in qilin.pta.toolkits.mahjong

Methods in qilin.pta.toolkits.mahjong with parameters of type PTA

Modifier and Type	Method	Description
static FieldPointstoGraph	Mahjong.buildFPG(PTA pta)
static void	Mahjong.run(PTA pta, Map<Object,Object> heapModelMap)

Uses of PTA in qilin.pta.toolkits.selectx

Constructors in qilin.pta.toolkits.selectx with parameters of type PTA

Modifier	Constructor	Description
	Selectx(PTA pta)

Uses of PTA in qilin.pta.toolkits.turner

Fields in qilin.pta.toolkits.turner declared as PTA

Modifier and Type	Field	Description
protected final PTA	AbstractMVFG.prePTA
final PTA	OCG.pta

Methods in qilin.pta.toolkits.turner with parameters of type PTA

Modifier and Type	Method	Description
static AbstractMVFG	MethodVFG.findOrCreateMethodVFG(PTA prePTA, SootMethod method, OCG hg)
static AbstractMVFG	ModularMVFG.findOrCreateMethodVFG(PTA prePTA, SootMethod method, OCG hg, MergedNode<SootMethod> sccNode)

Constructors in qilin.pta.toolkits.turner with parameters of type PTA

Modifier	Constructor	Description
	AbstractMVFG(PTA prePTA, OCG hg, SootMethod method)
	MethodVFG(PTA prePTA, SootMethod method, OCG hg)
	ModularMVFG(PTA prePTA, SootMethod method, OCG hg, MergedNode<SootMethod> sccNode)
	OCG(PTA pta)
	Turner(int k, PTA pta)

Uses of PTA in qilin.pta.toolkits.zipper

Methods in qilin.pta.toolkits.zipper with parameters of type PTA

Modifier and Type	Method	Description
static void	Main.run(PTA pta, Set<SootMethod> zipperPCMOutput)

Uses of PTA in qilin.pta.toolkits.zipper.analysis

Methods in qilin.pta.toolkits.zipper.analysis with parameters of type PTA

Modifier and Type	Method	Description
static void	Zipper.outputNumberOfClasses(PTA pta)

Constructors in qilin.pta.toolkits.zipper.analysis with parameters of type PTA

Modifier	Constructor	Description
	Zipper(PTA pta)

Uses of PTA in qilin.pta.toolkits.zipper.flowgraph

Constructors in qilin.pta.toolkits.zipper.flowgraph with parameters of type PTA

Modifier	Constructor	Description
	FlowAnalysis(PTA pta, PotentialContextElement pce, ObjectFlowGraph ofg)
	ObjectFlowGraph(PTA pta)

Uses of PTA in qilin.pta.tools

Subclasses of PTA in qilin.pta.tools

Modifier and Type	Class	Description
class	BasePTA
class	BeanPTA
class	CallSiteSensPTA
class	DataDrivenPTA
class	DebloatedPTA
class	EaglePTA
class	HybridObjectSensPTA	refer to "Hybrid Context-Sensitivity for Points-To Analysis" (PLDI'13)
class	HybridTypeSensPTA	refer to "Hybrid Context-Sensitivity for Points-To Analysis" (PLDI'13)
class	MahjongPTA
class	ObjectSensPTA
class	PartialCallSiteSensPTA
class	PartialObjSensPTA
class	SelectxPTA
class	Spark
class	StagedPTA
class	TunnelingPTA
class	TurnerPTA
class	TypeSensPTA
class	ZipperPTA

Uses of PTA in qilin.stat

Fields in qilin.stat declared as PTA

Modifier and Type	Field	Description
protected final PTA	PTAEvaluator.pta
protected final PTA	SimplifiedEvaluator.pta

Methods in qilin.stat with parameters of type PTA

Modifier and Type	Method	Description
void	Exporter.dumpInsensPointsTo(Collection<LocalVarNode> lvns, PTA pta)

Constructors in qilin.stat with parameters of type PTA

Modifier	Constructor	Description
	AliasStat(PTA pta)
	BenchmarkStat(PTA pta)
	CallGraphStat(PTA pta)
	Exporter(PTA pta)
	PAGStat(PTA pta)
	PointsToStat(PTA pta)
	PTAEvaluator(PTA pta)
	SimplifiedEvaluator(PTA pta)
	TypeClientStat(PTA pta)
	YummyStat(PTA pta)

Uses of PTA in qilin.util

Methods in qilin.util with parameters of type PTA

Modifier and Type	Method	Description
static Map<LocalVarNode,Set<AllocNode>>	PTAUtils.calcStaticThisPTS(PTA pta)
static boolean	PTAUtils.mustAlias(PTA pta, VarNode v1, VarNode v2)
static void	PTAUtils.printPts(PTA pta, PointsToSet pts)