public class CSVBoomerangStatsWriter<W extends wpds.impl.Weight> extends Object implements IBoomerangStats<W>
| Constructor and Description |
|---|
CSVBoomerangStatsWriter(String outputFileName) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
addCallGeneratedState(sync.pds.solver.nodes.INode<Val> s) |
protected void |
addFieldGeneratedState(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> s) |
Set<Method> |
getCallVisitedMethods() |
Collection<? extends sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> |
getForwardReachesNodes() |
void |
registerFieldWritePOI(WeightedBoomerang.FieldWritePOI key) |
void |
registerSolver(Query key,
AbstractBoomerangSolver<W> solver) |
static <K> Map<K,Integer> |
sortByValues(Map<K,Integer> map) |
void |
terminated(BackwardQuery query,
BackwardBoomerangResults<W> res) |
void |
terminated(ForwardQuery query,
ForwardBoomerangResults<W> res) |
String |
toString() |
public CSVBoomerangStatsWriter(String outputFileName)
public void registerSolver(Query key, AbstractBoomerangSolver<W> solver)
registerSolver in interface IBoomerangStats<W extends wpds.impl.Weight>protected void addFieldGeneratedState(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> s)
protected void addCallGeneratedState(sync.pds.solver.nodes.INode<Val> s)
public void registerFieldWritePOI(WeightedBoomerang.FieldWritePOI key)
registerFieldWritePOI in interface IBoomerangStats<W extends wpds.impl.Weight>public Set<Method> getCallVisitedMethods()
getCallVisitedMethods in interface IBoomerangStats<W extends wpds.impl.Weight>public Collection<? extends sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> getForwardReachesNodes()
getForwardReachesNodes in interface IBoomerangStats<W extends wpds.impl.Weight>public void terminated(ForwardQuery query, ForwardBoomerangResults<W> res)
terminated in interface IBoomerangStats<W extends wpds.impl.Weight>public void terminated(BackwardQuery query, BackwardBoomerangResults<W> res)
terminated in interface IBoomerangStats<W extends wpds.impl.Weight>Copyright © 2024. All rights reserved.