Package qilin.pta.toolkits.moon.traversal

Class StoredVarTraverser

java.lang.Object

qilin.pta.toolkits.moon.traversal.StoredVarTraverser

public class StoredVarTraverser
extends Object

Constructor Summary

Constructors

Constructor	Description
StoredVarTraverser(MoonDataConstructor.MoonDataStructure moonData, int maxContextLayer)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

StoredVarTraverser

public StoredVarTraverser(MoonDataConstructor.MoonDataStructure moonData,
 int maxContextLayer)

Method Details

findSourceOfVarStoredIn

public TraversalResult findSourceOfVarStoredIn(AllocNode obj,
 LocalVarNode varStored,
 int maxAllocLayerToTrace,
 SparkField storedField)