Uses of Interface
qilin.core.pag.SparkField

Packages that use SparkField

Package	Description
qilin.core
qilin.core.pag	Points-to analysis graph (PAG) data structures, based on Soot/jimple/spark/pag with significant modifications.
qilin.pta.toolkits.common
qilin.pta.toolkits.conch
qilin.pta.toolkits.debloaterx
qilin.pta.toolkits.mahjong.automata

Uses of SparkField in qilin.core

Methods in qilin.core with parameters of type SparkField

Modifier and Type	Method	Description
PointsToSet	PTA.reachingObjectsInternal(AllocNode heap, SparkField f)
PointsToSet	PTA.reachingObjectsInternal(PointsToSet bases, SparkField f)

Uses of SparkField in qilin.core.pag

Classes in qilin.core.pag that implement SparkField

Modifier and Type	Class	Description
class	ArrayElement	Represents an array element.
class	Field	a wrapper of normal field.

Fields in qilin.core.pag declared as SparkField

Modifier and Type	Field	Description
protected SparkField	ContextField.field
protected SparkField	FieldRefNode.field

Fields in qilin.core.pag with type parameters of type SparkField

Modifier and Type	Field	Description
protected final Map<Context,Map<SparkField,ContextField>>	PAG.contextFieldMap
protected Map<SparkField,FieldRefNode>	VarNode.fields

Methods in qilin.core.pag that return SparkField

Modifier and Type	Method	Description
SparkField	ContextField.getField()	Returns the field of this node.
SparkField	FieldRefNode.getField()	Returns the field of this field reference.
SparkField	FieldValNode.getField()

Methods in qilin.core.pag that return types with arguments of type SparkField

Modifier and Type	Method	Description
Map<Context,Map<SparkField,ContextField>>	PAG.getContextFieldVarNodeMap()

Methods in qilin.core.pag with parameters of type SparkField

Modifier and Type	Method	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.

Constructors in qilin.core.pag with parameters of type SparkField

Modifier	Constructor	Description
	ContextField(Context context, SparkField field)
	FieldRefNode(VarNode base, SparkField field)
	FieldValNode(SparkField field)

Uses of SparkField in qilin.pta.toolkits.common

Methods in qilin.pta.toolkits.common that return types with arguments of type SparkField

Modifier and Type	Method	Description
Set<SparkField>	FieldPointstoGraph.inFieldsOf(AllocNode obj)
Set<SparkField>	FieldPointstoGraph.outFieldsOf(AllocNode baseObj)

Methods in qilin.pta.toolkits.common with parameters of type SparkField

Modifier and Type	Method	Description
boolean	FieldPointstoGraph.hasFieldPointer(AllocNode obj, SparkField field)
Set<AllocNode>	FieldPointstoGraph.pointedBy(AllocNode obj, SparkField field)
Set<AllocNode>	FieldPointstoGraph.pointsTo(AllocNode baseObj, SparkField field)

Uses of SparkField in qilin.pta.toolkits.conch

Fields in qilin.pta.toolkits.conch with type parameters of type SparkField

Modifier and Type	Field	Description
protected final Map<SootMethod,Map<SparkField,Set<VarNode>>>	AbstractConch.m2thisFLoads	Maps each method to its this-pointer field loads: field → load_base nodes.
protected final Map<SootMethod,Map<SparkField,Set<Pair<VarNode,VarNode>>>>	AbstractConch.m2thisFStores	Maps each method to its this-pointer field stores: field → (store_base, source).
protected final Map<AllocNode,Set<SparkField>>	AbstractConch.o2fs	Maps each allocation node to the set of fields accessed on it.
protected final Map<AllocNode,Map<SparkField,Set<VarNode>>>	AbstractConch.o2nonThisFLoads	Maps each allocation node to non-this field loads: field → load_base nodes.
protected final Map<AllocNode,Map<SparkField,Set<Pair<VarNode,VarNode>>>>	AbstractConch.o2nonThisFStores	Maps each allocation node to non-this field stores: field → (store_base, source).

Methods in qilin.pta.toolkits.conch with parameters of type SparkField

Modifier and Type	Method	Description
protected boolean	AbstractConch.emptyFieldPts(AllocNode heap, SparkField field)	Returns true if the points-to set for the given field on the given heap node is empty.
protected boolean	AbstractConch.hasLoadOn(AllocNode heap, SparkField field)	Returns true if the given field of the given heap node has at least one load operation.
protected boolean	AbstractConch.hasStoreOn(AllocNode heap, SparkField field)	Returns true if the given field of the given heap node has at least one store operation.

Uses of SparkField in qilin.pta.toolkits.debloaterx

Fields in qilin.pta.toolkits.debloaterx with type parameters of type SparkField

Modifier and Type	Field	Description
protected final Map<SparkField,Set<LocalVarNode>>	InterFlowAnalysis.field2InParams
protected final Map<SparkField,Set<LocalVarNode>>	InterFlowAnalysis.field2OutParams
protected final Map<AllocNode,Set<SparkField>>	XUtility.o2Fields
protected final Map<AllocNode,Map<SparkField,Set<VarNode>>>	XUtility.o2nonThisFLoads
protected final Map<AllocNode,Map<SparkField,Set<VarNode>>>	XUtility.o2nonThisFStores
protected final Map<Type,Set<SparkField>>	CollectionHeuristic.t2Fields
protected final Map<Type,Set<SparkField>>	XUtility.t2Fields
protected final Map<Type,Map<SparkField,Set<VarNode>>>	XUtility.t2nonThisFLoads
protected final Map<Type,Map<SparkField,Set<VarNode>>>	XUtility.t2nonThisFStores

Methods in qilin.pta.toolkits.debloaterx that return types with arguments of type SparkField

Modifier and Type	Method	Description
Set<SparkField>	XUtility.getFields()
Set<SparkField>	XUtility.getFields(AllocNode heap)
Set<SparkField>	XUtility.getFields(Type type)
Set<SparkField>	IntraFlowAnalysis.retrieveStoreFields(AllocNode heap)

Methods in qilin.pta.toolkits.debloaterx with parameters of type SparkField

Modifier and Type	Method	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)

Uses of SparkField in qilin.pta.toolkits.mahjong.automata

Methods in qilin.pta.toolkits.mahjong.automata that return types with arguments of type SparkField

Modifier and Type	Method	Description
Set<SparkField>	NFA.outEdgesOf(AllocNode obj)

Methods in qilin.pta.toolkits.mahjong.automata with parameters of type SparkField

Modifier and Type	Method	Description
Set<AllocNode>	NFA.nextStates(AllocNode obj, SparkField f)