| Modifier and Type | Class and Description |
|---|---|
class |
CorePTA |
| Modifier and Type | Field and Description |
|---|---|
protected PTA |
ExceptionHandler.pta |
protected PTA |
CallGraphBuilder.pta |
| Constructor and Description |
|---|
CallGraphBuilder(PTA pta) |
ExceptionHandler(PTA pta) |
| Modifier and Type | Field and Description |
|---|---|
protected PTA |
PAG.pta |
| Modifier and Type | Method and Description |
|---|---|
PTA |
PAG.getPta() |
| Constructor and Description |
|---|
PAG(PTA pta) |
| Modifier and Type | Field and Description |
|---|---|
protected PTA |
P2SetVisitor.pta |
| Constructor and Description |
|---|
P2SetVisitor(PTA pta) |
UnmodifiablePointsToSet(PTA pta,
PointsToSetInternal pts) |
| Constructor and Description |
|---|
Solver(PTA pta) |
| Modifier and Type | Method and Description |
|---|---|
static PTA |
PTAFactory.createPTA(PTAPattern ptaPattern,
View view,
String mainClassSig) |
static PTA |
Main.run(String[] args) |
| Modifier and Type | Method and Description |
|---|---|
static void |
Bean.run(PTA pta,
Map<Object,Map<Object,Map<Object,Object>>> beanNexCtxMap) |
| Modifier and Type | Field and Description |
|---|---|
protected PTA |
OAG.pta |
| Modifier and Type | Method and Description |
|---|---|
static int |
ToolUtil.pointsToSetSizeOf(PTA pta,
VarNode var) |
| Constructor and Description |
|---|
DebloatedOAG(PTA prePta,
Set<AllocNode> ctxDepHeaps) |
FieldPointstoGraph(PTA pta) |
OAG(PTA prePta) |
| Modifier and Type | Field and Description |
|---|---|
protected PTA |
AbstractPAG.prePTA |
PTA |
AbstractConch.pta |
| Constructor and Description |
|---|
AbstractConch(PTA pta) |
AbstractPAG(PTA prePTA) |
Conch(PTA pta) |
DepOnParamAnalysis(PTA prePTA) |
LeakAnalysis(PTA prePTA) |
| Modifier and Type | Field and Description |
|---|---|
protected PTA |
XPAG.pta |
protected PTA |
CollectionHeuristic.pta |
protected PTA |
XUtility.pta |
protected PTA |
ContainerFinder.pta |
| Modifier and Type | Method and Description |
|---|---|
PTA |
XUtility.getPta() |
| Constructor and Description |
|---|
CollectionHeuristic(PTA pta) |
ContainerFinder(PTA pta,
XUtility utility) |
DebloaterX(PTA pta) |
XPAG(PTA pta,
XUtility utility) |
XUtility(PTA pta) |
| Modifier and Type | Method and Description |
|---|---|
void |
Eagle.buildGraph(PTA prePTA) |
| Modifier and Type | Method and Description |
|---|---|
static FieldPointstoGraph |
Mahjong.buildFPG(PTA pta) |
static void |
Mahjong.run(PTA pta,
Map<Object,Object> heapModelMap) |
| Constructor and Description |
|---|
Selectx(PTA pta) |
| Modifier and Type | Field and Description |
|---|---|
protected PTA |
AbstractMVFG.prePTA |
PTA |
OCG.pta |
| Modifier and Type | Method and Description |
|---|---|
static AbstractMVFG |
MethodVFG.findOrCreateMethodVFG(PTA prePTA,
SootMethod method,
OCG hg) |
static AbstractMVFG |
ModularMVFG.findOrCreateMethodVFG(PTA prePTA,
SootMethod method,
OCG hg,
MergedNode<SootMethod> sccNode) |
| Constructor and 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) |
| Modifier and Type | Method and Description |
|---|---|
static void |
Main.run(PTA pta,
Set<SootMethod> zipperPCMOutput) |
| Modifier and Type | Method and Description |
|---|---|
static void |
Zipper.outputNumberOfClasses(PTA pta) |
| Constructor and Description |
|---|
Zipper(PTA pta) |
| Constructor and Description |
|---|
FlowAnalysis(PTA pta,
PotentialContextElement pce,
ObjectFlowGraph ofg) |
ObjectFlowGraph(PTA pta) |
| Modifier and Type | Class and 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 |
| Modifier and Type | Field and Description |
|---|---|
protected PTA |
PTAEvaluator.pta |
protected PTA |
SimplifiedEvaluator.pta |
| Modifier and Type | Method and Description |
|---|---|
void |
Exporter.dumpInsensPointsTo(Collection<LocalVarNode> lvns,
PTA pta) |
| Constructor and 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) |
| Modifier and Type | Method and 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) |
Copyright © 2024 Soot OSS. All rights reserved.