Dynamic Slicing - llmhyy/microbat GitHub Wiki

Relevant class:

• microbat.model.trace.Trace.findDataDependency(TraceNode checkingNode, VarValue readVar), or microbat.model.trace.Trace.findProducer(VarValue varValue, TraceNode startNode): find all the trace nodes dynamic data dependent by the given trace node checkingNode.
• microbat.model.trace.TraceNode.getDataDominator(VarValue readVar): same as above, but for convenience.