Uses of Class
boomerang.solver.ForwardBoomerangSolver
-
Packages that use ForwardBoomerangSolver Package Description boomerang boomerang.controlflowgraph boomerang.debugger boomerang.flowfunction boomerang.poi boomerang.results -
-
Uses of ForwardBoomerangSolver in boomerang
Methods in boomerang that return ForwardBoomerangSolver Modifier and Type Method Description protected ForwardBoomerangSolver<W>WeightedBoomerang. createForwardSolver(ForwardQuery sourceQuery)Methods in boomerang that return types with arguments of type ForwardBoomerangSolver Modifier and Type Method Description DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>>WeightedBoomerang. getSolvers()Methods in boomerang with parameters of type ForwardBoomerangSolver Modifier and Type Method Description protected voidWeightedBoomerang. handleMapsForward(ForwardBoomerangSolver<W> solver, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node) -
Uses of ForwardBoomerangSolver in boomerang.controlflowgraph
Constructors in boomerang.controlflowgraph with parameters of type ForwardBoomerangSolver Constructor Description ForwardSolverSuccessorListener(ControlFlowGraph.Edge curr, ForwardQuery query, Val value, Method method, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, org.slf4j.Logger LOGGER, ForwardBoomerangSolver owner) -
Uses of ForwardBoomerangSolver in boomerang.debugger
Method parameters in boomerang.debugger with type arguments of type ForwardBoomerangSolver Modifier and Type Method Description voidCallGraphDebugger. done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)voidConsoleDebugger. done(Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)voidDebugger. done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)voidIDEVizDebugger. done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph confg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> solvers) -
Uses of ForwardBoomerangSolver in boomerang.flowfunction
Methods in boomerang.flowfunction with parameters of type ForwardBoomerangSolver Modifier and Type Method Description voidDefaultForwardFlowFunction. setSolver(ForwardBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements)voidIForwardFlowFunction. setSolver(ForwardBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements) -
Uses of ForwardBoomerangSolver in boomerang.poi
Fields in boomerang.poi declared as ForwardBoomerangSolver Modifier and Type Field Description protected ForwardBoomerangSolver<W>ExecuteImportFieldStmtPOI. baseSolverprotected ForwardBoomerangSolver<W>ExecuteImportFieldStmtPOI. flowSolverConstructors in boomerang.poi with parameters of type ForwardBoomerangSolver Constructor Description CopyAccessPathChain(ForwardBoomerangSolver<W> forwardSolver, BackwardBoomerangSolver<W> backwardSolver, ControlFlowGraph.Edge fieldWriteStatement, wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> killedTransition)ExecuteImportFieldStmtPOI(ForwardBoomerangSolver<W> baseSolver, ForwardBoomerangSolver<W> flowSolver, AbstractPOI<ControlFlowGraph.Edge,Val,Field> poi) -
Uses of ForwardBoomerangSolver in boomerang.results
Fields in boomerang.results with type parameters of type ForwardBoomerangSolver Modifier and Type Field Description protected DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>>AbstractBoomerangResults. queryToSolversConstructor parameters in boomerang.results with type arguments of type ForwardBoomerangSolver Constructor Description AbstractBoomerangResults(DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> solverMap)BackwardBoomerangResults(BackwardQuery query, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, BackwardBoomerangSolver<W> backwardSolver, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch)ForwardBoomerangResults(ForwardQuery query, ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch, Set<Method> visitedMethods, boolean trackDataFlowPath, boolean pruneContradictoryDataFlowPath, boolean pruneImplictFlows)
-