Package qilin.pta.toolkits.moon.traversal

Class VFGTraversal

java.lang.Object

qilin.pta.toolkits.moon.traversal.VFGTraversal

public class VFGTraversal
extends Object

Constructor Summary

Constructors

Constructor	Description
VFGTraversal(int objContextLen, MoonDataConstructor.MoonDataStructure moonData)

Method Summary

Modifier and Type	Method	Description
List<com.google.common.collect.SetMultimap<AllocNode,TraversalResult>>	traverse(com.google.common.collect.SetMultimap<AllocNode,LocalVarNode> objToBaseVar)

Methods inherited from class java.lang.Object

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

Constructor Details

VFGTraversal

public VFGTraversal(int objContextLen,
 MoonDataConstructor.MoonDataStructure moonData)

Method Details

traverse

public List<com.google.common.collect.SetMultimap<AllocNode,TraversalResult>> traverse(com.google.common.collect.SetMultimap<AllocNode,LocalVarNode> objToBaseVar)