Uses of Class
boomerang.solver.AbstractBoomerangSolver
-
Packages that use AbstractBoomerangSolver Package Description boomerang boomerang.results boomerang.solver boomerang.staticfields boomerang.stats -
-
Uses of AbstractBoomerangSolver in boomerang
Methods in boomerang with parameters of type AbstractBoomerangSolver Modifier and Type Method Description voidSolverCreationListener. onCreatedSolver(Query query, AbstractBoomerangSolver<W> solver)voidWeightedBoomerang. onCreateSubSolver(Query key, AbstractBoomerangSolver<W> solver)voidWeightedBoomerang. printCallAutomatonFlow(AbstractBoomerangSolver<W> solver) -
Uses of AbstractBoomerangSolver in boomerang.results
Methods in boomerang.results with parameters of type AbstractBoomerangSolver Modifier and Type Method Description voidAbstractBoomerangResults. computeUnmatchedClosingContext(AbstractBoomerangResults.Context context, AbstractBoomerangSolver<W> forwardSolver)voidAbstractBoomerangResults. computeUnmatchedOpeningContext(AbstractBoomerangResults.Context context, AbstractBoomerangSolver<W> forwardSolver, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)Constructors in boomerang.results with parameters of type AbstractBoomerangSolver Constructor Description ExtractAllAliasListener(AbstractBoomerangSolver<W> fwSolver, Set<AccessPath> results, ControlFlowGraph.Edge stmt) -
Uses of AbstractBoomerangSolver in boomerang.solver
Subclasses of AbstractBoomerangSolver in boomerang.solver Modifier and Type Class Description classBackwardBoomerangSolver<W extends wpds.impl.Weight>classForwardBoomerangSolver<W extends wpds.impl.Weight>Constructors in boomerang.solver with parameters of type AbstractBoomerangSolver Constructor Description Strategies(BoomerangOptions opts, AbstractBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements) -
Uses of AbstractBoomerangSolver in boomerang.staticfields
Constructors in boomerang.staticfields with parameters of type AbstractBoomerangSolver Constructor Description SingletonStaticFieldStrategy(AbstractBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements) -
Uses of AbstractBoomerangSolver in boomerang.stats
Methods in boomerang.stats with parameters of type AbstractBoomerangSolver Modifier and Type Method Description voidAdvancedBoomerangStats. registerSolver(Query key, AbstractBoomerangSolver<W> solver)voidCSVBoomerangStatsWriter. registerSolver(Query key, AbstractBoomerangSolver<W> solver)voidIBoomerangStats. registerSolver(Query key, AbstractBoomerangSolver<W> solver)voidSimpleBoomerangStats. registerSolver(Query key, AbstractBoomerangSolver<W> solver)
-