boomerang.stats

Interface IBoomerangStats<W extends wpds.impl.Weight>

All Known Implementing Classes:

AdvancedBoomerangStats, CSVBoomerangStatsWriter, SimpleBoomerangStats

public interface IBoomerangStats<W extends wpds.impl.Weight>

Created by johannesspath on 06.12.17.

Method Summary

Modifier and Type	Method and Description
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)
void	terminated(BackwardQuery query, BackwardBoomerangResults<W> backwardBoomerangResults)
void	terminated(ForwardQuery query, ForwardBoomerangResults<W> forwardBoomerangResults)

Method Detail

registerSolver

void registerSolver(Query key,
                    AbstractBoomerangSolver<W> solver)

registerFieldWritePOI

void registerFieldWritePOI(WeightedBoomerang.FieldWritePOI key)

getCallVisitedMethods

Set<Method> getCallVisitedMethods()

getForwardReachesNodes

Collection<? extends sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> getForwardReachesNodes()

terminated

void terminated(ForwardQuery query,
                ForwardBoomerangResults<W> forwardBoomerangResults)

terminated

void terminated(BackwardQuery query,
                BackwardBoomerangResults<W> backwardBoomerangResults)