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
qilin.pta.toolkits.moon.graph
qilin.pta.toolkits.moon.support
qilin.pta.toolkits.moon.traversal

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	A pseudo-field standing in for "any element of any array", used to model array stores/loads field-insensitively: PAG holds exactly one ArrayElement instance (see PAG.getArrayElement()), shared across every array type in the program.
class	ConcreteField	A SparkField wrapping a real, declared SootField -- as opposed to ArrayElement, which is the pseudo-field standing in for "any array cell".

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, boolean preciseArrayElement)
	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)

Uses of SparkField in qilin.pta.toolkits.moon.graph

Methods in qilin.pta.toolkits.moon.graph that return SparkField

Modifier and Type	Method	Description
SparkField	FieldEdge.field()

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

Modifier and Type	Method	Description
Set<SparkField>	FieldPointsToGraph.getAllFieldsOf(AllocNode baseObj)

Methods in qilin.pta.toolkits.moon.graph with parameters of type SparkField

Modifier and Type	Method	Description
void	VFG.addFieldFlowEdge(FlowKind flowKind, PagNode src, PagNode tgt, SparkField field)
void	FieldPointsToGraph.addFieldPointsToGraph(AllocNode baseObj, SparkField field, AllocNode obj)
Set<AllocNode>	FieldPointsToGraph.getFieldPointsTo(AllocNode baseObj, SparkField field)

Constructors in qilin.pta.toolkits.moon.graph with parameters of type SparkField

Modifier	Constructor	Description
	FieldEdge(PagNode src, PagNode tgt, FlowKind flowKind, SparkField sparkField)

Uses of SparkField in qilin.pta.toolkits.moon.support

Fields in qilin.pta.toolkits.moon.support with type parameters of type SparkField

Modifier and Type	Field	Description
protected final com.google.common.collect.SetMultimap<AllocNode,SparkField>	ContainerCollector.containerToFields
protected final com.google.common.collect.SetMultimap<SparkField,AllocNode>	FieldRecorder.fieldToBaseObjs
protected final com.google.common.collect.SetMultimap<SparkField,LocalVarNode>	FieldFlowRecorder.fieldToInParams
protected final com.google.common.collect.SetMultimap<SparkField,LocalVarNode>	FieldFlowRecorder.fieldToOutParams
protected final Set<SparkField>	FieldFlowRecorder.hasNonThisFieldLoad
protected final com.google.common.collect.SetMultimap<AllocNode,SparkField>	FieldRecorder.objToFields
protected final ConcurrentTwoKeyMultiMap<AllocNode,SparkField,VarNode>	FieldFlowRecorder.objToNonThisFieldLoad
protected final ConcurrentTwoKeyMultiMap<AllocNode,SparkField,VarNode>	FieldFlowRecorder.objToNonThisFieldStore
protected final com.google.common.collect.SetMultimap<Type,SparkField>	FieldRecorder.typeToFields

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

Modifier and Type	Method	Description
Set<SparkField>	FieldRecorder.allFields(KeyTypeCollector keyTypeCollector)
com.google.common.collect.SetMultimap<SparkField,LocalVarNode>	FieldRecorder.getFieldAndStoredFromVars(LocalVarNode var)
Set<SparkField>	FieldRecorder.getLoadedFields(LocalVarNode var)
Set<SparkField>	FieldRecorder.getStoredFields(LocalVarNode var)

Methods in qilin.pta.toolkits.moon.support with parameters of type SparkField

Modifier and Type	Method	Description
Set<LocalVarNode>	FieldRecorder.getLoadedToVars(LocalVarNode var, SparkField field)
Set<LocalVarNode>	FieldRecorder.getStoredFromVars(LocalVarNode var, SparkField field)
boolean	FieldFlowRecorder.isConnceredField(AllocNode heap, SparkField field)
void	FieldRecorder.putLoad(LocalVarNode var, SparkField field, LocalVarNode loadedToVar)
void	FieldRecorder.putStore(LocalVarNode var, SparkField field, LocalVarNode storeFromVar)
void	FieldRecorder.recordObjToField(AllocNode obj, SparkField field)

Uses of SparkField in qilin.pta.toolkits.moon.traversal

Methods in qilin.pta.toolkits.moon.traversal that return SparkField

Modifier and Type	Method	Description
SparkField	TraversalResult.getField()

Methods in qilin.pta.toolkits.moon.traversal with parameters of type SparkField

Modifier and Type	Method	Description
TraversalResult	StoredVarTraverser.findSourceOfVarStoredIn(AllocNode obj, LocalVarNode varStored, int maxAllocLayerToTrace, SparkField storedField)

Constructors in qilin.pta.toolkits.moon.traversal with parameters of type SparkField

Modifier	Constructor	Description
	TraversalResult(int matchLayer, SparkField field)