Package qilin.pta.toolkits.moon.support

Class FieldFlowRecorder

java.lang.Object

qilin.pta.toolkits.moon.support.FieldFlowRecorder

public class FieldFlowRecorder
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final com.google.common.collect.SetMultimap<SparkField,LocalVarNode>	fieldToInParams
protected final com.google.common.collect.SetMultimap<SparkField,LocalVarNode>	fieldToOutParams
protected final Set<SparkField>	hasNonThisFieldLoad
protected final com.google.common.collect.SetMultimap<AllocNode,LocalVarNode>	objToArgOfInvokeMethods
protected final ConcurrentTwoKeyMultiMap<AllocNode,SparkField,VarNode>	objToNonThisFieldLoad
protected final ConcurrentTwoKeyMultiMap<AllocNode,SparkField,VarNode>	objToNonThisFieldStore

Constructor Summary

Constructors

Constructor	Description
FieldFlowRecorder(PTA pta, FieldRecorder fieldRecorder, VFG vfgForHeap, com.google.common.collect.SetMultimap<AllocNode,SootMethod> objToInvokeMethods)

Method Summary

Modifier and Type	Method	Description
void	build(KeyTypeCollector openTypeCollector)
boolean	isConnceredField(AllocNode heap, SparkField field)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

fieldToInParams

protected final com.google.common.collect.SetMultimap<SparkField,LocalVarNode> fieldToInParams

fieldToOutParams

protected final com.google.common.collect.SetMultimap<SparkField,LocalVarNode> fieldToOutParams

objToNonThisFieldStore

protected final ConcurrentTwoKeyMultiMap<AllocNode,SparkField,VarNode> objToNonThisFieldStore

objToNonThisFieldLoad

protected final ConcurrentTwoKeyMultiMap<AllocNode,SparkField,VarNode> objToNonThisFieldLoad

hasNonThisFieldLoad

protected final Set<SparkField> hasNonThisFieldLoad

objToArgOfInvokeMethods

protected final com.google.common.collect.SetMultimap<AllocNode,LocalVarNode> objToArgOfInvokeMethods

Constructor Details

FieldFlowRecorder

public FieldFlowRecorder(PTA pta,
 FieldRecorder fieldRecorder,
 VFG vfgForHeap,
 com.google.common.collect.SetMultimap<AllocNode,SootMethod> objToInvokeMethods)

Method Details

build

public void build(KeyTypeCollector openTypeCollector)

isConnceredField

public boolean isConnceredField(AllocNode heap,
 SparkField field)