| Package | Description |
|---|---|
| qilin.core | |
| qilin.core.pag | |
| qilin.pta.toolkits.common | |
| qilin.pta.toolkits.conch | |
| qilin.pta.toolkits.debloaterx | |
| qilin.pta.toolkits.mahjong.automata |
| Modifier and Type | Method and Description |
|---|---|
PointsToSet |
PTA.reachingObjectsInternal(AllocNode heap,
SparkField f) |
PointsToSet |
PTA.reachingObjectsInternal(PointsToSet bases,
SparkField f) |
| Modifier and Type | Class and Description |
|---|---|
class |
ArrayElement
Represents an array element.
|
class |
Field
a wrapper of normal field.
|
| Modifier and Type | Field and Description |
|---|---|
protected SparkField |
ContextField.field |
protected SparkField |
FieldRefNode.field |
| Modifier and Type | Field and Description |
|---|---|
protected Map<Context,Map<SparkField,ContextField>> |
PAG.contextFieldMap |
protected Map<SparkField,FieldRefNode> |
VarNode.fields |
| Modifier and Type | Method and Description |
|---|---|
SparkField |
ContextField.getField()
Returns the field of this node.
|
SparkField |
FieldValNode.getField() |
SparkField |
FieldRefNode.getField()
Returns the field of this field reference.
|
| Modifier and Type | Method and Description |
|---|---|
Map<Context,Map<SparkField,ContextField>> |
PAG.getContextFieldVarNodeMap() |
| Modifier and Type | Method and Description |
|---|---|
FieldRefNode |
VarNode.dot(SparkField field)
Returns the field ref node having this node as its base, and field as its field; null if
nonexistent.
|
FieldRefNode |
PAG.makeFieldRefNode(VarNode base,
SparkField field)
Finds or creates the FieldRefNode for base variable base and field field, of type type.
|
FieldValNode |
PAG.makeFieldValNode(SparkField field)
Finds or creates the FieldVarNode for the Java field or array element.
|
| Constructor and Description |
|---|
ContextField(Context context,
SparkField field) |
FieldRefNode(VarNode base,
SparkField field) |
FieldValNode(SparkField field) |
| Modifier and Type | Method and Description |
|---|---|
Set<SparkField> |
FieldPointstoGraph.inFieldsOf(AllocNode obj) |
Set<SparkField> |
FieldPointstoGraph.outFieldsOf(AllocNode baseObj) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
FieldPointstoGraph.hasFieldPointer(AllocNode obj,
SparkField field) |
Set<AllocNode> |
FieldPointstoGraph.pointedBy(AllocNode obj,
SparkField field) |
Set<AllocNode> |
FieldPointstoGraph.pointsTo(AllocNode baseObj,
SparkField field) |
| Modifier and Type | Field and Description |
|---|---|
protected Map<SootMethod,Map<SparkField,Set<VarNode>>> |
AbstractConch.m2thisFLoads |
protected Map<SootMethod,Map<SparkField,Set<Pair<VarNode,VarNode>>>> |
AbstractConch.m2thisFStores |
protected Map<AllocNode,Set<SparkField>> |
AbstractConch.o2fs |
protected Map<AllocNode,Map<SparkField,Set<VarNode>>> |
AbstractConch.o2nonThisFLoads |
protected Map<AllocNode,Map<SparkField,Set<Pair<VarNode,VarNode>>>> |
AbstractConch.o2nonThisFStores |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
AbstractConch.emptyFieldPts(AllocNode heap,
SparkField field) |
protected boolean |
AbstractConch.hasLoadOn(AllocNode heap,
SparkField field) |
protected boolean |
AbstractConch.hasStoreOn(AllocNode heap,
SparkField field) |
| Modifier and Type | Field and Description |
|---|---|
protected Map<SparkField,Set<LocalVarNode>> |
InterFlowAnalysis.field2InParams |
protected Map<SparkField,Set<LocalVarNode>> |
InterFlowAnalysis.field2OutParams |
protected Map<AllocNode,Set<SparkField>> |
XUtility.o2Fields |
protected Map<AllocNode,Map<SparkField,Set<VarNode>>> |
XUtility.o2nonThisFLoads |
protected Map<AllocNode,Map<SparkField,Set<VarNode>>> |
XUtility.o2nonThisFStores |
protected Map<Type,Set<SparkField>> |
CollectionHeuristic.t2Fields |
protected Map<Type,Set<SparkField>> |
XUtility.t2Fields |
protected Map<Type,Map<SparkField,Set<VarNode>>> |
XUtility.t2nonThisFLoads |
protected Map<Type,Map<SparkField,Set<VarNode>>> |
XUtility.t2nonThisFStores |
| Modifier and Type | Method and Description |
|---|---|
Set<SparkField> |
XUtility.getFields() |
Set<SparkField> |
XUtility.getFields(AllocNode heap) |
Set<SparkField> |
XUtility.getFields(Type type) |
Set<SparkField> |
IntraFlowAnalysis.retrieveStoreFields(AllocNode heap) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
XPAG.addLoadEdge(LocalVarNode base,
LocalVarNode to,
SparkField field) |
protected void |
XPAG.addStoreEdge(LocalVarNode from,
LocalVarNode base,
SparkField field) |
Set<SootMethod> |
InterFlowAnalysis.getOutMethodsWithRetOrParamValueFrom(SparkField field) |
Set<LocalVarNode> |
InterFlowAnalysis.getParamsStoredInto(SparkField field) |
boolean |
XUtility.hasNonThisLoadFromField(AllocNode heap,
SparkField field) |
boolean |
XUtility.hasNonThisStoreOnField(AllocNode heap,
SparkField field) |
boolean |
HeapContainerQuery.hasOutMethodsWithRetOrParamValueFrom(SparkField field) |
boolean |
HeapContainerQuery.hasParamsStoredInto(SparkField field) |
boolean |
HeapContainerQuery.isCSField(SparkField field) |
| Modifier and Type | Method and Description |
|---|---|
Set<SparkField> |
NFA.outEdgesOf(AllocNode obj) |
| Modifier and Type | Method and Description |
|---|---|
Set<AllocNode> |
NFA.nextStates(AllocNode obj,
SparkField f) |
Copyright © 2024 Soot OSS. All rights reserved.