A B C D E F G H I K L M N O P Q R S T U V W

A

AbstractBoomerangResults<W extends wpds.impl.Weight> - Class in boomerang.results

AbstractBoomerangResults(DefaultValueMap<ForwardQuery, ForwardBoomerangSolver<W>>) - Constructor for class boomerang.results.AbstractBoomerangResults

AbstractBoomerangResults.Context - Class in boomerang.results

AbstractBoomerangSolver<W extends wpds.impl.Weight> - Class in boomerang.solver

AbstractBoomerangSolver(ObservableICFG<Statement, Method>, ObservableControlFlowGraph, Map<Map.Entry<INode<Node<ControlFlowGraph.Edge, Val>>, Field>, INode<Node<ControlFlowGraph.Edge, Val>>>, BoomerangOptions, NestedWeightedPAutomatons<ControlFlowGraph.Edge, INode<Val>, W>, NestedWeightedPAutomatons<Field, INode<Node<ControlFlowGraph.Edge, Val>>, W>, DataFlowScope, Type) - Constructor for class boomerang.solver.AbstractBoomerangSolver

AbstractPOI<Statement,Val,Field> - Class in boomerang.poi

AbstractPOI(ControlFlowGraph.Edge, Val, Field, Val) - Constructor for class boomerang.poi.AbstractPOI

AccessPath - Class in boomerang.util

AccessPath(Val) - Constructor for class boomerang.util.AccessPath

AccessPath(Val, Field) - Constructor for class boomerang.util.AccessPath

AccessPath(Val, Collection<Field>) - Constructor for class boomerang.util.AccessPath

AccessPathParser - Class in boomerang.scene.jimple

AccessPathParser() - Constructor for class boomerang.scene.jimple.AccessPathParser

activate(INode<Node<ControlFlowGraph.Edge, Val>>) - Method in class boomerang.poi.ExecuteImportFieldStmtPOI

activateAllPois(WeightedBoomerang<W>.SolverPair, INode<Node<ControlFlowGraph.Edge, Val>>) - Method in class boomerang.WeightedBoomerang

addBaseAllocation(ForwardQuery) - Method in class boomerang.poi.PointOfIndirection

addCalleeListener(CalleeListener) - Method in class boomerang.callgraph.BackwardsObservableICFG

addCalleeListener(CalleeListener<Statement, Method>) - Method in class boomerang.callgraph.ObservableDynamicICFG

addCalleeListener(CalleeListener<N, M>) - Method in interface boomerang.callgraph.ObservableICFG

Registers a listener that will be notified whenever a callee is added

addCalleeListener(CalleeListener<Statement, Method>) - Method in class boomerang.callgraph.ObservableStaticICFG

addCallerListener(CallerListener) - Method in class boomerang.callgraph.BackwardsObservableICFG

addCallerListener(CallerListener<Statement, Method>) - Method in class boomerang.callgraph.ObservableDynamicICFG

addCallerListener(CallerListener<N, M>) - Method in interface boomerang.callgraph.ObservableICFG

Registers a listener that will be notified whenever a caller is added.

addCallerListener(CallerListener<Statement, Method>) - Method in class boomerang.callgraph.ObservableStaticICFG

addCallGeneratedState(INode<Val>) - Method in class boomerang.stats.CSVBoomerangStatsWriter

addCallIfNotInGraph(Statement, Method) - Method in class boomerang.callgraph.ObservableDynamicICFG

Returns true if the call was added to the call graph, false if it was already present and the call graph did not change

addCallRule(Rule<ControlFlowGraph.Edge, INode<Val>, W>) - Method in class boomerang.solver.AbstractBoomerangSolver

addEdge(Query, Node<ControlFlowGraph.Edge, Val>, Query) - Method in class boomerang.QueryGraph

addEdges(CallGraph.Edge) - Method in class boomerang.callgraph.BackwardsObservableICFG

addEdges(CallGraph.Edge) - Method in class boomerang.callgraph.ObservableDynamicICFG

addEdges(CallGraph.Edge) - Method in interface boomerang.callgraph.ObservableICFG

addEdges(CallGraph.Edge) - Method in class boomerang.callgraph.ObservableStaticICFG

addFieldGeneratedState(INode<Node<ControlFlowGraph.Edge, Val>>) - Method in class boomerang.stats.CSVBoomerangStatsWriter

addFieldRule(Rule<Field, INode<Node<ControlFlowGraph.Edge, Val>>, W>) - Method in class boomerang.solver.AbstractBoomerangSolver

addFlowAllocation(Query) - Method in class boomerang.poi.PointOfIndirection

addPotentialUnbalancedFlow(Method, Transition<ControlFlowGraph.Edge, INode<Val>>, W) - Method in class boomerang.solver.AbstractBoomerangSolver

addPredsOfListener(PredecessorListener) - Method in class boomerang.controlflowgraph.DynamicCFG

addPredsOfListener(PredecessorListener) - Method in interface boomerang.controlflowgraph.ObservableControlFlowGraph

addPredsOfListener(PredecessorListener) - Method in class boomerang.controlflowgraph.StaticCFG

addReachable(INode<Node<ControlFlowGraph.Edge, Val>>) - Method in class boomerang.poi.CopyAccessPathChain

addReachable(INode<Node<ControlFlowGraph.Edge, Val>>) - Method in class boomerang.poi.ExecuteImportFieldStmtPOI

addRoot(Query) - Method in class boomerang.QueryGraph

addSuccsOfListener(SuccessorListener) - Method in class boomerang.controlflowgraph.DynamicCFG

addSuccsOfListener(SuccessorListener) - Method in interface boomerang.controlflowgraph.ObservableControlFlowGraph

addSuccsOfListener(SuccessorListener) - Method in class boomerang.controlflowgraph.StaticCFG

addVisitedMethod(Method) - Method in class boomerang.WeightedBoomerang

AdvancedBoomerangStats<W extends wpds.impl.Weight> - Class in boomerang.stats

AdvancedBoomerangStats() - Constructor for class boomerang.stats.AdvancedBoomerangStats

AffectedLocation - Interface in boomerang.results

aliases(Query) - Method in class boomerang.results.BackwardBoomerangResults

aliasing() - Method in interface boomerang.BoomerangOptions

aliasing() - Method in class boomerang.DefaultBoomerangOptions

allocationSiteFound(ForwardQuery, BackwardQuery) - Method in class boomerang.results.ExtractAllocationSiteStateListener

allocationType(Type) - Method in interface boomerang.solver.AllocationTypeListener

AllocationTypeListener - Interface in boomerang.solver

allowMultipleQueries() - Method in interface boomerang.BoomerangOptions

allowMultipleQueries() - Method in class boomerang.DefaultBoomerangOptions

allowUnbalanced(Method, Statement) - Method in class boomerang.solver.AbstractBoomerangSolver

analyseClassInitializers() - Method in class boomerang.scene.AnalysisScope

AnalysisScope - Class in boomerang.scene

AnalysisScope(CallGraph) - Constructor for class boomerang.scene.AnalysisScope

analysisTimeoutMS() - Method in interface boomerang.BoomerangOptions

analysisTimeoutMS() - Method in class boomerang.DefaultBoomerangOptions

applyCallSummary(ControlFlowGraph.Edge, Val, ControlFlowGraph.Edge, ControlFlowGraph.Edge, Val) - Method in class boomerang.solver.BackwardBoomerangSolver

applyCallSummary(ControlFlowGraph.Edge, Val, ControlFlowGraph.Edge, ControlFlowGraph.Edge, Val) - Method in class boomerang.solver.ForwardBoomerangSolver

ArrayHandlingStrategy<W extends wpds.impl.Weight> - Interface in boomerang.arrays

ArrayIndexInsensitiveStrategy<W extends wpds.impl.Weight> - Class in boomerang.arrays

ArrayIndexInsensitiveStrategy() - Constructor for class boomerang.arrays.ArrayIndexInsensitiveStrategy

ArrayIndexSensitiveStrategy<W extends wpds.impl.Weight> - Class in boomerang.arrays

ArrayIndexSensitiveStrategy() - Constructor for class boomerang.arrays.ArrayIndexSensitiveStrategy

asNode() - Method in class boomerang.Query

asStatementValWeightTable(ForwardQuery) - Method in class boomerang.results.AbstractBoomerangResults

asStatementValWeightTable() - Method in class boomerang.results.ForwardBoomerangResults

asStatementValWeightTable() - Method in class boomerang.solver.AbstractBoomerangSolver

B

BackwardBoomerangResults<W extends wpds.impl.Weight> - Class in boomerang.results

BackwardBoomerangResults(BackwardQuery, boolean, DefaultValueMap<ForwardQuery, ForwardBoomerangSolver<W>>, BackwardBoomerangSolver<W>, IBoomerangStats<W>, Stopwatch) - Constructor for class boomerang.results.BackwardBoomerangResults

BackwardBoomerangSolver<W extends wpds.impl.Weight> - Class in boomerang.solver

BackwardBoomerangSolver(ObservableICFG<Statement, Method>, ObservableControlFlowGraph, Map<Map.Entry<INode<Node<ControlFlowGraph.Edge, Val>>, Field>, INode<Node<ControlFlowGraph.Edge, Val>>>, BackwardQuery, BoomerangOptions, NestedWeightedPAutomatons<ControlFlowGraph.Edge, INode<Val>, W>, NestedWeightedPAutomatons<Field, INode<Node<ControlFlowGraph.Edge, Val>>, W>, DataFlowScope, IBackwardFlowFunction, Multimap<Field, Statement>, Multimap<Field, Statement>, Type) - Constructor for class boomerang.solver.BackwardBoomerangSolver

BackwardQuery - Class in boomerang

BackwardQuery(ControlFlowGraph.Edge, Val) - Constructor for class boomerang.BackwardQuery

BackwardsObservableICFG - Class in boomerang.callgraph

BackwardsObservableICFG(ObservableICFG<Statement, Method>) - Constructor for class boomerang.callgraph.BackwardsObservableICFG

backwardSolve(BackwardQuery) - Method in class boomerang.WeightedBoomerang

backwardSolve(BackwardQuery) - Method in class boomerang.WholeProgramBoomerang

base() - Static method in class boomerang.guided.Specification.Parameter

baseAutomaton - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

baseSolver - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

boomerang - package boomerang

Boomerang - Class in boomerang

Boomerang(CallGraph, DataFlowScope) - Constructor for class boomerang.Boomerang

