| Package | Description |
|---|---|
| qilin.core | |
| qilin.core.builder | |
| qilin.core.pag | |
| qilin.core.sets | |
| qilin.pta.toolkits.conch | |
| qilin.pta.toolkits.debloaterx | |
| qilin.pta.toolkits.selectx | |
| qilin.pta.toolkits.zipper.flowgraph | |
| qilin.pta.tools | |
| qilin.util |
Generally useful utility classes for Soot.
|
| Modifier and Type | Method and Description |
|---|---|
Node |
CorePTA.parameterize(Node n,
Context context) |
abstract Node |
PTA.parameterize(Node n,
Context context) |
| Modifier and Type | Method and Description |
|---|---|
Node |
CorePTA.parameterize(Node n,
Context context) |
abstract Node |
PTA.parameterize(Node n,
Context context) |
PointsToSet |
PointsToAnalysis.reachingObjects(Node n) |
PointsToSet |
PTA.reachingObjects(Node n)
Returns the set of objects pointed by n: case 1: n is an insensitive node, return objects
pointed by n under every possible context.
|
| Modifier and Type | Field and Description |
|---|---|
protected Map<Node,Collection<ExceptionThrowSite>> |
ExceptionHandler.throwNodeToSites |
| Modifier and Type | Method and Description |
|---|---|
Node |
MethodNodeFactory.getNode(Value v) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ExceptionHandler.addThrowSite(Node throwNode,
ExceptionThrowSite ets) |
| Modifier and Type | Class and Description |
|---|---|
class |
AllocNode
Represents an allocation site node in the pointer assignment graph.
|
class |
ClassConstantNode
Represents an allocation site node the represents a known java.lang.Class object.
|
class |
ConstantNode |
class |
ContextAllocNode |
class |
ContextField |
class |
ContextVarNode |
class |
FieldRefNode
Represents a field reference node in the pointer assignment graph.
|
class |
FieldValNode |
class |
GlobalVarNode
Represents a simple variable node in the pointer assignment graph that is not associated with any
particular method invocation.
|
class |
LocalVarNode |
class |
StringConstantNode
Represents an allocation site node the represents a constant string.
|
class |
ValNode
Represents a simple of pointer node in the pointer assignment graph.
|
class |
VarNode
Represents a simple variable node in the pointer assignment graph.
|
| Modifier and Type | Field and Description |
|---|---|
protected ChunkedQueue<Node> |
PAG.edgeQueue |
Map<Node,Map<Stmt,List<Trap>>> |
MethodPAG.node2wrapperedTraps |
| Modifier and Type | Method and Description |
|---|---|
QueueReader<Node> |
PAG.edgeReader() |
Map<Node,Set<Node>> |
MethodPAG.getExceptionEdges() |
Map<Node,Set<Node>> |
MethodPAG.getExceptionEdges() |
QueueReader<Node> |
MethodPAG.getInternalReader() |
| Modifier and Type | Method and Description |
|---|---|
void |
PAG.addEdge(Node from,
Node to)
Adds an edge to the graph, returning false if it was already there.
|
void |
MethodPAG.addExceptionEdge(Node from,
Node to) |
void |
PAG.addGlobalPAGEdge(Node from,
Node to) |
void |
MethodPAG.addInternalEdge(Node src,
Node dst) |
| Modifier and Type | Method and Description |
|---|---|
void |
PAG.setEdgeQueue(ChunkedQueue<Node> edgeQueue) |
| Modifier and Type | Method and Description |
|---|---|
protected abstract void |
P2SetVisitor.visit(Node n) |
| Modifier and Type | Field and Description |
|---|---|
protected Map<Node,Set<TranEdge>> |
AbstractPAG.outEdges |
protected Map<Node,Set<TranEdge>> |
AbstractPAG.sumEdges |
| Modifier and Type | Method and Description |
|---|---|
Node |
TranEdge.getSource() |
Node |
PathEdge.getSrcNode() |
Node |
TranEdge.getTarget() |
Node |
PathEdge.getTgtNode() |
| Modifier and Type | Method and Description |
|---|---|
Set<Node> |
DepOnParamAnalysis.fetchReachableParamsOf(Node node) |
Set<Pair<Node,Node>> |
SMPAG.getLoads() |
Set<Pair<Node,Node>> |
SMPAG.getLoads() |
Set<Pair<Node,Node>> |
SMPAG.getStores() |
Set<Pair<Node,Node>> |
SMPAG.getStores() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
AbstractPAG.addThrowEdge(Node throwNode) |
protected void |
LeakAnalysis.addThrowEdge(Node throwNode) |
Set<Node> |
DepOnParamAnalysis.fetchReachableParamsOf(Node node) |
protected Collection<TranEdge> |
AbstractPAG.outAndSummaryEdges(Node node) |
| Constructor and Description |
|---|
PathEdge(Node srcNode,
DFA.State srcState,
Node tgtNode,
DFA.State tgtState) |
TranEdge(Node s,
Node d,
DFA.TranCond tran) |
| Modifier and Type | Field and Description |
|---|---|
protected Map<Node,Set<Edge>> |
XPAG.outEdges |
| Modifier and Type | Method and Description |
|---|---|
Set<Edge> |
XPAG.getOutEdges(Node node) |
| Modifier and Type | Field and Description |
|---|---|
Node |
BNode.sparkNode |
| Modifier and Type | Method and Description |
|---|---|
Node |
Edge.getSource() |
Node |
Edge.getTarget() |
| Modifier and Type | Method and Description |
|---|---|
Set<Node> |
IObjectFlowGraph.allNodes() |
Set<Node> |
ObjectFlowGraph.allNodes() |
Set<Node> |
FlowAnalysis.getFlowNodes() |
ConcurrentDirectedGraphImpl<Node> |
FlowAnalysis.getPFG() |
| Modifier and Type | Method and Description |
|---|---|
Set<Edge> |
IObjectFlowGraph.outEdgesOf(Node p0) |
Set<Edge> |
ObjectFlowGraph.outEdgesOf(Node node) |
| Constructor and Description |
|---|
Edge(Kind kind,
Node source,
Node target) |
| Modifier and Type | Method and Description |
|---|---|
Node |
DebloatedPTA.parameterize(Node n,
Context context) |
| Modifier and Type | Method and Description |
|---|---|
Node |
DebloatedPTA.parameterize(Node n,
Context context) |
PointsToSet |
DebloatedPTA.reachingObjects(Node n) |
| Modifier and Type | Method and Description |
|---|---|
static String |
PTAUtils.getNodeLabel(Node node) |
Copyright © 2024 Soot OSS. All rights reserved.