forked from llmhyy/microbat
-
Notifications
You must be signed in to change notification settings - Fork 2
Dynamic Slicing
Yun Lin edited this page Dec 27, 2020
·
3 revisions
Relevant class:
-
microbat.model.trace.Trace.findDataDependency(TraceNode checkingNode, VarValue readVar), ormicrobat.model.trace.Trace.findProducer(VarValue varValue, TraceNode startNode): find all the trace nodes dynamic data dependent by the given trace nodecheckingNode. -
microbat.model.trace.TraceNode.getDataDominator(VarValue readVar): same as above, but for convenience.