| Package | Description |
|---|---|
| qilin.core | |
| qilin.core.builder | |
| qilin.core.pag | |
| qilin.parm.select | |
| qilin.pta.toolkits.conch | |
| qilin.pta.toolkits.dd | |
| qilin.pta.toolkits.debloaterx | |
| qilin.pta.toolkits.eagle | |
| qilin.pta.toolkits.selectx | |
| qilin.pta.toolkits.turner | |
| qilin.stat | |
| qilin.util |
Generally useful utility classes for Soot.
|
| Modifier and Type | Method and Description |
|---|---|
protected ContextVarNode |
CorePTA.parameterize(LocalVarNode vn,
Context context) |
| Modifier and Type | Method and Description |
|---|---|
LocalVarNode |
MethodNodeFactory.makeInvokeStmtThrowVarNode(Stmt invoke,
SootMethod method) |
| Modifier and Type | Method and Description |
|---|---|
LocalVarNode |
PAG.findLocalVarNode(SootMethod m,
Object value,
Type type)
Finds the LocalVarNode for the variable value, or returns null.
|
LocalVarNode |
PAG.makeLocalVarNode(Object value,
Type type,
SootMethod method)
Finds or creates the LocalVarNode for the variable value, of type type.
|
| Modifier and Type | Method and Description |
|---|---|
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) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
AbstractPAG.addAssignEdge(LocalVarNode from,
LocalVarNode to) |
protected void |
AbstractPAG.addLoadEdge(LocalVarNode base,
LocalVarNode to) |
protected void |
DepOnParamAnalysis.addNewEdge(AllocNode from,
LocalVarNode to) |
protected void |
AbstractPAG.addNewEdge(AllocNode from,
LocalVarNode to) |
protected void |
LeakAnalysis.addNewEdge(AllocNode from,
LocalVarNode to) |
protected void |
DepOnParamAnalysis.addParamEdge(LocalVarNode param) |
protected void |
AbstractPAG.addParamEdge(LocalVarNode param) |
protected void |
LeakAnalysis.addParamEdge(LocalVarNode param) |
protected void |
AbstractPAG.addReturnEdge(LocalVarNode mret) |
protected void |
LeakAnalysis.addReturnEdge(LocalVarNode mret) |
protected void |
AbstractPAG.addStoreEdge(LocalVarNode from,
LocalVarNode base) |
| Modifier and Type | Method and Description |
|---|---|
Context |
DataDrivenSelector.select(LocalVarNode lvn,
Context context) |
| Modifier and Type | Field and Description |
|---|---|
protected Map<SparkField,Set<LocalVarNode>> |
InterFlowAnalysis.field2InParams |
protected Map<SparkField,Set<LocalVarNode>> |
InterFlowAnalysis.field2OutParams |
protected Set<LocalVarNode> |
IntraFlowAnalysis.params |
| Modifier and Type | Method and Description |
|---|---|
LocalVarNode |
XPAG.getDummyThis() |
| Modifier and Type | Method and Description |
|---|---|
Set<LocalVarNode> |
HeapContainerQuery.getInParamsToCSFields() |
Set<LocalVarNode> |
InterFlowAnalysis.getParamsStoredInto(SparkField field) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
XPAG.addAssignEdge(LocalVarNode from,
LocalVarNode to) |
protected void |
XPAG.addCLoadEdge(LocalVarNode base,
LocalVarNode to) |
protected void |
XPAG.addCStoreEdge(LocalVarNode from,
LocalVarNode base) |
protected void |
XPAG.addLoadEdge(LocalVarNode base,
LocalVarNode to,
SparkField field) |
protected void |
XPAG.addNewEdge(AllocNode from,
LocalVarNode to) |
protected void |
XPAG.addParamEdge(LocalVarNode param) |
protected void |
XPAG.addReturnEdge(LocalVarNode ret) |
protected void |
XPAG.addStoreEdge(LocalVarNode from,
LocalVarNode base,
SparkField field) |
protected void |
XPAG.addThisEdge(LocalVarNode thisNode) |
| Modifier and Type | Method and Description |
|---|---|
void |
Eagle.addAssignEdge(LocalVarNode from,
LocalVarNode to) |
void |
Eagle.addLoadEdge(LocalVarNode base,
LocalVarNode to) |
void |
Eagle.addNewEdge(AllocNode from,
LocalVarNode to) |
protected void |
Eagle.addParamEdges(AllocNode o,
LocalVarNode thisRef,
LocalVarNode[] parms,
LocalVarNode mret,
LocalVarNode mThrow) |
protected void |
Eagle.addParamEdges(AllocNode o,
LocalVarNode thisRef,
LocalVarNode[] parms,
LocalVarNode mret,
LocalVarNode mThrow) |
void |
Eagle.addStoreEdge(LocalVarNode from,
LocalVarNode base) |
| Modifier and Type | Field and Description |
|---|---|
static Map<LocalVarNode,L> |
L.l2LN |
static Map<LocalVarNode,L> |
L.l2LP |
| Modifier and Type | Method and Description |
|---|---|
void |
Selectx.addAssignEdge(LocalVarNode from,
LocalVarNode to) |
void |
Selectx.addEntryEdge(LocalVarNode from,
LocalVarNode to,
CallSite callSite) |
void |
Selectx.addExitEdge(LocalVarNode from,
LocalVarNode to,
CallSite callSite) |
void |
Selectx.addNewEdge(AllocNode from,
LocalVarNode to) |
void |
Selectx.addStaticLoadEdge(GlobalVarNode from,
LocalVarNode to) |
void |
Selectx.addStaticStoreEdge(LocalVarNode from,
GlobalVarNode to) |
void |
Selectx.addStoreEdge(LocalVarNode from,
LocalVarNode base) |
static L |
L.v(LocalVarNode origin,
boolean positive) |
| Modifier and Type | Field and Description |
|---|---|
protected Map<LocalVarNode,Set<AllocNode>> |
OCG.pts |
| Modifier and Type | Method and Description |
|---|---|
protected void |
AbstractMVFG.addAssignEdge(LocalVarNode from,
LocalVarNode to) |
protected void |
AbstractMVFG.addLoadEdge(LocalVarNode base,
LocalVarNode to) |
protected void |
AbstractMVFG.addNewEdge(AllocNode from,
LocalVarNode to) |
protected void |
AbstractMVFG.addStoreEdge(LocalVarNode from,
LocalVarNode base) |
| Modifier and Type | Method and Description |
|---|---|
void |
Exporter.dumpInsensPointsTo(Collection<LocalVarNode> lvns,
PTA pta) |
void |
Exporter.dumpReachableLocalVars(Collection<LocalVarNode> lvns) |
void |
Exporter.dumpReachableLocalVarsNoNative(Collection<LocalVarNode> lvns) |
| Modifier and Type | Method and Description |
|---|---|
static LocalVarNode |
PTAUtils.paramToArg(PAG pag,
Stmt invokeStmt,
MethodPAG srcmpag,
VarNode pi) |
| Modifier and Type | Method and Description |
|---|---|
static Map<LocalVarNode,Set<AllocNode>> |
PTAUtils.calcStaticThisPTS(PTA pta) |
Copyright © 2024 Soot OSS. All rights reserved.