Boomerang(CallGraph, DataFlowScope, BoomerangOptions) - Constructor for class boomerang.Boomerang

boomerang.arrays - package boomerang.arrays

boomerang.callgraph - package boomerang.callgraph

boomerang.controlflowgraph - package boomerang.controlflowgraph

boomerang.debugger - package boomerang.debugger

boomerang.example - package boomerang.example

boomerang.flowfunction - package boomerang.flowfunction

boomerang.guided - package boomerang.guided

boomerang.poi - package boomerang.poi

boomerang.results - package boomerang.results

boomerang.scene - package boomerang.scene

boomerang.scene.jimple - package boomerang.scene.jimple

boomerang.solver - package boomerang.solver

boomerang.staticfields - package boomerang.staticfields

boomerang.stats - package boomerang.stats

boomerang.util - package boomerang.util

boomerang.weights - package boomerang.weights

BoomerangExampleTarget1 - Class in boomerang.example

BoomerangExampleTarget1() - Constructor for class boomerang.example.BoomerangExampleTarget1

BoomerangExampleTarget1.ClassWithField - Class in boomerang.example

BoomerangExampleTarget1.NestedClassWithField - Class in boomerang.example

BoomerangExampleTarget1.ObjectOfInterest - Class in boomerang.example

BoomerangExampleTarget2 - Class in boomerang.example

BoomerangExampleTarget2() - Constructor for class boomerang.example.BoomerangExampleTarget2

BoomerangExampleTarget2.ClassWithField - Class in boomerang.example

BoomerangExampleTarget2.NestedClassWithField - Class in boomerang.example

BoomerangExampleTarget2.ObjectOfInterest - Class in boomerang.example

BoomerangOptions - Interface in boomerang

BoomerangOptions.ArrayStrategy - Enum in boomerang

BoomerangOptions.StaticFieldStrategy - Enum in boomerang

BoomerangResolver - Class in boomerang.callgraph

BoomerangResolver(CallGraph, DataFlowScope) - Constructor for class boomerang.callgraph.BoomerangResolver

BoomerangResolver(WeightedBoomerang<? extends Weight>, CallGraph) - Constructor for class boomerang.callgraph.BoomerangResolver

BoomerangResolver(WeightedBoomerang<? extends Weight>, boolean, CallGraph) - Constructor for class boomerang.callgraph.BoomerangResolver

BoomerangResolver.NoCalleeFoundFallbackOptions - Enum in boomerang.callgraph

BoomerangTimeoutException - Exception in boomerang

C

CalleeListener<N,M> - Interface in boomerang.callgraph

CallerListener<N,M> - Interface in boomerang.callgraph

callFlow(Statement, Val, Method, Statement) - Method in class boomerang.flowfunction.DefaultBackwardFlowFunction

callFlow(Statement, Val, Method) - Method in class boomerang.flowfunction.DefaultForwardFlowFunction

callFlow(Statement, Val, Method, Statement) - Method in interface boomerang.flowfunction.IBackwardFlowFunction

Called by the backward analysis, when the backward solver reaches the callSite.

callFlow(Statement, Val, Method) - Method in interface boomerang.flowfunction.IForwardFlowFunction

Called by the forward analysis, when the forward solver reaches the callSite.

callFlow(Method, Node<ControlFlowGraph.Edge, Val>, Statement) - Method in class boomerang.solver.BackwardBoomerangSolver

callFlow(Method, Node<ControlFlowGraph.Edge, Val>, ControlFlowGraph.Edge, InvokeExpr) - Method in class boomerang.solver.ForwardBoomerangSolver

CallGraphDebugger<W extends wpds.impl.Weight> - Class in boomerang.debugger

Can be used to obtain a dot file which can be plotted into a graphical representation of the call graph.

CallGraphDebugger(File, ObservableICFG<Statement, Method>) - Constructor for class boomerang.debugger.CallGraphDebugger

CallGraphOptions - Class in boomerang.callgraph

CallGraphOptions() - Constructor for class boomerang.callgraph.CallGraphOptions

callSummaries() - Method in interface boomerang.BoomerangOptions

callSummaries() - Method in class boomerang.DefaultBoomerangOptions

callToReturnFlow(ControlFlowGraph.Edge, Val) - Method in class boomerang.flowfunction.DefaultBackwardFlowFunction

callToReturnFlow(ForwardQuery, ControlFlowGraph.Edge, Val) - Method in class boomerang.flowfunction.DefaultForwardFlowFunction

callToReturnFlow(ControlFlowGraph.Edge, Val) - Method in interface boomerang.flowfunction.IBackwardFlowFunction

Called by the backward analysis, when data-flow by-passes a call site with data-flow fact.

callToReturnFlow(ForwardQuery, ControlFlowGraph.Edge, Val) - Method in interface boomerang.flowfunction.IForwardFlowFunction

Called by the forward analysis, when data-flow by-passes a call site with data-flow fact.

cfg - Variable in class boomerang.solver.AbstractBoomerangSolver

cfg - Variable in class boomerang.WeightedBoomerang

cfg() - Method in class boomerang.WeightedBoomerang

cfgEdge() - Method in class boomerang.Query

checkTimeout() - Method in class boomerang.WeightedBoomerang

checkValid() - Method in interface boomerang.BoomerangOptions

checkValid() - Method in class boomerang.DefaultBoomerangOptions

ClassWithField() - Constructor for class boomerang.example.BoomerangExampleTarget1.ClassWithField

ClassWithField() - Constructor for class boomerang.example.BoomerangExampleTarget2.ClassWithField

cleanUp() - Method in class boomerang.guided.DemandDrivenGuidedAnalysis

Ensure to call cleanup to detach all listeners from the solver, otherwise the analysis may run into a Memory issues.

clear() - Method in class boomerang.util.DefaultValueMap

combineWith(Weight) - Method in class boomerang.weights.DataFlowPathWeight

combineWith(Weight) - Method in class boomerang.weights.MinDistanceWeight

combineWith(Weight) - Method in class boomerang.weights.PathConditionWeight

combineWith(Weight) - Method in class boomerang.weights.PathTrackingWeight

computeCallFlow(ControlFlowGraph.Edge, Val, Method, ControlFlowGraph.Edge) - Method in class boomerang.solver.BackwardBoomerangSolver

computeCallFlow(Method, Statement, ControlFlowGraph.Edge, Node<ControlFlowGraph.Edge, Val>, Method, ControlFlowGraph.Edge) - Method in class boomerang.solver.ForwardBoomerangSolver

computeFallback() - Method in class boomerang.callgraph.BackwardsObservableICFG

computeFallback(ObservableDynamicICFG) - Method in class boomerang.callgraph.BoomerangResolver

computeFallback(ObservableDynamicICFG) - Method in interface boomerang.callgraph.ICallerCalleeResolutionStrategy

computeFallback() - Method in class boomerang.callgraph.ObservableDynamicICFG

computeFallback() - Method in interface boomerang.callgraph.ObservableICFG

computeFallback() - Method in class boomerang.callgraph.ObservableStaticICFG

computeNormalFlow(Method, ControlFlowGraph.Edge, Val) - Method in class boomerang.solver.AbstractBoomerangSolver

computeNormalFlow(Method, ControlFlowGraph.Edge, Val) - Method in class boomerang.solver.BackwardBoomerangSolver

computeNormalFlow(Method, ControlFlowGraph.Edge, Val) - Method in class boomerang.solver.ForwardBoomerangSolver

computeReturnFlow(Method, Statement, Val) - Method in class boomerang.solver.AbstractBoomerangSolver

computeReturnFlow(Method, Statement, Val) - Method in class boomerang.solver.BackwardBoomerangSolver

computeReturnFlow(Method, Statement, Val) - Method in class boomerang.solver.ForwardBoomerangSolver

computeSeeds() - Method in class boomerang.scene.AnalysisScope

