| Package | Description |
|---|---|
| qilin.core | |
| qilin.core.builder.callgraph | |
| qilin.core.context | |
| qilin.core.pag | |
| qilin.parm.ctxcons | |
| qilin.parm.select | |
| qilin.pta.toolkits.dd | |
| qilin.pta.tools | |
| qilin.util |
Generally useful utility classes for Soot.
|
| Modifier and Type | Method and Description |
|---|---|
Context |
CorePTA.createCalleeCtx(ContextMethod caller,
AllocNode receiverNode,
CallSite callSite,
SootMethod target) |
abstract Context |
PTA.createCalleeCtx(ContextMethod caller,
AllocNode receiverNode,
CallSite callSite,
SootMethod target) |
Context |
CorePTA.emptyContext() |
abstract Context |
PTA.emptyContext() |
| Modifier and Type | Method and Description |
|---|---|
protected ContextAllocNode |
CorePTA.parameterize(AllocNode node,
Context context) |
protected FieldRefNode |
CorePTA.parameterize(FieldRefNode frn,
Context context) |
ContextField |
CorePTA.parameterize(FieldValNode fvn,
Context context) |
protected ContextVarNode |
CorePTA.parameterize(LocalVarNode vn,
Context context) |
Node |
CorePTA.parameterize(Node n,
Context context) |
abstract Node |
PTA.parameterize(Node n,
Context context) |
ContextMethod |
CorePTA.parameterize(SootMethod method,
Context context)
Finds or creates the ContextMethod for method and context.
|
abstract ContextMethod |
PTA.parameterize(SootMethod method,
Context context) |
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
SootMethod m,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
PTA.reachingObjects(Context c,
SootMethod m,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
SootMethod m,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects pointed to by l in
context c.
|
PointsToSet |
PTA.reachingObjects(Context c,
SootMethod m,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects pointed to by l in
context c.
|
| Modifier and Type | Method and Description |
|---|---|
Context |
Edge.srcCtxt() |
Context |
Edge.tgtCtxt() |
| Modifier and Type | Class and Description |
|---|---|
class |
ContextElements |
| Modifier and Type | Field and Description |
|---|---|
protected Context |
ContextField.context |
| Modifier and Type | Field and Description |
|---|---|
protected Map<MethodPAG,Set<Context>> |
PAG.addedContexts |
protected Map<AllocNode,Map<Context,ContextAllocNode>> |
PAG.contextAllocNodeMap |
protected Map<Context,Map<SparkField,ContextField>> |
PAG.contextFieldMap |
protected Map<SootMethod,Map<Context,ContextMethod>> |
PAG.contextMethodMap |
protected Map<VarNode,Map<Context,ContextVarNode>> |
PAG.contextVarNodeMap |
| Modifier and Type | Method and Description |
|---|---|
Context |
ContextAllocNode.context() |
Context |
ContextVarNode.context() |
Context |
ContextMethod.context() |
Context |
VarNode.context() |
Context |
ContextField.getContext()
Returns the base AllocNode.
|
| Modifier and Type | Method and Description |
|---|---|
Map<AllocNode,Map<Context,ContextAllocNode>> |
PAG.getContextAllocNodeMap() |
Map<Context,Map<SparkField,ContextField>> |
PAG.getContextFieldVarNodeMap() |
Map<SootMethod,Map<Context,ContextMethod>> |
PAG.getContextMethodMap() |
Map<VarNode,Map<Context,ContextVarNode>> |
PAG.getContextVarNodeMap() |
Map<MethodPAG,Set<Context>> |
PAG.getMethod2ContextsMap() |
| Modifier and Type | Method and Description |
|---|---|
ContextVarNode |
PAG.findContextVarNode(SootMethod m,
Local baseValue,
Context context)
Finds the ContextVarNode for base variable value and context context, or returns null.
|
ContextAllocNode |
PAG.makeContextAllocNode(AllocNode allocNode,
Context context)
Finds or creates the ContextAllocNode for base alloc site and context.
|
ContextField |
PAG.makeContextField(Context context,
FieldValNode fieldValNode) |
ContextMethod |
PAG.makeContextMethod(Context context,
SootMethod method)
Finds or creates the ContextMethod for method and context.
|
ContextVarNode |
PAG.makeContextVarNode(VarNode base,
Context context)
Finds or creates the ContextVarNode for base variable base and context.
|
| Constructor and Description |
|---|
ContextAllocNode(AllocNode base,
Context context) |
ContextField(Context context,
SparkField field) |
ContextMethod(SootMethod method,
Context context) |
ContextVarNode(VarNode base,
Context context) |
| Modifier and Type | Field and Description |
|---|---|
static Context |
CtxConstructor.emptyContext |
| Modifier and Type | Method and Description |
|---|---|
Context |
CtxConstructor.constructCtx(ContextMethod caller,
ContextAllocNode receiverNode,
CallSite callSite,
SootMethod target) |
Context |
TypeCtxConstructor.constructCtx(ContextMethod caller,
ContextAllocNode receiverNode,
CallSite callSite,
SootMethod target) |
Context |
CallsiteCtxConstructor.constructCtx(ContextMethod caller,
ContextAllocNode receiverNode,
CallSite callSite,
SootMethod target) |
Context |
InsensCtxConstructor.constructCtx(ContextMethod caller,
ContextAllocNode receiverNode,
CallSite callSite,
SootMethod target) |
Context |
HybObjCtxConstructor.constructCtx(ContextMethod caller,
ContextAllocNode receiverNode,
CallSite callSite,
SootMethod target) |
Context |
HybTypeCtxConstructor.constructCtx(ContextMethod caller,
ContextAllocNode receiverNode,
CallSite callSite,
SootMethod target) |
Context |
ObjCtxConstructor.constructCtx(ContextMethod caller,
ContextAllocNode receiverNode,
CallSite callSite,
SootMethod target) |
| Modifier and Type | Method and Description |
|---|---|
protected Context |
CtxSelector.contextTailor(Context context,
int length) |
abstract Context |
CtxSelector.select(AllocNode heap,
Context context) |
Context |
InsenSelector.select(AllocNode heap,
Context context) |
Context |
DebloatingSelector.select(AllocNode heap,
Context context) |
Context |
PartialVarSelector.select(AllocNode heap,
Context context) |
Context |
BeanSelector.select(AllocNode heap,
Context context) |
Context |
PipelineSelector.select(AllocNode heap,
Context context) |
Context |
UniformSelector.select(AllocNode heap,
Context context) |
Context |
PartialMethodLvSelector.select(AllocNode heap,
Context context) |
Context |
HeuristicSelector.select(AllocNode heap,
Context context) |
Context |
VarLvSelector.select(AllocNode heap,
Context context) |
Context |
FullMethodLvSelector.select(AllocNode heap,
Context context) |
abstract Context |
CtxSelector.select(FieldValNode fvn,
Context context) |
Context |
InsenSelector.select(FieldValNode fvn,
Context context) |
Context |
DebloatingSelector.select(FieldValNode fvn,
Context context) |
Context |
PartialVarSelector.select(FieldValNode fvn,
Context context) |
Context |
BeanSelector.select(FieldValNode fvn,
Context context) |
Context |
PipelineSelector.select(FieldValNode fvn,
Context context) |
Context |
UniformSelector.select(FieldValNode fvn,
Context context) |
Context |
PartialMethodLvSelector.select(FieldValNode fvn,
Context context) |
Context |
HeuristicSelector.select(FieldValNode fvn,
Context context) |
Context |
VarLvSelector.select(FieldValNode fvn,
Context context) |
Context |
FullMethodLvSelector.select(FieldValNode fvn,
Context context) |
abstract Context |
CtxSelector.select(LocalVarNode lvn,
Context context) |
Context |
InsenSelector.select(LocalVarNode lvn,
Context context) |
Context |
DebloatingSelector.select(LocalVarNode lvn,
Context context) |
Context |
PartialVarSelector.select(LocalVarNode lvn,
Context context) |
Context |
BeanSelector.select(LocalVarNode lvn,
Context context) |
Context |
PipelineSelector.select(LocalVarNode lvn,
Context context) |
Context |
UniformSelector.select(LocalVarNode lvn,
Context context) |
Context |
PartialMethodLvSelector.select(LocalVarNode lvn,
Context context) |
Context |
HeuristicSelector.select(LocalVarNode lvn,
Context context) |
Context |
VarLvSelector.select(LocalVarNode lvn,
Context context) |
Context |
FullMethodLvSelector.select(LocalVarNode lvn,
Context context) |
abstract Context |
CtxSelector.select(SootMethod m,
Context context) |
Context |
InsenSelector.select(SootMethod m,
Context context) |
Context |
DebloatingSelector.select(SootMethod m,
Context context) |
Context |
PartialVarSelector.select(SootMethod m,
Context context) |
Context |
BeanSelector.select(SootMethod m,
Context context) |
Context |
PipelineSelector.select(SootMethod m,
Context context) |
Context |
UniformSelector.select(SootMethod m,
Context context) |
Context |
PartialMethodLvSelector.select(SootMethod m,
Context context) |
Context |
HeuristicSelector.select(SootMethod m,
Context context) |
Context |
VarLvSelector.select(SootMethod m,
Context context) |
Context |
FullMethodLvSelector.select(SootMethod m,
Context context) |
| Modifier and Type | Method and Description |
|---|---|
protected Context |
CtxSelector.contextTailor(Context context,
int length) |
abstract Context |
CtxSelector.select(AllocNode heap,
Context context) |
Context |
InsenSelector.select(AllocNode heap,
Context context) |
Context |
DebloatingSelector.select(AllocNode heap,
Context context) |
Context |
PartialVarSelector.select(AllocNode heap,
Context context) |
Context |
BeanSelector.select(AllocNode heap,
Context context) |
Context |
PipelineSelector.select(AllocNode heap,
Context context) |
Context |
UniformSelector.select(AllocNode heap,
Context context) |
Context |
PartialMethodLvSelector.select(AllocNode heap,
Context context) |
Context |
HeuristicSelector.select(AllocNode heap,
Context context) |
Context |
VarLvSelector.select(AllocNode heap,
Context context) |
Context |
FullMethodLvSelector.select(AllocNode heap,
Context context) |
abstract Context |
CtxSelector.select(FieldValNode fvn,
Context context) |
Context |
InsenSelector.select(FieldValNode fvn,
Context context) |
Context |
DebloatingSelector.select(FieldValNode fvn,
Context context) |
Context |
PartialVarSelector.select(FieldValNode fvn,
Context context) |
Context |
BeanSelector.select(FieldValNode fvn,
Context context) |
Context |
PipelineSelector.select(FieldValNode fvn,
Context context) |
Context |
UniformSelector.select(FieldValNode fvn,
Context context) |
Context |
PartialMethodLvSelector.select(FieldValNode fvn,
Context context) |
Context |
HeuristicSelector.select(FieldValNode fvn,
Context context) |
Context |
VarLvSelector.select(FieldValNode fvn,
Context context) |
Context |
FullMethodLvSelector.select(FieldValNode fvn,
Context context) |
abstract Context |
CtxSelector.select(LocalVarNode lvn,
Context context) |
Context |
InsenSelector.select(LocalVarNode lvn,
Context context) |
Context |
DebloatingSelector.select(LocalVarNode lvn,
Context context) |
Context |
PartialVarSelector.select(LocalVarNode lvn,
Context context) |
Context |
BeanSelector.select(LocalVarNode lvn,
Context context) |
Context |
PipelineSelector.select(LocalVarNode lvn,
Context context) |
Context |
UniformSelector.select(LocalVarNode lvn,
Context context) |
Context |
PartialMethodLvSelector.select(LocalVarNode lvn,
Context context) |
Context |
HeuristicSelector.select(LocalVarNode lvn,
Context context) |
Context |
VarLvSelector.select(LocalVarNode lvn,
Context context) |
Context |
FullMethodLvSelector.select(LocalVarNode lvn,
Context context) |
abstract Context |
CtxSelector.select(SootMethod m,
Context context) |
Context |
InsenSelector.select(SootMethod m,
Context context) |
Context |
DebloatingSelector.select(SootMethod m,
Context context) |
Context |
PartialVarSelector.select(SootMethod m,
Context context) |
Context |
BeanSelector.select(SootMethod m,
Context context) |
Context |
PipelineSelector.select(SootMethod m,
Context context) |
Context |
UniformSelector.select(SootMethod m,
Context context) |
Context |
PartialMethodLvSelector.select(SootMethod m,
Context context) |
Context |
HeuristicSelector.select(SootMethod m,
Context context) |
Context |
VarLvSelector.select(SootMethod m,
Context context) |
Context |
FullMethodLvSelector.select(SootMethod m,
Context context) |
| Modifier and Type | Method and Description |
|---|---|
Context |
TunnelingConstructor.constructCtx(ContextMethod caller,
ContextAllocNode receiverNode,
CallSite callSite,
SootMethod target) |
Context |
DataDrivenSelector.select(AllocNode heap,
Context context) |
Context |
DataDrivenSelector.select(FieldValNode fvn,
Context context) |
Context |
DataDrivenSelector.select(LocalVarNode lvn,
Context context) |
Context |
DataDrivenSelector.select(SootMethod m,
Context context) |
| Modifier and Type | Method and Description |
|---|---|
Context |
DataDrivenSelector.select(AllocNode heap,
Context context) |
Context |
DataDrivenSelector.select(FieldValNode fvn,
Context context) |
Context |
DataDrivenSelector.select(LocalVarNode lvn,
Context context) |
Context |
DataDrivenSelector.select(SootMethod m,
Context context) |
| Modifier and Type | Method and Description |
|---|---|
Context |
DebloatedPTA.createCalleeCtx(ContextMethod caller,
AllocNode receiverNode,
CallSite callSite,
SootMethod target) |
Context |
DebloatedPTA.emptyContext() |
| Modifier and Type | Method and Description |
|---|---|
Node |
DebloatedPTA.parameterize(Node n,
Context context) |
ContextMethod |
DebloatedPTA.parameterize(SootMethod method,
Context context) |
PointsToSet |
DebloatedPTA.reachingObjects(Context c,
SootMethod m,
Local l) |
PointsToSet |
DebloatedPTA.reachingObjects(Context c,
SootMethod m,
Local l,
SootField f) |
| Modifier and Type | Method and Description |
|---|---|
static Context |
PTAUtils.plusplusOp(AllocNode heap) |
Copyright © 2024 Soot OSS. All rights reserved.