public class CSVBoomerangStatsWriter<W extends Weight> extends Object implements IBoomerangStats<W>
| Constructor and Description |
|---|
CSVBoomerangStatsWriter(String outputFileName) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
addCallGeneratedState(INode<Val> s) |
protected void |
addFieldGeneratedState(INode<Node<Statement,Val>> s) |
Set<soot.SootMethod> |
getCallVisitedMethods() |
Collection<? extends Node<Statement,Val>> |
getForwardReachesNodes() |
void |
registerFieldReadPOI(WeightedBoomerang.FieldReadPOI key) |
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 Weight>public void registerFieldWritePOI(WeightedBoomerang.FieldWritePOI key)
registerFieldWritePOI in interface IBoomerangStats<W extends Weight>public void registerFieldReadPOI(WeightedBoomerang.FieldReadPOI key)
registerFieldReadPOI in interface IBoomerangStats<W extends Weight>public Set<soot.SootMethod> getCallVisitedMethods()
getCallVisitedMethods in interface IBoomerangStats<W extends Weight>public Collection<? extends Node<Statement,Val>> getForwardReachesNodes()
getForwardReachesNodes in interface IBoomerangStats<W extends Weight>public void terminated(ForwardQuery query, ForwardBoomerangResults<W> res)
terminated in interface IBoomerangStats<W extends Weight>public void terminated(BackwardQuery query, BackwardBoomerangResults<W> res)
terminated in interface IBoomerangStats<W extends Weight>Copyright © 2023. All rights reserved.