computeSuccessor(Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.solver.BackwardBoomerangSolver

computeSuccessor(Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.solver.ForwardBoomerangSolver

computeUnmatchedClosingContext(AbstractBoomerangResults.Context, AbstractBoomerangSolver<W>) - Method in class boomerang.results.AbstractBoomerangResults

computeUnmatchedOpeningContext(AbstractBoomerangResults.Context, AbstractBoomerangSolver<W>, Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.results.AbstractBoomerangResults

ConsoleDebugger<W extends wpds.impl.Weight> - Class in boomerang.debugger

ConsoleDebugger() - Constructor for class boomerang.debugger.ConsoleDebugger

constructContextGraph(ForwardQuery, Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.results.AbstractBoomerangResults

containsCallRecursion() - Method in class boomerang.results.ForwardBoomerangResults

containsFieldLoop() - Method in class boomerang.results.ForwardBoomerangResults

containsKey(Object) - Method in class boomerang.util.DefaultValueMap

containsValue(Object) - Method in class boomerang.util.DefaultValueMap

Context - Interface in boomerang

A context is stored within the context graph.

Context(Node<ControlFlowGraph.Edge, Val>, ForwardQuery) - Constructor for class boomerang.results.AbstractBoomerangResults.Context

ControlFlowEdgeBasedCallTransitionListener<W extends wpds.impl.Weight> - Class in boomerang.solver

ControlFlowEdgeBasedCallTransitionListener(ControlFlowGraph.Edge) - Constructor for class boomerang.solver.ControlFlowEdgeBasedCallTransitionListener

ControlFlowEdgeBasedFieldTransitionListener<W extends wpds.impl.Weight> - Class in boomerang.solver

ControlFlowEdgeBasedFieldTransitionListener(ControlFlowGraph.Edge) - Constructor for class boomerang.solver.ControlFlowEdgeBasedFieldTransitionListener

CopyAccessPathChain<W extends wpds.impl.Weight> - Class in boomerang.poi

CopyAccessPathChain(ForwardBoomerangSolver<W>, BackwardBoomerangSolver<W>, ControlFlowGraph.Edge, Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>) - Constructor for class boomerang.poi.CopyAccessPathChain

create(String...) - Static method in class boomerang.guided.Specification

createArrayFieldStore(ControlFlowGraph.Edge) - Method in class boomerang.WeightedBoomerang

createFieldStore(ControlFlowGraph.Edge) - Method in class boomerang.WeightedBoomerang

createForwardSolver(ForwardQuery) - Method in class boomerang.WeightedBoomerang

createItem(K) - Method in class boomerang.util.DefaultValueMap

createQueryNodeField(Query) - Method in class boomerang.solver.AbstractBoomerangSolver

CSVBoomerangStatsWriter<W extends wpds.impl.Weight> - Class in boomerang.stats

CSVBoomerangStatsWriter(String) - Constructor for class boomerang.stats.CSVBoomerangStatsWriter

curr - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

D

DataFlowPathWeight - Class in boomerang.weights

DataFlowPathWeight(Node<ControlFlowGraph.Edge, Val>) - Constructor for class boomerang.weights.DataFlowPathWeight

DataFlowPathWeight(Node<ControlFlowGraph.Edge, Val>, Statement, Method) - Constructor for class boomerang.weights.DataFlowPathWeight

DataFlowPathWeight(Statement, Method) - Constructor for class boomerang.weights.DataFlowPathWeight

DataFlowPathWeight(Statement, Boolean) - Constructor for class boomerang.weights.DataFlowPathWeight

DataFlowPathWeight(Val, PathConditionWeight.ConditionDomain) - Constructor for class boomerang.weights.DataFlowPathWeight

DataFlowPathWeight(Val) - Constructor for class boomerang.weights.DataFlowPathWeight

dataFlowScope - Variable in class boomerang.solver.AbstractBoomerangSolver

debugFieldAutomaton(Statement) - Method in class boomerang.solver.AbstractBoomerangSolver

Debugger<W extends wpds.impl.Weight> - Class in boomerang.debugger

Debugger() - Constructor for class boomerang.debugger.Debugger

debugOutput() - Method in class boomerang.WeightedBoomerang

debugOutput(Debugger<W>) - Method in class boomerang.WeightedBoomerang

DefaultBackwardFlowFunction - Class in boomerang.flowfunction

DefaultBackwardFlowFunction(BoomerangOptions) - Constructor for class boomerang.flowfunction.DefaultBackwardFlowFunction

DefaultBoomerangOptions - Class in boomerang

DefaultBoomerangOptions() - Constructor for class boomerang.DefaultBoomerangOptions

DefaultForwardFlowFunction - Class in boomerang.flowfunction

DefaultForwardFlowFunction(BoomerangOptions) - Constructor for class boomerang.flowfunction.DefaultForwardFlowFunction

DefaultValueMap<K,V> - Class in boomerang.util

DefaultValueMap() - Constructor for class boomerang.util.DefaultValueMap

delegate - Variable in class boomerang.callgraph.BackwardsObservableICFG

DemandDrivenGuidedAnalysis - Class in boomerang.guided

DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager, BoomerangOptions, DataFlowScope) - Constructor for class boomerang.guided.DemandDrivenGuidedAnalysis

DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager, BoomerangOptions) - Constructor for class boomerang.guided.DemandDrivenGuidedAnalysis

done(ObservableICFG<Statement, Method>, ObservableControlFlowGraph, Set<Method>, Map<ForwardQuery, ForwardBoomerangSolver<W>>) - Method in class boomerang.debugger.CallGraphDebugger

done(Map<ForwardQuery, ForwardBoomerangSolver<W>>) - Method in class boomerang.debugger.ConsoleDebugger

done(ObservableICFG<Statement, Method>, ObservableControlFlowGraph, Set<Method>, Map<ForwardQuery, ForwardBoomerangSolver<W>>) - Method in class boomerang.debugger.Debugger

done(ObservableICFG<Statement, Method>, ObservableControlFlowGraph, Set<Method>, Map<ForwardQuery, ForwardBoomerangSolver<W>>) - Method in class boomerang.debugger.IDEVizDebugger

DynamicCFG - Class in boomerang.controlflowgraph

DynamicCFG() - Constructor for class boomerang.controlflowgraph.DynamicCFG

E

emptyField() - Method in class boomerang.solver.AbstractBoomerangSolver

entrySet() - Method in class boomerang.util.DefaultValueMap

epsilonField() - Method in class boomerang.solver.AbstractBoomerangSolver

epsilonStmt() - Method in class boomerang.solver.AbstractBoomerangSolver

equals(Object) - Method in interface boomerang.Context

equals(Object) - Method in class boomerang.ForwardQueryArray

equals(Object) - Method in class boomerang.ForwardQueryMultiDimensionalArray

equals(Object) - Method in class boomerang.guided.Specification.Parameter

equals(Object) - Method in class boomerang.poi.AbstractPOI

equals(Object) - Method in class boomerang.poi.CopyAccessPathChain

equals(Object) - Method in class boomerang.poi.ExecuteImportFieldStmtPOI

equals(Object) - Method in class boomerang.Query

equals(Object) - Method in class boomerang.results.AbstractBoomerangResults.Context

equals(Object) - Method in class boomerang.results.ExtractAllAliasListener

equals(Object) - Method in class boomerang.results.ExtractAllocationSiteStateListener

equals(Object) - Method in class boomerang.results.PathElement

equals(Object) - Method in class boomerang.solver.ControlFlowEdgeBasedCallTransitionListener

equals(Object) - Method in class boomerang.solver.ControlFlowEdgeBasedFieldTransitionListener

equals(Object) - Method in class boomerang.util.AccessPath

equals(Object) - Method in class boomerang.util.RegExAccessPath

equals(Object) - Method in class boomerang.weights.DataFlowPathWeight

equals(Object) - Method in class boomerang.weights.MinDistanceWeight

equals(Object) - Method in class boomerang.weights.PathConditionWeight

equals(Object) - Method in class boomerang.weights.PathTrackingWeight

ExampleMain1 - Class in boomerang.example

ExampleMain1() - Constructor for class boomerang.example.ExampleMain1

ExampleMain2 - Class in boomerang.example

ExampleMain2() - Constructor for class boomerang.example.ExampleMain2

exclusionFieldWildCard(Field) - Method in class boomerang.solver.AbstractBoomerangSolver

exec() - Method in class boomerang.poi.CopyAccessPathChain

execute(ForwardQuery, Query) - Method in class boomerang.poi.PointOfIndirection

execute(ForwardQuery, Query) - Method in class boomerang.WeightedBoomerang.FieldWritePOI

ExecuteImportFieldStmtPOI<W extends wpds.impl.Weight> - Class in boomerang.poi

ExecuteImportFieldStmtPOI(ForwardBoomerangSolver<W>, ForwardBoomerangSolver<W>, AbstractPOI<ControlFlowGraph.Edge, Val, Field>) - Constructor for class boomerang.poi.ExecuteImportFieldStmtPOI

extendWith(Weight) - Method in class boomerang.weights.DataFlowPathWeight

extendWith(Weight) - Method in class boomerang.weights.MinDistanceWeight

extendWith(Weight) - Method in class boomerang.weights.PathConditionWeight

extendWith(Weight) - Method in class boomerang.weights.PathTrackingWeight

ExtractAllAliasListener<W extends wpds.impl.Weight> - Class in boomerang.results

ExtractAllAliasListener(AbstractBoomerangSolver<W>, Set<AccessPath>, ControlFlowGraph.Edge) - Constructor for class boomerang.results.ExtractAllAliasListener

ExtractAllocationSiteStateListener<W extends wpds.impl.Weight> - Class in boomerang.results

ExtractAllocationSiteStateListener(INode<Node<ControlFlowGraph.Edge, Val>>, BackwardQuery, ForwardQuery) - Constructor for class boomerang.results.ExtractAllocationSiteStateListener

F

FACTORY - Static variable in class boomerang.callgraph.BoomerangResolver

field - Variable in class boomerang.example.BoomerangExampleTarget1.ClassWithField

field - Variable in class boomerang.example.BoomerangExampleTarget2.ClassWithField

fieldSummaries() - Method in interface boomerang.BoomerangOptions

fieldSummaries() - Method in class boomerang.DefaultBoomerangOptions

fieldWildCard() - Method in class boomerang.solver.AbstractBoomerangSolver

FieldWritePOI(ControlFlowGraph.Edge, Val, Field, Val) - Constructor for class boomerang.WeightedBoomerang.FieldWritePOI

flowAutomaton - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

FlowFunctionUtils - Class in boomerang.flowfunction

FlowFunctionUtils() - Constructor for class boomerang.flowfunction.FlowFunctionUtils

FlowSensitiveStaticFieldStrategy<W extends wpds.impl.Weight> - Class in boomerang.staticfields

FlowSensitiveStaticFieldStrategy() - Constructor for class boomerang.staticfields.FlowSensitiveStaticFieldStrategy

flowSolver - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

flowsTo() - Method in class boomerang.poi.ExecuteImportFieldStmtPOI

forceUnbalanced(INode<Val>, Collection<INode<Val>>) - Method in class boomerang.solver.AbstractBoomerangSolver

ForwardBoomerangResults<W extends wpds.impl.Weight> - Class in boomerang.results

ForwardBoomerangResults(ForwardQuery, ObservableICFG<Statement, Method>, ObservableControlFlowGraph, boolean, DefaultValueMap<ForwardQuery, ForwardBoomerangSolver<W>>, IBoomerangStats<W>, Stopwatch, Set<Method>, boolean, boolean, boolean) - Constructor for class boomerang.results.ForwardBoomerangResults

ForwardBoomerangSolver<W extends wpds.impl.Weight> - Class in boomerang.solver

ForwardBoomerangSolver(ObservableICFG<Statement, Method>, ObservableControlFlowGraph, ForwardQuery, Map<Map.Entry<INode<Node<ControlFlowGraph.Edge, Val>>, Field>, INode<Node<ControlFlowGraph.Edge, Val>>>, BoomerangOptions, NestedWeightedPAutomatons<ControlFlowGraph.Edge, INode<Val>, W>, NestedWeightedPAutomatons<Field, INode<Node<ControlFlowGraph.Edge, Val>>, W>, DataFlowScope, IForwardFlowFunction, Multimap<Field, Statement>, Multimap<Field, Statement>, Type) - Constructor for class boomerang.solver.ForwardBoomerangSolver

forwardHandleFieldWrite(Node<ControlFlowGraph.Edge, Val>, WeightedBoomerang<W>.FieldWritePOI, ForwardQuery) - Method in class boomerang.WeightedBoomerang

ForwardQuery - Class in boomerang

ForwardQuery(ControlFlowGraph.Edge, Val) - Constructor for class boomerang.ForwardQuery

ForwardQueryArray - Class in boomerang

ForwardQueryArray(ControlFlowGraph.Edge, Val, Integer) - Constructor for class boomerang.ForwardQueryArray

ForwardQueryMultiDimensionalArray - Class in boomerang

ForwardQueryMultiDimensionalArray(ControlFlowGraph.Edge, Val, Integer, Integer) - Constructor for class boomerang.ForwardQueryMultiDimensionalArray

G

generate(ControlFlowGraph.Edge) - Method in class boomerang.scene.AnalysisScope

generatedFieldState - Variable in class boomerang.solver.AbstractBoomerangSolver

generateFieldState(INode<Node<ControlFlowGraph.Edge, Val>>, Field) - Method in class boomerang.solver.AbstractBoomerangSolver

generateFieldState(INode<Node<ControlFlowGraph.Edge, Val>>, Field) - Method in class boomerang.solver.BackwardBoomerangSolver

get(Object) - Method in class boomerang.util.DefaultValueMap

getAffectedLocations() - Method in class boomerang.results.QueryResults

getAllAliases(ControlFlowGraph.Edge) - Method in class boomerang.results.BackwardBoomerangResults

Deprecated.

getAllAliases() - Method in class boomerang.results.BackwardBoomerangResults

Deprecated.

getAllocationSites() - Method in class boomerang.results.BackwardBoomerangResults

getAllocationVal(Method, Statement, Val) - Method in interface boomerang.BoomerangOptions

getAllocationVal(Method, Statement, Val) - Method in class boomerang.DefaultBoomerangOptions

getAllocationVal(Method, Statement, Val) - Method in class boomerang.scene.jimple.IntAndStringBoomerangOptions

getAllPathWitness() - Method in class boomerang.weights.PathTrackingWeight

getAllStatements() - Method in class boomerang.weights.DataFlowPathWeight

getAnalysisWatch() - Method in class boomerang.results.BackwardBoomerangResults

getAnalysisWatch() - Method in class boomerang.results.ForwardBoomerangResults

getArrayHandlingStrategy() - Method in class boomerang.solver.Strategies

getArrayStrategy() - Method in interface boomerang.BoomerangOptions

getArrayStrategy() - Method in class boomerang.DefaultBoomerangOptions

getBackwardCallWeights() - Method in class boomerang.Boomerang

getBackwardCallWeights() - Method in class boomerang.WeightedBoomerang

getBackwardCallWeights() - Method in class boomerang.weights.PathTrackingBoomerang

getBackwardFieldWeights() - Method in class boomerang.Boomerang

getBackwardFieldWeights() - Method in class boomerang.WeightedBoomerang

getBackwardFieldWeights() - Method in class boomerang.weights.PathTrackingBoomerang

getBackwardFlowFunction() - Method in interface boomerang.BoomerangOptions

getBackwardFlowFunction() - Method in class boomerang.DefaultBoomerangOptions

getBackwardSolvers() - Method in class boomerang.WeightedBoomerang

getBase() - Method in class boomerang.util.AccessPath

getBaseVar() - Method in class boomerang.poi.AbstractPOI

getCallAutomaton() - Method in class boomerang.solver.AbstractBoomerangSolver

getCallGraph() - Method in class boomerang.WeightedBoomerang

getCallGraphStatisticsAsCsv() - Method in class boomerang.debugger.CallGraphDebugger

getCallPDS() - Method in class boomerang.solver.AbstractBoomerangSolver

getCallSiteOf(Context) - Method in interface boomerang.IContextRequester

getCallVisitedMethods() - Method in class boomerang.stats.AdvancedBoomerangStats

getCallVisitedMethods() - Method in class boomerang.stats.CSVBoomerangStatsWriter

getCallVisitedMethods() - Method in interface boomerang.stats.IBoomerangStats

getCallVisitedMethods() - Method in class boomerang.stats.SimpleBoomerangStats

getCfgEdge() - Method in class boomerang.poi.AbstractPOI

getCfgEdge() - Method in class boomerang.poi.PointOfIndirection

getCfgEdge() - Method in class boomerang.solver.ControlFlowEdgeBasedFieldTransitionListener

getClosingContext() - Method in class boomerang.results.AbstractBoomerangResults.Context

getClosingContext() - Method in class boomerang.results.NullPointerDereference

The closing context of a NullPointer provides the call stack via which a variable containing null returns to a caller.

getConditions() - Method in class boomerang.weights.DataFlowPathWeight

getConditions() - Method in class boomerang.weights.PathConditionWeight

getContext(Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.results.ForwardBoomerangResults

getControlFlowEdge() - Method in class boomerang.solver.ControlFlowEdgeBasedCallTransitionListener

getCsvHeader() - Method in class boomerang.debugger.CallGraphDebugger

getCurr() - Method in class boomerang.controlflowgraph.PredecessorListener

getCurr() - Method in class boomerang.controlflowgraph.SuccessorListener

getDataFlowPath() - Method in interface boomerang.results.AffectedLocation

getDataFlowPath(ForwardQuery) - Method in class boomerang.results.BackwardBoomerangResults

Deprecated.

getDataFlowPath() - Method in class boomerang.results.NullPointerDereference

getEdge() - Method in class boomerang.results.PathElement

getEndPointsOf(Method) - Method in class boomerang.callgraph.BackwardsObservableICFG

getEndPointsOf(Method) - Method in class boomerang.callgraph.ObservableDynamicICFG

getEndPointsOf(M) - Method in interface boomerang.callgraph.ObservableICFG

getEndPointsOf(Method) - Method in class boomerang.callgraph.ObservableStaticICFG

getEvaluationMap() - Method in class boomerang.weights.DataFlowPathWeight

getEvaluationMap() - Method in class boomerang.weights.PathConditionWeight

getField() - Method in class boomerang.poi.AbstractPOI

getFieldAutomaton() - Method in class boomerang.solver.AbstractBoomerangSolver

getFieldPDS() - Method in class boomerang.solver.AbstractBoomerangSolver

getFields() - Method in class boomerang.util.AccessPath

getFields() - Method in class boomerang.util.RegExAccessPath

getForwardCallWeights(ForwardQuery) - Method in class boomerang.Boomerang

getForwardCallWeights(ForwardQuery) - Method in class boomerang.WeightedBoomerang

getForwardCallWeights(ForwardQuery) - Method in class boomerang.weights.PathTrackingBoomerang

getForwardFieldWeights() - Method in class boomerang.Boomerang

getForwardFieldWeights() - Method in class boomerang.WeightedBoomerang

getForwardFieldWeights() - Method in class boomerang.weights.PathTrackingBoomerang

getForwardFlowFunctions() - Method in interface boomerang.BoomerangOptions

getForwardFlowFunctions() - Method in class boomerang.DefaultBoomerangOptions

getForwardReachesNodes() - Method in class boomerang.stats.AdvancedBoomerangStats

getForwardReachesNodes() - Method in class boomerang.stats.CSVBoomerangStatsWriter

getForwardReachesNodes() - Method in interface boomerang.stats.IBoomerangStats

getForwardReachesNodes() - Method in class boomerang.stats.SimpleBoomerangStats

getGo() - Method in class boomerang.guided.Specification.SootMethodWithSelector

getIndex() - Method in class boomerang.ForwardQueryArray

getIndex1() - Method in class boomerang.ForwardQueryMultiDimensionalArray

getIndex2() - Method in class boomerang.ForwardQueryMultiDimensionalArray

getInvokedMethodOnInstance() - Method in class boomerang.results.ForwardBoomerangResults

getMaxMemory() - Method in class boomerang.results.BackwardBoomerangResults

getMaxMemory() - Method in class boomerang.results.ForwardBoomerangResults

getMessage() - Method in interface boomerang.results.AffectedLocation

getMessage() - Method in class boomerang.results.NullPointerDereference

getMethod() - Method in class boomerang.results.NullPointerDereference

Returns the method of the statement at which the null pointer occurs.

getMethod() - Method in class boomerang.solver.MethodBasedFieldTransitionListener

getMethodAndQueries() - Method in class boomerang.guided.Specification

getMinDistance() - Method in class boomerang.weights.MinDistanceWeight

getNodes() - Method in class boomerang.QueryGraph

getNumberOfEdgesTakenFromPrecomputedGraph() - Method in class boomerang.callgraph.BackwardsObservableICFG

getNumberOfEdgesTakenFromPrecomputedGraph() - Method in class boomerang.callgraph.ObservableDynamicICFG

getNumberOfEdgesTakenFromPrecomputedGraph() - Method in interface boomerang.callgraph.ObservableICFG

getNumberOfEdgesTakenFromPrecomputedGraph() - Method in class boomerang.callgraph.ObservableStaticICFG

Returns negative number to signify all edges are precomputed.

getNumberOfRules() - Method in class boomerang.solver.AbstractBoomerangSolver

getObjectDestructingStatements() - Method in class boomerang.results.ForwardBoomerangResults

getObservedCallee() - Method in interface boomerang.callgraph.CallerListener

getObservedCaller() - Method in interface boomerang.callgraph.CalleeListener

getOn() - Method in class boomerang.guided.Specification.SootMethodWithSelector

getOne() - Method in class boomerang.weights.MinDistanceWeightFunctions

getOne() - Method in class boomerang.weights.PathTrackingWeightFunctions

getOpeningContext() - Method in class boomerang.results.AbstractBoomerangResults.Context

getOpeningContext() - Method in class boomerang.results.NullPointerDereference

The opening context of a NullPointer provides the call stack under which the null pointer occurs.

getOptions() - Method in class boomerang.WeightedBoomerang

getOrCreate(K) - Method in class boomerang.util.DefaultValueMap

getPotentialNullPointerDereferences() - Method in class boomerang.results.ForwardBoomerangResults

getPredecessor(Statement) - Method in class boomerang.controlflowgraph.PredecessorListener

getPropagationType() - Method in class boomerang.results.BackwardBoomerangResults

Returns the set of types the backward analysis for the triggered query ever propagates.

getQuery() - Method in class boomerang.results.NullPointerDereference

getQuery() - Method in class boomerang.results.QueryResults

getQuery() - Method in class boomerang.solver.ForwardBoomerangSolver

getQueryGraph() - Method in class boomerang.WeightedBoomerang

getReallyUsedMemory() - Static method in class boomerang.Util

getResolutionStrategy() - Method in interface boomerang.BoomerangOptions

getResults(Method) - Method in class boomerang.solver.AbstractBoomerangSolver

getResults(ForwardQuery) - Method in class boomerang.WeightedBoomerang

getResultsAt(Statement) - Method in class boomerang.solver.AbstractBoomerangSolver

getRuleIndex() - Method in interface boomerang.results.AffectedLocation

getRuleIndex() - Method in class boomerang.results.NullPointerDereference

getShortestPathWitness() - Method in class boomerang.weights.PathTrackingWeight

getSolver() - Method in class boomerang.guided.DemandDrivenGuidedAnalysis

getSolvers() - Method in class boomerang.WeightedBoomerang

getSootMethod() - Method in class boomerang.guided.Specification.SootMethodWithSelector

getSourceStatement() - Method in class boomerang.results.NullPointerDereference

The source statement of the data-flow, i.e., the statement that assigns null to a variable.

getSourceVariable() - Method in class boomerang.results.NullPointerDereference

The source variable at the source statement.

getStartPointsOf(Method) - Method in class boomerang.callgraph.BackwardsObservableICFG

getStartPointsOf(Method) - Method in class boomerang.callgraph.ObservableDynamicICFG

getStartPointsOf(M) - Method in interface boomerang.callgraph.ObservableICFG

getStartPointsOf(Method) - Method in class boomerang.callgraph.ObservableStaticICFG

getStatement() - Method in interface boomerang.results.AffectedLocation

getStatement() - Method in class boomerang.results.NullPointerDereference

The statement at which a null pointer occurred.

getStaticFieldStrategy() - Method in interface boomerang.BoomerangOptions

getStaticFieldStrategy() - Method in class boomerang.DefaultBoomerangOptions

getStaticFieldStrategy() - Method in class boomerang.solver.Strategies

getStats() - Method in class boomerang.results.BackwardBoomerangResults

getStats() - Method in class boomerang.results.ForwardBoomerangResults

getStats() - Method in class boomerang.WeightedBoomerang

getStmt() - Method in interface boomerang.Context

getStoredVar() - Method in class boomerang.poi.AbstractPOI

getSuccessor(Statement) - Method in class boomerang.controlflowgraph.SuccessorListener

getType() - Method in class boomerang.Query

getVal() - Method in class boomerang.util.RegExAccessPath

getValue() - Method in class boomerang.guided.Specification.Parameter

getVariable() - Method in interface boomerang.results.AffectedLocation

getVariable() - Method in class boomerang.results.NullPointerDereference

The variable that contains "null" and which provokes at the statement a NullPointerException.

getVariable() - Method in class boomerang.results.PathElement

getVisitedMethods() - Method in class boomerang.results.ForwardBoomerangResults

getVisitedMethods() - Method in class boomerang.results.QueryResults

getVisitedMethods() - Method in class boomerang.WeightedBoomerang

H

handleBackward(ControlFlowGraph.Edge, Pair<Val, Integer>, Set<State>) - Method in interface boomerang.arrays.ArrayHandlingStrategy

handleBackward(ControlFlowGraph.Edge, Pair<Val, Integer>, Set<State>) - Method in class boomerang.arrays.ArrayIndexInsensitiveStrategy

handleBackward(ControlFlowGraph.Edge, Pair<Val, Integer>, Set<State>) - Method in class boomerang.arrays.ArrayIndexSensitiveStrategy

handleBackward(ControlFlowGraph.Edge, Pair<Val, Integer>, Set<State>) - Method in class boomerang.arrays.IgnoreArrayStrategy

handleBackward(ControlFlowGraph.Edge, Val, StaticFieldVal, Set<State>) - Method in class boomerang.staticfields.FlowSensitiveStaticFieldStrategy

handleBackward(ControlFlowGraph.Edge, Val, StaticFieldVal, Set<State>) - Method in class boomerang.staticfields.IgnoreStaticFieldStrategy

handleBackward(ControlFlowGraph.Edge, Val, StaticFieldVal, Set<State>) - Method in class boomerang.staticfields.SingletonStaticFieldStrategy

handleBackward(ControlFlowGraph.Edge, Val, StaticFieldVal, Set<State>) - Method in interface boomerang.staticfields.StaticFieldStrategy

handleForward(ControlFlowGraph.Edge, Pair<Val, Integer>, Set<State>) - Method in interface boomerang.arrays.ArrayHandlingStrategy

handleForward(ControlFlowGraph.Edge, Pair<Val, Integer>, Set<State>) - Method in class boomerang.arrays.ArrayIndexInsensitiveStrategy

handleForward(ControlFlowGraph.Edge, Pair<Val, Integer>, Set<State>) - Method in class boomerang.arrays.ArrayIndexSensitiveStrategy

handleForward(ControlFlowGraph.Edge, Pair<Val, Integer>, Set<State>) - Method in class boomerang.arrays.IgnoreArrayStrategy

handleForward(ControlFlowGraph.Edge, Val, StaticFieldVal, Set<State>) - Method in class boomerang.staticfields.FlowSensitiveStaticFieldStrategy

handleForward(ControlFlowGraph.Edge, Val, StaticFieldVal, Set<State>) - Method in class boomerang.staticfields.IgnoreStaticFieldStrategy

handleForward(ControlFlowGraph.Edge, Val, StaticFieldVal, Set<State>) - Method in class boomerang.staticfields.SingletonStaticFieldStrategy

handleForward(ControlFlowGraph.Edge, Val, StaticFieldVal, Set<State>) - Method in interface boomerang.staticfields.StaticFieldStrategy

handleMaps() - Method in interface boomerang.BoomerangOptions

handleMaps() - Method in class boomerang.DefaultBoomerangOptions

handleMapsBackward(Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.WeightedBoomerang

handleMapsForward(ForwardBoomerangSolver<W>, Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.WeightedBoomerang

hashCode() - Method in interface boomerang.Context

hashCode() - Method in class boomerang.ForwardQueryArray

hashCode() - Method in class boomerang.ForwardQueryMultiDimensionalArray

hashCode() - Method in class boomerang.guided.Specification.Parameter

hashCode() - Method in class boomerang.poi.AbstractPOI

hashCode() - Method in class boomerang.poi.CopyAccessPathChain

hashCode() - Method in class boomerang.poi.ExecuteImportFieldStmtPOI

hashCode() - Method in class boomerang.Query

hashCode() - Method in class boomerang.results.AbstractBoomerangResults.Context

hashCode() - Method in class boomerang.results.ExtractAllAliasListener

hashCode() - Method in class boomerang.results.ExtractAllocationSiteStateListener

hashCode() - Method in class boomerang.results.PathElement

hashCode() - Method in class boomerang.solver.ControlFlowEdgeBasedCallTransitionListener

hashCode() - Method in class boomerang.solver.ControlFlowEdgeBasedFieldTransitionListener

hashCode() - Method in class boomerang.util.AccessPath

hashCode() - Method in class boomerang.util.RegExAccessPath

hashCode() - Method in class boomerang.weights.DataFlowPathWeight

hashCode() - Method in class boomerang.weights.MinDistanceWeight

hashCode() - Method in class boomerang.weights.PathConditionWeight

hashCode() - Method in class boomerang.weights.PathTrackingWeight

I

IBackwardFlowFunction - Interface in boomerang.flowfunction

IBoomerangStats<W extends wpds.impl.Weight> - Interface in boomerang.stats

Created by johannesspath on 06.12.17.

ICallerCalleeResolutionStrategy - Interface in boomerang.callgraph

ICallerCalleeResolutionStrategy.Factory - Interface in boomerang.callgraph

icfg - Variable in class boomerang.solver.AbstractBoomerangSolver

icfg - Variable in class boomerang.WeightedBoomerang

icfg() - Method in class boomerang.WeightedBoomerang

IContextRequester - Interface in boomerang

id(Object) - Method in class boomerang.debugger.IDEVizDebugger

IDemandDrivenGuidedManager - Interface in boomerang.guided

IDEVizDebugger<W extends wpds.impl.Weight> - Class in boomerang.debugger

IDEVizDebugger(File) - Constructor for class boomerang.debugger.IDEVizDebugger

IForwardFlowFunction - Interface in boomerang.flowfunction

IgnoreArrayStrategy<W extends wpds.impl.Weight> - Class in boomerang.arrays

IgnoreArrayStrategy() - Constructor for class boomerang.arrays.IgnoreArrayStrategy

ignoreInnerClassFields() - Method in interface boomerang.BoomerangOptions

ignoreInnerClassFields() - Method in class boomerang.DefaultBoomerangOptions

IgnoreStaticFieldStrategy<W extends wpds.impl.Weight> - Class in boomerang.staticfields

IgnoreStaticFieldStrategy() - Constructor for class boomerang.staticfields.IgnoreStaticFieldStrategy

importFieldTransitionsStartingAt(Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>, int) - Method in class boomerang.poi.ExecuteImportFieldStmtPOI

initialContext(Statement) - Method in interface boomerang.IContextRequester

IntAndStringBoomerangOptions - Class in boomerang.scene.jimple

IntAndStringBoomerangOptions() - Constructor for class boomerang.scene.jimple.IntAndStringBoomerangOptions

INTERPROCEDURAL - Variable in class boomerang.solver.AbstractBoomerangSolver

isAllocationNode(ControlFlowGraph.Edge, Val) - Method in class boomerang.WeightedBoomerang

isAllocationVal(Val) - Method in class boomerang.DefaultBoomerangOptions

isAllocationVal(Val) - Method in class boomerang.scene.jimple.IntAndStringBoomerangOptions

isArrayAllocationVal(Val) - Method in class boomerang.scene.jimple.IntAndStringBoomerangOptions

isCallStmt(Statement) - Method in class boomerang.callgraph.BackwardsObservableICFG

isCallStmt(Statement) - Method in class boomerang.callgraph.ObservableDynamicICFG

isCallStmt(N) - Method in interface boomerang.callgraph.ObservableICFG

Returns true if the given statement is a call site.

isCallStmt(Statement) - Method in class boomerang.callgraph.ObservableStaticICFG

isEmpty() - Method in class boomerang.results.BackwardBoomerangResults

isEmpty() - Method in class boomerang.util.DefaultValueMap

isExitStmt(Statement) - Method in class boomerang.callgraph.BackwardsObservableICFG

isExitStmt(Statement) - Method in class boomerang.callgraph.ObservableDynamicICFG

isExitStmt(N) - Method in interface boomerang.callgraph.ObservableICFG

Returns true if the given statement leads to a method return (exceptional or not).

isExitStmt(Statement) - Method in class boomerang.callgraph.ObservableStaticICFG

isFirstStatementOfEntryPoint(Statement) - Method in class boomerang.WeightedBoomerang

isInOnList(Specification.SootMethodWithSelector, Statement, Val, Specification.QueryDirection) - Method in class boomerang.guided.SimpleSpecificationGuidedManager

isMatchingCallSiteCalleePair(Statement, Method) - Method in class boomerang.solver.AbstractBoomerangSolver

isNullPointerNode(Node<ControlFlowGraph.Edge, Val>) - Static method in class boomerang.results.NullPointerDereference

isOverApproximated() - Method in class boomerang.util.AccessPath

isRoot(Query) - Method in class boomerang.QueryGraph

isStartPoint(Statement) - Method in class boomerang.callgraph.BackwardsObservableICFG

isStartPoint(Statement) - Method in class boomerang.callgraph.ObservableDynamicICFG

isStartPoint(N) - Method in interface boomerang.callgraph.ObservableICFG

Returns true is this is a method's start statement.

isStartPoint(Statement) - Method in class boomerang.callgraph.ObservableStaticICFG

isSystemArrayCopy(DeclaredMethod) - Static method in class boomerang.flowfunction.FlowFunctionUtils

isTimedout() - Method in class boomerang.results.BackwardBoomerangResults

isTimedout() - Method in class boomerang.results.ForwardBoomerangResults

isTimedout() - Method in class boomerang.results.QueryResults

K

keySet() - Method in class boomerang.util.DefaultValueMap

killFlow(Statement, Val) - Method in class boomerang.flowfunction.DefaultForwardFlowFunction

killNullAtCast() - Method in interface boomerang.BoomerangOptions

Assume we propagate an object of soot.NullType in variable y and the propagation reaches a statement x = (Object) y.

killNullAtCast() - Method in class boomerang.DefaultBoomerangOptions

L

loadFrom(String) - Static method in class boomerang.guided.Specification

LOGGER - Variable in class boomerang.results.AbstractBoomerangResults

M

main(String...) - Static method in class boomerang.example.BoomerangExampleTarget1

main(String...) - Static method in class boomerang.example.BoomerangExampleTarget2

main(String...) - Static method in class boomerang.example.ExampleMain1

main(String...) - Static method in class boomerang.example.ExampleMain2

make(ControlFlowGraph.Edge, Val) - Static method in class boomerang.BackwardQuery

maxCallDepth() - Method in interface boomerang.BoomerangOptions

maxCallDepth() - Method in class boomerang.DefaultBoomerangOptions

maxFieldDepth() - Method in interface boomerang.BoomerangOptions

maxFieldDepth() - Method in class boomerang.DefaultBoomerangOptions

maxUnbalancedCallDepth() - Method in interface boomerang.BoomerangOptions

maxUnbalancedCallDepth() - Method in class boomerang.DefaultBoomerangOptions

MethodBasedFieldTransitionListener<W extends wpds.impl.Weight> - Class in boomerang.solver

MethodBasedFieldTransitionListener(Method) - Constructor for class boomerang.solver.MethodBasedFieldTransitionListener

MethodReachableQueue<Method> - Interface in boomerang

MinDistanceWeight - Class in boomerang.weights

MinDistanceWeight(Integer) - Constructor for class boomerang.weights.MinDistanceWeight

MinDistanceWeightFunctions - Class in boomerang.weights

MinDistanceWeightFunctions() - Constructor for class boomerang.weights.MinDistanceWeightFunctions

N

nested - Variable in class boomerang.example.BoomerangExampleTarget1.NestedClassWithField

nested - Variable in class boomerang.example.BoomerangExampleTarget2.NestedClassWithField

NestedClassWithField() - Constructor for class boomerang.example.BoomerangExampleTarget1.NestedClassWithField

NestedClassWithField() - Constructor for class boomerang.example.BoomerangExampleTarget2.NestedClassWithField

newInstance(WeightedBoomerang, CallGraph) - Method in interface boomerang.callgraph.ICallerCalleeResolutionStrategy.Factory

normal(Node<Statement, Val>, Node<Statement, Val>) - Method in class boomerang.weights.MinDistanceWeightFunctions

normal(Node<ControlFlowGraph.Edge, Val>, Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.weights.PathTrackingWeightFunctions

normalFlow(ControlFlowGraph.Edge, Val) - Method in class boomerang.flowfunction.DefaultBackwardFlowFunction

normalFlow(ForwardQuery, ControlFlowGraph.Edge, Val) - Method in class boomerang.flowfunction.DefaultForwardFlowFunction

normalFlow(ControlFlowGraph.Edge, Val) - Method in interface boomerang.flowfunction.IBackwardFlowFunction

Called by the backward analysis, for any non return statements or call site statements.

normalFlow(ForwardQuery, ControlFlowGraph.Edge, Val) - Method in interface boomerang.flowfunction.IForwardFlowFunction

Called by the forward analysis, for any non return statements or call site statements.

normalFlow(Method, Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.solver.BackwardBoomerangSolver

notifyNoCalleeFound(Statement) - Method in class boomerang.callgraph.ObservableDynamicICFG

NullPointerDereference - Class in boomerang.results

NullPointerDereference(ControlFlowGraph.Edge) - Constructor for class boomerang.results.NullPointerDereference

NullPointerDereference(Query, ControlFlowGraph.Edge, Val, PAutomaton<Statement, INode<Val>>, PAutomaton<Statement, INode<Val>>, List<PathElement>) - Constructor for class boomerang.results.NullPointerDereference

O

ObjectOfInterest() - Constructor for class boomerang.example.BoomerangExampleTarget1.ObjectOfInterest

ObjectOfInterest() - Constructor for class boomerang.example.BoomerangExampleTarget2.ObjectOfInterest

ObservableControlFlowGraph - Interface in boomerang.controlflowgraph

ObservableDynamicICFG - Class in boomerang.callgraph

An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener.

ObservableDynamicICFG(ObservableControlFlowGraph, ICallerCalleeResolutionStrategy) - Constructor for class boomerang.callgraph.ObservableDynamicICFG

ObservableICFG<N,M> - Interface in boomerang.callgraph

An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener.

ObservableStaticICFG - Class in boomerang.callgraph

An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener.

ObservableStaticICFG(CallGraph) - Constructor for class boomerang.callgraph.ObservableStaticICFG

of(int) - Static method in class boomerang.guided.Specification.Parameter

onAddedTransition(Transition<ControlFlowGraph.Edge, INode<Val>>, W) - Method in class boomerang.solver.ControlFlowEdgeBasedCallTransitionListener

onAddedTransition(Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>) - Method in class boomerang.solver.ControlFlowEdgeBasedFieldTransitionListener

onAddedTransition(Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>) - Method in class boomerang.solver.MethodBasedFieldTransitionListener

onBackwardFlow(BackwardQuery, ControlFlowGraph.Edge, Val) - Method in interface boomerang.guided.IDemandDrivenGuidedManager

onBackwardFlow(BackwardQuery, ControlFlowGraph.Edge, Val) - Method in class boomerang.guided.SimpleSpecificationGuidedManager

onCalleeAdded(N, M) - Method in interface boomerang.callgraph.CalleeListener

onCallerAdded(N, M) - Method in interface boomerang.callgraph.CallerListener

onCreatedSolver(Query, AbstractBoomerangSolver<W>) - Method in interface boomerang.SolverCreationListener

onCreateSubSolver(Query, AbstractBoomerangSolver<W>) - Method in class boomerang.WeightedBoomerang

one() - Static method in class boomerang.weights.DataFlowPathWeight

one() - Static method in class boomerang.weights.MinDistanceWeight

one() - Static method in class boomerang.weights.PathConditionWeight

one() - Static method in class boomerang.weights.PathTrackingWeight

onForwardFlow(ForwardQuery, ControlFlowGraph.Edge, Val) - Method in interface boomerang.guided.IDemandDrivenGuidedManager

onForwardFlow(ForwardQuery, ControlFlowGraph.Edge, Val) - Method in class boomerang.guided.SimpleSpecificationGuidedManager

onInTransitionAdded(Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>, W, WeightedPAutomaton<Field, INode<Node<ControlFlowGraph.Edge, Val>>, W>) - Method in class boomerang.results.ExtractAllocationSiteStateListener

onNoCalleeFound() - Method in interface boomerang.callgraph.CalleeListener

onOutTransitionAdded(Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>, W, WeightedPAutomaton<Field, INode<Node<ControlFlowGraph.Edge, Val>>, W>) - Method in class boomerang.results.ExtractAllocationSiteStateListener

onReachableNodeAdded(Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.results.ExtractAllAliasListener

onTheFlyCallGraph() - Method in interface boomerang.BoomerangOptions

onTheFlyCallGraph() - Method in class boomerang.DefaultBoomerangOptions

onTheFlyControlFlow() - Method in interface boomerang.BoomerangOptions

onTheFlyControlFlow() - Method in class boomerang.DefaultBoomerangOptions

onWeightAdded(Transition<ControlFlowGraph.Edge, INode<Val>>, W, WeightedPAutomaton<ControlFlowGraph.Edge, INode<Val>, W>) - Method in class boomerang.solver.ControlFlowEdgeBasedCallTransitionListener

onWeightAdded(Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>, W, WeightedPAutomaton<Field, INode<Node<ControlFlowGraph.Edge, Val>>, W>) - Method in class boomerang.solver.ControlFlowEdgeBasedFieldTransitionListener

onWeightAdded(Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>, W, WeightedPAutomaton<Field, INode<Node<ControlFlowGraph.Edge, Val>>, W>) - Method in class boomerang.solver.MethodBasedFieldTransitionListener

options - Variable in class boomerang.solver.AbstractBoomerangSolver

options - Variable in class boomerang.WeightedBoomerang

overwriteFieldAtStatement(ControlFlowGraph.Edge, Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>) - Method in class boomerang.solver.ForwardBoomerangSolver

P

parseAllFromString(String, JimpleMethod) - Static method in class boomerang.scene.jimple.AccessPathParser

PathConditionWeight - Class in boomerang.weights

PathConditionWeight(Statement, Method) - Constructor for class boomerang.weights.PathConditionWeight

PathConditionWeight(Val) - Constructor for class boomerang.weights.PathConditionWeight

PathConditionWeight(Statement, Boolean) - Constructor for class boomerang.weights.PathConditionWeight

PathConditionWeight(Val, PathConditionWeight.ConditionDomain) - Constructor for class boomerang.weights.PathConditionWeight

PathConditionWeight.ConditionDomain - Enum in boomerang.weights

PathElement - Class in boomerang.results

PathElement(ControlFlowGraph.Edge, Val, int) - Constructor for class boomerang.results.PathElement

PathTrackingBoomerang - Class in boomerang.weights

PathTrackingBoomerang(CallGraph, DataFlowScope) - Constructor for class boomerang.weights.PathTrackingBoomerang

PathTrackingBoomerang(CallGraph, DataFlowScope, BoomerangOptions) - Constructor for class boomerang.weights.PathTrackingBoomerang

PathTrackingWeight - Class in boomerang.weights

PathTrackingWeight(Node<ControlFlowGraph.Edge, Val>) - Constructor for class boomerang.weights.PathTrackingWeight

PathTrackingWeightFunctions - Class in boomerang.weights

PathTrackingWeightFunctions(boolean, boolean, boolean) - Constructor for class boomerang.weights.PathTrackingWeightFunctions

perStatementFieldTransitions - Variable in class boomerang.solver.AbstractBoomerangSolver

PointOfIndirection<Statement,Val,Field> - Class in boomerang.poi

PointOfIndirection() - Constructor for class boomerang.poi.PointOfIndirection

pop(Node<Statement, Val>) - Method in class boomerang.weights.MinDistanceWeightFunctions

pop(Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.weights.PathTrackingWeightFunctions

PredecessorListener - Class in boomerang.controlflowgraph

PredecessorListener(Statement) - Constructor for class boomerang.controlflowgraph.PredecessorListener

preventCallRuleAdd(ForwardQuery, Rule<ControlFlowGraph.Edge, INode<Val>, W>) - Method in class boomerang.WeightedBoomerang

preventCallTransitionAdd(Transition<ControlFlowGraph.Edge, INode<Val>>, W) - Method in class boomerang.solver.AbstractBoomerangSolver

preventFieldTransitionAdd(Transition<Field, INode<Node<ControlFlowGraph.Edge, Val>>>, W) - Method in class boomerang.solver.AbstractBoomerangSolver

printAllAutomata() - Method in class boomerang.WeightedBoomerang

printAllBackwardCallAutomatonFlow() - Method in class boomerang.WeightedBoomerang

printAllForwardCallAutomatonFlow() - Method in class boomerang.WeightedBoomerang

printAutomata(Query) - Method in class boomerang.WeightedBoomerang

printCallAutomatonFlow(AbstractBoomerangSolver<W>) - Method in class boomerang.WeightedBoomerang

processPush(Node<ControlFlowGraph.Edge, Val>, Location, PushNode<ControlFlowGraph.Edge, Val, ?>, SyncPDSSolver.PDSSystem) - Method in class boomerang.solver.BackwardBoomerangSolver

processPush(Node<ControlFlowGraph.Edge, Val>, Location, PushNode<ControlFlowGraph.Edge, Val, ?>, SyncPDSSolver.PDSSystem) - Method in class boomerang.solver.ForwardBoomerangSolver

propagateUnbalancedToCallSite(Statement, Transition<ControlFlowGraph.Edge, INode<Val>>) - Method in class boomerang.solver.AbstractBoomerangSolver

propagateUnbalancedToCallSite(Statement, Transition<ControlFlowGraph.Edge, INode<Val>>) - Method in class boomerang.solver.BackwardBoomerangSolver

propagateUnbalancedToCallSite(Statement, Transition<ControlFlowGraph.Edge, INode<Val>>) - Method in class boomerang.solver.ForwardBoomerangSolver

prunePathConditions() - Method in interface boomerang.BoomerangOptions

prunePathConditions() - Method in class boomerang.DefaultBoomerangOptions

push(Node<Statement, Val>, Node<Statement, Val>, Statement) - Method in class boomerang.weights.MinDistanceWeightFunctions

push(Node<ControlFlowGraph.Edge, Val>, Node<ControlFlowGraph.Edge, Val>, ControlFlowGraph.Edge) - Method in class boomerang.weights.PathTrackingWeightFunctions

put(K, V) - Method in class boomerang.util.DefaultValueMap

putAll(Map<? extends K, ? extends V>) - Method in class boomerang.util.DefaultValueMap

Q

Query - Class in boomerang

Query(ControlFlowGraph.Edge, Val) - Constructor for class boomerang.Query

QueryGraph<W extends wpds.impl.Weight> - Class in boomerang

QueryGraph(WeightedBoomerang<W>) - Constructor for class boomerang.QueryGraph

QueryResults - Class in boomerang.results

QueryResults(Query, Set<AffectedLocation>, Set<Method>, boolean) - Constructor for class boomerang.results.QueryResults

queryToSolvers - Variable in class boomerang.results.AbstractBoomerangResults

R

reachable(Method) - Method in interface boomerang.solver.ReachableMethodListener

ReachableMethodListener<W extends wpds.impl.Weight> - Interface in boomerang.solver

reachesNodeWithEmptyField(Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.solver.AbstractBoomerangSolver

RegExAccessPath - Class in boomerang.util

RegExAccessPath(Val, IRegEx<Field>) - Constructor for class boomerang.util.RegExAccessPath

registerActivationListener(WeightedBoomerang<W>.SolverPair, ExecuteImportFieldStmtPOI<W>) - Method in class boomerang.WeightedBoomerang

registerEdgeListener(QueryGraph.AddTargetEdgeListener) - Method in class boomerang.QueryGraph

registerFieldTransitionListener(MethodBasedFieldTransitionListener<W>) - Method in class boomerang.solver.AbstractBoomerangSolver

registerFieldWritePOI(WeightedBoomerang<W>.FieldWritePOI) - Method in class boomerang.stats.AdvancedBoomerangStats

registerFieldWritePOI(WeightedBoomerang<W>.FieldWritePOI) - Method in class boomerang.stats.CSVBoomerangStatsWriter

registerFieldWritePOI(WeightedBoomerang<W>.FieldWritePOI) - Method in interface boomerang.stats.IBoomerangStats

registerFieldWritePOI(WeightedBoomerang<W>.FieldWritePOI) - Method in class boomerang.stats.SimpleBoomerangStats

registerSolver(Query, AbstractBoomerangSolver<W>) - Method in class boomerang.stats.AdvancedBoomerangStats

registerSolver(Query, AbstractBoomerangSolver<W>) - Method in class boomerang.stats.CSVBoomerangStatsWriter

registerSolver(Query, AbstractBoomerangSolver<W>) - Method in interface boomerang.stats.IBoomerangStats

registerSolver(Query, AbstractBoomerangSolver<W>) - Method in class boomerang.stats.SimpleBoomerangStats

registerSolverCreationListener(SolverCreationListener<W>) - Method in class boomerang.WeightedBoomerang

registerStatementCallTransitionListener(ControlFlowEdgeBasedCallTransitionListener<W>) - Method in class boomerang.solver.AbstractBoomerangSolver

registerStatementFieldTransitionListener(ControlFlowEdgeBasedFieldTransitionListener<W>) - Method in class boomerang.solver.AbstractBoomerangSolver

remove(Object) - Method in class boomerang.util.DefaultValueMap

resetCallGraph() - Method in class boomerang.callgraph.BackwardsObservableICFG

resetCallGraph() - Method in class boomerang.callgraph.ObservableDynamicICFG

resetCallGraph() - Method in interface boomerang.callgraph.ObservableICFG

Resets the call graph.

resetCallGraph() - Method in class boomerang.callgraph.ObservableStaticICFG

resolveInstanceInvoke(Statement) - Method in class boomerang.callgraph.BoomerangResolver

resolveInstanceInvoke(Statement) - Method in interface boomerang.callgraph.ICallerCalleeResolutionStrategy

resolveSpecialInvoke(InvokeExpr) - Method in class boomerang.callgraph.BoomerangResolver

resolveSpecialInvoke(InvokeExpr) - Method in interface boomerang.callgraph.ICallerCalleeResolutionStrategy

resolveStaticInvoke(InvokeExpr) - Method in class boomerang.callgraph.BoomerangResolver

resolveStaticInvoke(InvokeExpr) - Method in interface boomerang.callgraph.ICallerCalleeResolutionStrategy

returnFlow(Method, Statement, Val) - Method in class boomerang.flowfunction.DefaultBackwardFlowFunction

returnFlow(Method, Statement, Val) - Method in class boomerang.flowfunction.DefaultForwardFlowFunction

returnFlow(Method, Statement, Val) - Method in interface boomerang.flowfunction.IBackwardFlowFunction

Called by the backward analysis, when the backward solver reaches the returnStmt (first statement of callee method) of callee method with data-flow fact returnedVal.

returnFlow(Method, Statement, Val) - Method in interface boomerang.flowfunction.IForwardFlowFunction

Called by the forward analysis, when the forward solver reaches the returnStmt (any last statement of callee method) of callee method with data-flow fact returnedVal.

returnFlow(Method, Node<ControlFlowGraph.Edge, Val>) - Method in class boomerang.solver.AbstractBoomerangSolver

returnParam() - Static method in class boomerang.guided.Specification.Parameter

RULE_INDEX - Static variable in class boomerang.results.NullPointerDereference

run(Query) - Method in class boomerang.guided.DemandDrivenGuidedAnalysis

The query graph takes as input an initial query from which all follow up computations are computed.

S

setScanLibraryClasses(boolean) - Method in class boomerang.scene.AnalysisScope

setSolver(BackwardBoomerangSolver, Multimap<Field, Statement>, Multimap<Field, Statement>) - Method in class boomerang.flowfunction.DefaultBackwardFlowFunction

setSolver(ForwardBoomerangSolver, Multimap<Field, Statement>, Multimap<Field, Statement>) - Method in class boomerang.flowfunction.DefaultForwardFlowFunction

setSolver(BackwardBoomerangSolver, Multimap<Field, Statement>, Multimap<Field, Statement>) - Method in interface boomerang.flowfunction.IBackwardFlowFunction

setSolver(ForwardBoomerangSolver, Multimap<Field, Statement>, Multimap<Field, Statement>) - Method in interface boomerang.flowfunction.IForwardFlowFunction

SimpleBoomerangStats<W extends wpds.impl.Weight> - Class in boomerang.stats

Created by johannesspath on 06.12.17.

SimpleBoomerangStats() - Constructor for class boomerang.stats.SimpleBoomerangStats

SimpleSpecificationGuidedManager - Class in boomerang.guided

SimpleSpecificationGuidedManager(Specification) - Constructor for class boomerang.guided.SimpleSpecificationGuidedManager

SingletonStaticFieldStrategy<W extends wpds.impl.Weight> - Class in boomerang.staticfields

SingletonStaticFieldStrategy(AbstractBoomerangSolver, Multimap<Field, Statement>, Multimap<Field, Statement>) - Constructor for class boomerang.staticfields.SingletonStaticFieldStrategy

size() - Method in class boomerang.util.DefaultValueMap

solve() - Method in class boomerang.poi.ExecuteImportFieldStmtPOI

solve(ForwardQuery) - Method in class boomerang.WeightedBoomerang

solve(BackwardQuery) - Method in class boomerang.WeightedBoomerang

solve(BackwardQuery, boolean) - Method in class boomerang.WeightedBoomerang

SolverCreationListener<W extends wpds.impl.Weight> - Interface in boomerang

solveUnderScope(BackwardQuery, Node<ControlFlowGraph.Edge, Val>, Query) - Method in class boomerang.WeightedBoomerang

solveUnderScope(ForwardQuery, Node<ControlFlowGraph.Edge, Val>, Query) - Method in class boomerang.WeightedBoomerang

sortByValues(Map<K, Integer>) - Static method in class boomerang.stats.AdvancedBoomerangStats

sortByValues(Map<K, Integer>) - Static method in class boomerang.stats.CSVBoomerangStatsWriter

Specification - Class in boomerang.guided

Specification.Parameter - Class in boomerang.guided

Specification.QueryDirection - Enum in boomerang.guided

Specification.QuerySelector - Class in boomerang.guided

Specification.SootMethodWithSelector - Class in boomerang.guided

StaticCFG - Class in boomerang.controlflowgraph

StaticCFG() - Constructor for class boomerang.controlflowgraph.StaticCFG

StaticFieldStrategy<W extends wpds.impl.Weight> - Interface in boomerang.staticfields

statsFactory() - Method in interface boomerang.BoomerangOptions

statsFactory() - Method in class boomerang.DefaultBoomerangOptions

step(Statement, Statement) - Method in class boomerang.controlflowgraph.DynamicCFG

step(Statement, Statement) - Method in interface boomerang.controlflowgraph.ObservableControlFlowGraph

step(Statement, Statement) - Method in class boomerang.controlflowgraph.StaticCFG

stepIndex() - Method in class boomerang.results.PathElement

Strategies<W extends wpds.impl.Weight> - Class in boomerang.solver

Strategies(BoomerangOptions, AbstractBoomerangSolver, Multimap<Field, Statement>, Multimap<Field, Statement>) - Constructor for class boomerang.solver.Strategies

submit(Method, Runnable) - Method in interface boomerang.MethodReachableQueue

SuccessorListener - Class in boomerang.controlflowgraph

SuccessorListener(Statement) - Constructor for class boomerang.controlflowgraph.SuccessorListener

synchedEmptyStackReachable(Node<ControlFlowGraph.Edge, Val>, EmptyStackWitnessListener<ControlFlowGraph.Edge, Val>) - Method in class boomerang.solver.AbstractBoomerangSolver

synchedReachable(Node<ControlFlowGraph.Edge, Val>, WitnessListener<ControlFlowGraph.Edge, Val, Field>) - Method in class boomerang.solver.AbstractBoomerangSolver

systemArrayCopyFlow(ControlFlowGraph.Edge, Val) - Method in class boomerang.flowfunction.DefaultBackwardFlowFunction

systemArrayCopyFlow(ControlFlowGraph.Edge, Val) - Method in class boomerang.flowfunction.DefaultForwardFlowFunction

T

terminated(ForwardQuery, ForwardBoomerangResults<W>) - Method in class boomerang.stats.AdvancedBoomerangStats

terminated(BackwardQuery, BackwardBoomerangResults<W>) - Method in class boomerang.stats.AdvancedBoomerangStats

terminated(ForwardQuery, ForwardBoomerangResults<W>) - Method in class boomerang.stats.CSVBoomerangStatsWriter

terminated(BackwardQuery, BackwardBoomerangResults<W>) - Method in class boomerang.stats.CSVBoomerangStatsWriter

terminated(ForwardQuery, ForwardBoomerangResults<W>) - Method in interface boomerang.stats.IBoomerangStats

terminated(BackwardQuery, BackwardBoomerangResults<W>) - Method in interface boomerang.stats.IBoomerangStats

terminated(ForwardQuery, ForwardBoomerangResults<W>) - Method in class boomerang.stats.SimpleBoomerangStats

terminated(BackwardQuery, BackwardBoomerangResults<W>) - Method in class boomerang.stats.SimpleBoomerangStats

throwFlows() - Method in interface boomerang.BoomerangOptions

throwFlows() - Method in class boomerang.DefaultBoomerangOptions

toDotString() - Method in class boomerang.QueryGraph

toString() - Method in class boomerang.BackwardQuery

toString() - Method in exception boomerang.BoomerangTimeoutException

toString() - Method in class boomerang.DefaultBoomerangOptions

toString() - Method in class boomerang.ForwardQuery

toString() - Method in class boomerang.ForwardQueryArray

toString() - Method in class boomerang.ForwardQueryMultiDimensionalArray

toString() - Method in class boomerang.poi.AbstractPOI

toString() - Method in class boomerang.Query

toString() - Method in class boomerang.QueryGraph

toString() - Method in class boomerang.results.NullPointerDereference

toString() - Method in class boomerang.results.PathElement

toString() - Method in class boomerang.solver.BackwardBoomerangSolver

toString() - Method in class boomerang.solver.ForwardBoomerangSolver

toString() - Method in class boomerang.stats.AdvancedBoomerangStats

toString() - Method in class boomerang.stats.CSVBoomerangStatsWriter

toString() - Method in class boomerang.stats.SimpleBoomerangStats

toString() - Method in class boomerang.util.AccessPath

toString() - Method in class boomerang.util.RegExAccessPath

toString() - Method in class boomerang.weights.DataFlowPathWeight

toString() - Method in class boomerang.weights.MinDistanceWeight

toString() - Method in class boomerang.weights.PathConditionWeight

toString() - Method in class boomerang.weights.PathTrackingWeight

trackAnySubclassOfThrowable() - Method in class boomerang.DefaultBoomerangOptions

trackDataFlowPath() - Method in interface boomerang.BoomerangOptions

trackDataFlowPath() - Method in class boomerang.DefaultBoomerangOptions

trackFields() - Method in interface boomerang.BoomerangOptions

trackFields() - Method in class boomerang.DefaultBoomerangOptions

trackImplicitFlows() - Method in interface boomerang.BoomerangOptions

trackImplicitFlows() - Method in class boomerang.DefaultBoomerangOptions

trackNullAssignments() - Method in class boomerang.DefaultBoomerangOptions

trackPathConditions() - Method in interface boomerang.BoomerangOptions

trackPathConditions() - Method in class boomerang.DefaultBoomerangOptions

trackReturnOfInstanceOf() - Method in interface boomerang.BoomerangOptions

trackReturnOfInstanceOf() - Method in class boomerang.DefaultBoomerangOptions

trackStaticFieldAtEntryPointToClinit() - Method in interface boomerang.BoomerangOptions

trackStaticFieldAtEntryPointToClinit() - Method in class boomerang.DefaultBoomerangOptions

trackStrings() - Method in class boomerang.DefaultBoomerangOptions

trackStrings() - Method in class boomerang.scene.jimple.IntAndStringBoomerangOptions

trigger(INode<Node<ControlFlowGraph.Edge, Val>>) - Method in class boomerang.poi.ExecuteImportFieldStmtPOI

type - Variable in class boomerang.solver.AbstractBoomerangSolver

typeCheck() - Method in interface boomerang.BoomerangOptions

typeCheck() - Method in class boomerang.DefaultBoomerangOptions

U

unregisterAllListeners() - Method in class boomerang.controlflowgraph.DynamicCFG

unregisterAllListeners() - Method in interface boomerang.controlflowgraph.ObservableControlFlowGraph

unregisterAllListeners() - Method in class boomerang.controlflowgraph.StaticCFG

unregisterAllListeners() - Method in class boomerang.QueryGraph

unregisterAllListeners() - Method in class boomerang.solver.AbstractBoomerangSolver

unregisterAllListeners() - Method in class boomerang.WeightedBoomerang

Util - Class in boomerang

Util() - Constructor for class boomerang.Util

V

valueOf(String) - Static method in enum boomerang.BoomerangOptions.ArrayStrategy

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum boomerang.BoomerangOptions.StaticFieldStrategy

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum boomerang.callgraph.BoomerangResolver.NoCalleeFoundFallbackOptions

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum boomerang.guided.Specification.QueryDirection

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum boomerang.weights.PathConditionWeight.ConditionDomain

Returns the enum constant of this type with the specified name.

values() - Static method in enum boomerang.BoomerangOptions.ArrayStrategy

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum boomerang.BoomerangOptions.StaticFieldStrategy

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum boomerang.callgraph.BoomerangResolver.NoCalleeFoundFallbackOptions

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum boomerang.guided.Specification.QueryDirection

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Method in class boomerang.util.DefaultValueMap

values() - Static method in enum boomerang.weights.PathConditionWeight.ConditionDomain

Returns an array containing the constants of this enum type, in the order they are declared.

var() - Method in class boomerang.Query

W

weight() - Method in class boomerang.WeightedForwardQuery

WeightedBoomerang<W extends wpds.impl.Weight> - Class in boomerang

WeightedBoomerang(CallGraph, DataFlowScope, BoomerangOptions) - Constructor for class boomerang.WeightedBoomerang

WeightedBoomerang(CallGraph, DataFlowScope) - Constructor for class boomerang.WeightedBoomerang

WeightedBoomerang.FieldWritePOI - Class in boomerang

WeightedForwardQuery<W extends wpds.impl.Weight> - Class in boomerang

WeightedForwardQuery(ControlFlowGraph.Edge, Val, W) - Constructor for class boomerang.WeightedForwardQuery

wholeProgramAnalysis() - Method in class boomerang.WholeProgramBoomerang

WholeProgramBoomerang<W extends wpds.impl.Weight> - Class in boomerang

WholeProgramBoomerang(CallGraph, DataFlowScope, BoomerangOptions) - Constructor for class boomerang.WholeProgramBoomerang

WholeProgramBoomerang(CallGraph, DataFlowScope) - Constructor for class boomerang.WholeProgramBoomerang

A B C D E F G H I K L M N O P Q R S T U V W