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

A

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

AbstractBoomerangResults(DefaultValueMap<Query, AbstractBoomerangSolver<W>>) - Constructor for class boomerang.results.AbstractBoomerangResults

AbstractBoomerangResults.Context - Class in boomerang.results

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

AbstractBoomerangSolver(ObservableICFG<Unit, SootMethod>, Query, Map<Map.Entry<INode<Node<Statement, Val>>, Field>, INode<Node<Statement, Val>>>, BoomerangOptions, NestedWeightedPAutomatons<Statement, INode<Val>, W>, NestedWeightedPAutomatons<Field, INode<Node<Statement, Val>>, W>) - Constructor for class boomerang.solver.AbstractBoomerangSolver

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

AbstractPOI(Statement, 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.util

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

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

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

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

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

addCalleeListener(CalleeListener<Unit, SootMethod>) - 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<Unit, SootMethod>) - Method in class boomerang.callgraph.ObservableStaticICFG

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

addCallerListener(CallerListener<Unit, SootMethod>) - 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<Unit, SootMethod>) - Method in class boomerang.callgraph.ObservableStaticICFG

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

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

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

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

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

addReachable(SootMethod) - Method in class boomerang.solver.AbstractBoomerangSolver

addUnbalancedMethod(SootMethod) - Method in class boomerang.callgraph.BackwardsObservableICFG

addUnbalancedMethod(SootMethod) - Method in class boomerang.callgraph.ObservableDynamicICFG

addUnbalancedMethod(SootMethod) - Method in interface boomerang.callgraph.ObservableICFG

addUnbalancedMethod(SootMethod) - Method in class boomerang.callgraph.ObservableStaticICFG

addUnbalancedNodes(INode<Val>) - Method in class boomerang.results.AbstractBoomerangResults.Context

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

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

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

aliasing() - Method in interface boomerang.BoomerangOptions

aliasing() - Method in class boomerang.DefaultBoomerangOptions

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

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

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

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

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

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

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

Returns the set of all nodes that are neither call nor start nodes.

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

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

allocationStatement() - Method in class boomerang.jimple.AllocVal

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

AllocationTypeListener - Interface in boomerang.solver

allocationValue() - Method in class boomerang.jimple.AllocVal

AllocVal - Class in boomerang.jimple

AllocVal(Value, SootMethod, Value, Statement) - Constructor for class boomerang.jimple.AllocVal

analyseClassInitializers() - Method in class boomerang.seedfactory.SeedFactory

analysisTimeoutMS() - Method in interface boomerang.BoomerangOptions

analysisTimeoutMS() - Method in class boomerang.DefaultBoomerangOptions

analysisTimeoutMS() - Method in class boomerang.FromFileBoomerangOptions

apply() - Method in class boomerang.preanalysis.BoomerangPretransformer

array() - Static method in class boomerang.jimple.Field

arrayFlows() - Method in interface boomerang.BoomerangOptions

arrayFlows() - Method in class boomerang.DefaultBoomerangOptions

arrayFlows() - Method in class boomerang.FromFileBoomerangOptions

asNode() - Method in class boomerang.Query

assignsValue(Stmt, Val) - Static method in class boomerang.solver.AbstractBoomerangSolver

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

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

asUnbalanced(Statement) - Method in class boomerang.jimple.StaticFieldVal

asUnbalanced(Statement) - Method in class boomerang.jimple.Val

B

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

BackwardBoomerangResults(BackwardQuery, boolean, DefaultValueMap<Query, AbstractBoomerangSolver<W>>, IBoomerangStats<W>, Stopwatch) - Constructor for class boomerang.results.BackwardBoomerangResults

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

BackwardBoomerangSolver(ObservableICFG<Unit, SootMethod>, BackwardQuery, Map<Map.Entry<INode<Node<Statement, Val>>, Field>, INode<Node<Statement, Val>>>, BoomerangOptions, NestedWeightedPAutomatons<Statement, INode<Val>, W>, NestedWeightedPAutomatons<Field, INode<Node<Statement, Val>>, W>) - Constructor for class boomerang.solver.BackwardBoomerangSolver

BackwardEmptyCalleeFlow - Class in boomerang.customize

BackwardEmptyCalleeFlow() - Constructor for class boomerang.customize.BackwardEmptyCalleeFlow

backwardHandleFieldRead(Node<Statement, Val>, WeightedBoomerang<W>.FieldReadPOI, BackwardQuery) - Method in class boomerang.WeightedBoomerang

BackwardQuery - Class in boomerang

BackwardQuery(Statement, Val) - Constructor for class boomerang.BackwardQuery

BackwardsObservableICFG - Class in boomerang.callgraph

BackwardsObservableICFG(ObservableICFG<Unit, SootMethod>) - Constructor for class boomerang.callgraph.BackwardsObservableICFG

backwardSolve(BackwardQuery) - Method in class boomerang.WeightedBoomerang

backwardSolve(BackwardQuery) - Method in class boomerang.WholeProgramBoomerang

backwardSolveUnderScope(BackwardQuery, ForwardQuery, Node<Statement, Val>) - Method in class boomerang.WeightedBoomerang

backwardSolveUnderScope(BackwardQuery, IContextRequester) - Method in class boomerang.WeightedBoomerang

backwardSolveUnderScope(BackwardQuery, ForwardQuery, Node<Statement, Val>) - Method in class boomerang.WholeProgramBoomerang

baseAutomaton - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

baseSolver - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

boomerang - package boomerang

Boomerang - Class in boomerang

Boomerang() - Constructor for class boomerang.Boomerang

Boomerang(BoomerangOptions) - Constructor for class boomerang.Boomerang

boomerang.callgraph - package boomerang.callgraph

boomerang.customize - package boomerang.customize

boomerang.debugger - package boomerang.debugger

boomerang.example - package boomerang.example

boomerang.jimple - package boomerang.jimple

boomerang.poi - package boomerang.poi

boomerang.preanalysis - package boomerang.preanalysis

boomerang.results - package boomerang.results

boomerang.seedfactory - package boomerang.seedfactory

boomerang.solver - package boomerang.solver

boomerang.stats - package boomerang.stats

boomerang.util - package boomerang.util

boomerang.weights - package boomerang.weights

BoomerangExampleTarget - Class in boomerang.example

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

BoomerangExampleTarget.ClassWithField - Class in boomerang.example

BoomerangExampleTarget.NestedClassWithField - Class in boomerang.example

BoomerangExampleTarget.ObjectOfInterest - Class in boomerang.example

BoomerangICFG - Class in boomerang.callgraph

BoomerangICFG(boolean) - Constructor for class boomerang.callgraph.BoomerangICFG

BoomerangOptions - Interface in boomerang

BoomerangPretransformer - Class in boomerang.preanalysis

BoomerangPretransformer() - Constructor for class boomerang.preanalysis.BoomerangPretransformer

BoomerangTimeoutException - Exception in boomerang

BoomerangTimeoutException(long, IBoomerangStats) - Constructor for exception boomerang.BoomerangTimeoutException

C

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

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

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

callFlow(SootMethod, Node<Statement, Val>, Stmt, InvokeExpr) - Method in class boomerang.solver.ForwardBoomerangSolver

CallGraphDebugger<W extends 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<Unit, SootMethod>) - 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

callSummaries() - Method in class boomerang.FromFileBoomerangOptions

checkTimeout() - Method in class boomerang.WeightedBoomerang

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

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

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

computeCallFlow(SootMethod, Statement, Statement, InvokeExpr, Val, SootMethod, Stmt) - Method in class boomerang.solver.BackwardBoomerangSolver

computeCallFlow(SootMethod, Statement, InvokeExpr, Val, SootMethod, Stmt) - Method in class boomerang.solver.ForwardBoomerangSolver

computeNormalFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.solver.AbstractBoomerangSolver

computeNormalFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.solver.BackwardBoomerangSolver

computeNormalFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.solver.ForwardBoomerangSolver

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

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

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

computeSeeds() - Method in class boomerang.seedfactory.SeedFactory

computeSeeds() - Method in class boomerang.seedfactory.SimpleSeedFactory

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

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

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

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

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

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

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

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

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

Context - Interface in boomerang

A context is stored within the context graph.

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

createArrayFieldLoad(Statement) - Method in class boomerang.WeightedBoomerang

createArrayFieldStore(Statement) - Method in class boomerang.WeightedBoomerang

createBackwardSolver(BackwardQuery) - Method in class boomerang.WeightedBoomerang

createDebugger() - Method in class boomerang.Boomerang

createDebugger() - Method in class boomerang.WeightedBoomerang

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

createFieldLoad(Statement) - Method in class boomerang.WeightedBoomerang

createFieldStore(Statement) - Method in class boomerang.WeightedBoomerang

createForwardSolver(ForwardQuery) - Method in class boomerang.WeightedBoomerang

createPOI(BiDiInterproceduralCFG<Unit, SootMethod>, AbstractBoomerangSolver<W>, AbstractBoomerangSolver<W>, WeightedBoomerang<W>.FieldReadPOI, Statement) - Method in class boomerang.WeightedBoomerang

CSVBoomerangStatsWriter<W extends 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(Statement) - Constructor for class boomerang.weights.DataFlowPathWeight

DEBUG - Static variable in class boomerang.WeightedBoomerang

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

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

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

debugOutput() - Method in class boomerang.WeightedBoomerang

DefaultBoomerangOptions - Class in boomerang

DefaultBoomerangOptions() - Constructor for class boomerang.DefaultBoomerangOptions

DefaultBoomerangOptions.AllocationValCalleeListener - Class in boomerang

delegate - Variable in class boomerang.callgraph.BackwardsObservableICFG

done(Map<Query, AbstractBoomerangSolver<W>>) - Method in class boomerang.debugger.CallGraphDebugger

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

done(Map<Query, AbstractBoomerangSolver<W>>) - Method in class boomerang.debugger.Debugger

done(Map<Query, AbstractBoomerangSolver<W>>) - Method in class boomerang.debugger.IDEVizDebugger

E

empty() - Static method in class boomerang.jimple.Field

EmptyCalleeFlow - Class in boomerang.customize

EmptyCalleeFlow() - Constructor for class boomerang.customize.EmptyCalleeFlow

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

entry() - Static method in class boomerang.seedfactory.Reachable

epsilon() - Static method in class boomerang.jimple.Field

epsilon() - Static method in class boomerang.jimple.Statement

epsilon() - Static method in class boomerang.seedfactory.Method

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.DefaultBoomerangOptions.AllocationValCalleeListener

equals(Object) - Method in class boomerang.jimple.Field

equals(Object) - Method in class boomerang.jimple.Statement

equals(Object) - Method in class boomerang.jimple.StaticFieldVal

equals(Object) - Method in class boomerang.jimple.Val

equals(Object) - Method in class boomerang.jimple.ValWithFalseVariable

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

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.seedfactory.Method

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

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

equals(Object) - Method in class boomerang.UnbalancedPopHandler

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

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

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

ExampleMain - Class in boomerang.example

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

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

exclusionWildcard(Field) - Static method in class boomerang.jimple.Field

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

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

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

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

ExecuteImportFieldStmtPOI(WeightedBoomerang<W>, AbstractBoomerangSolver<W>, AbstractBoomerangSolver<W>, AbstractPOI<Statement, Val, Field>, Statement) - Constructor for class boomerang.poi.ExecuteImportFieldStmtPOI

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

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

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

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

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

F

fetchedSystemArrayCopyMethod - Variable in class boomerang.customize.EmptyCalleeFlow

fetchSystemArrayClasses() - Method in class boomerang.customize.EmptyCalleeFlow

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

Field - Class in boomerang.jimple

Field(SootField) - Constructor for class boomerang.jimple.Field

field() - Method in class boomerang.jimple.StaticFieldVal

FieldReadPOI(Statement, Val, Field, Val) - Constructor for class boomerang.WeightedBoomerang.FieldReadPOI

fieldSummaries() - Method in interface boomerang.BoomerangOptions

fieldSummaries() - Method in class boomerang.DefaultBoomerangOptions

fieldSummaries() - Method in class boomerang.FromFileBoomerangOptions

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

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

flowAutomaton - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

flowSolver - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

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

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

ForwardBoomerangResults(ForwardQuery, ObservableICFG<Unit, SootMethod>, boolean, DefaultValueMap<Query, AbstractBoomerangSolver<W>>, IBoomerangStats<W>, Stopwatch) - Constructor for class boomerang.results.ForwardBoomerangResults

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

ForwardBoomerangSolver(ObservableICFG<Unit, SootMethod>, ForwardQuery, Map<Map.Entry<INode<Node<Statement, Val>>, Field>, INode<Node<Statement, Val>>>, BoomerangOptions, NestedWeightedPAutomatons<Statement, INode<Val>, W>, NestedWeightedPAutomatons<Field, INode<Node<Statement, Val>>, W>) - Constructor for class boomerang.solver.ForwardBoomerangSolver

ForwardEmptyCalleeFlow - Class in boomerang.customize

ForwardEmptyCalleeFlow() - Constructor for class boomerang.customize.ForwardEmptyCalleeFlow

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

ForwardQuery - Class in boomerang

ForwardQuery(Statement, Val) - Constructor for class boomerang.ForwardQuery

FromFileBoomerangOptions - Class in boomerang

FromFileBoomerangOptions(File) - Constructor for class boomerang.FromFileBoomerangOptions

G

generate(SootMethod, Stmt) - Method in class boomerang.seedfactory.SeedFactory

generate(SootMethod, Stmt, Collection<SootMethod>) - Method in class boomerang.seedfactory.SimpleSeedFactory

generatedFieldState - Variable in class boomerang.solver.AbstractBoomerangSolver

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

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

generateFieldState(INode<Node<Statement, Val>>, Field) - Method in class boomerang.solver.ForwardBoomerangSolver

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

Deprecated.

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

Deprecated.

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

getAllocationVal(SootMethod, Stmt, Val, ObservableICFG<Unit, SootMethod>) - Method in interface boomerang.BoomerangOptions

getAllocationVal(SootMethod, Stmt, Val, ObservableICFG<Unit, SootMethod>) - Method in class boomerang.DefaultBoomerangOptions

getAllocationVal(SootMethod, Stmt, Val, ObservableICFG<Unit, SootMethod>) - Method in class boomerang.IntAndStringBoomerangOptions

getAllPrecomputedCallers(SootMethod) - Method in class boomerang.callgraph.BackwardsObservableICFG

getAllPrecomputedCallers(SootMethod) - Method in class boomerang.callgraph.ObservableDynamicICFG

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

Returns all precomputed callers for a given method.

getAllPrecomputedCallers(SootMethod) - Method in class boomerang.callgraph.ObservableStaticICFG

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

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

getAnyMethodScope() - Method in class boomerang.seedfactory.SeedFactory

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

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

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

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

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

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

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

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

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

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

getCallsFromWithin(SootMethod) - Method in class boomerang.callgraph.BackwardsObservableICFG

getCallsFromWithin(SootMethod) - Method in class boomerang.callgraph.ObservableDynamicICFG

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

Returns all call sites within a given method.

getCallsFromWithin(SootMethod) - Method in class boomerang.callgraph.ObservableStaticICFG

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

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

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

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

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

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

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

Computes the set of statements (and variables at these statements) relevant for data-flow propagation.

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

Computes the set of statements (and variables at these statements) relevant for data-flow propagation.

getEmptyCalleeFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.customize.BackwardEmptyCalleeFlow

getEmptyCalleeFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.customize.EmptyCalleeFlow

getEmptyCalleeFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.customize.ForwardEmptyCalleeFlow

getEmptyCalleeFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.solver.AbstractBoomerangSolver

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

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

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

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

getFalseVariable() - Method in class boomerang.jimple.ValWithFalseVariable

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

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

getICFGEdges() - Static method in class boomerang.Util

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

getLoadedField(Stmt) - Method in class boomerang.solver.AbstractBoomerangSolver

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

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

getMethod() - Method in class boomerang.jimple.Statement

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

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

getMethod() - Method in class boomerang.seedfactory.Method

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

getMethodOf(Unit) - Method in class boomerang.callgraph.BackwardsObservableICFG

getMethodOf(Unit) - Method in class boomerang.callgraph.ObservableDynamicICFG

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

Returns the method containing a node.

getMethodOf(Unit) - Method in class boomerang.callgraph.ObservableStaticICFG

getMethodScope(Query) - Method in class boomerang.seedfactory.SeedFactory

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

getObservedCaller() - Method in class boomerang.DefaultBoomerangOptions.AllocationValCalleeListener

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

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

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

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

getOptions() - Method in class boomerang.WeightedBoomerang

getOrCreateDebugger() - Method in class boomerang.WeightedBoomerang

getParameterRefs(SootMethod) - Method in class boomerang.callgraph.BackwardsObservableICFG

getParameterRefs(SootMethod) - Method in class boomerang.callgraph.ObservableDynamicICFG

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

Returns the list of parameter references used in the method's body.

getParameterRefs(SootMethod) - Method in class boomerang.callgraph.ObservableStaticICFG

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

getPredsOf(Unit) - Method in class boomerang.callgraph.BackwardsObservableICFG

getPredsOf(Unit) - Method in class boomerang.callgraph.ObservableDynamicICFG

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

getPredsOf(Unit) - Method in class boomerang.callgraph.ObservableStaticICFG

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

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

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

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

getReallyUsedMemory() - Static method in class boomerang.Util

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

getResults(Query) - Method in class boomerang.WeightedBoomerang

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

getSeedFactory() - Method in class boomerang.WeightedBoomerang

getSeedFactory() - Method in class boomerang.WholeProgramBoomerang

getSolvers() - Method in class boomerang.WeightedBoomerang

getSootField() - Method in class boomerang.jimple.Field

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

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

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

The source variable at the source statement.

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

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

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

Returns all start points of a given method.

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

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

The statement at which a null pointer occurred.

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

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

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

getStmt() - Method in class boomerang.solver.StatementBasedCallTransitionListener

getStmt() - Method in class boomerang.solver.StatementBasedFieldTransitionListener

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

getSuccsOf(Unit) - Method in class boomerang.callgraph.BackwardsObservableICFG

getSuccsOf(Unit) - Method in class boomerang.callgraph.ObservableDynamicICFG

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

Returns the successor nodes.

getSuccsOf(Unit) - Method in class boomerang.callgraph.ObservableStaticICFG

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

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

getType() - Method in class boomerang.jimple.Val

getType() - Method in class boomerang.Query

getUnit() - Method in class boomerang.jimple.Statement

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

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

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

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

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

getWrittenField(Stmt) - Method in class boomerang.solver.AbstractBoomerangSolver

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

H

hashCode() - Method in interface boomerang.Context

hashCode() - Method in class boomerang.DefaultBoomerangOptions.AllocationValCalleeListener

hashCode() - Method in class boomerang.jimple.Field

hashCode() - Method in class boomerang.jimple.Statement

hashCode() - Method in class boomerang.jimple.StaticFieldVal

hashCode() - Method in class boomerang.jimple.Val

hashCode() - Method in class boomerang.jimple.ValWithFalseVariable

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

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.seedfactory.Method

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

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

hashCode() - Method in class boomerang.UnbalancedPopHandler

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

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

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

hasNoMethod(Node<Statement, Val>) - Method in class boomerang.WeightedBoomerang

hasNonEmptyIntersection(PointsToSet) - Method in class boomerang.results.BackwardBoomerangResults

I

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

Created by johannesspath on 06.12.17.

icfg() - Method in class boomerang.seedfactory.SeedFactory

icfg - Variable in class boomerang.seedfactory.SimpleSeedFactory

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

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

IDEVizDebugger(File, ObservableICFG<Unit, SootMethod>) - Constructor for class boomerang.debugger.IDEVizDebugger

importStartingFrom(Transition<Field, INode<Node<Statement, Val>>>) - Method in class boomerang.poi.ExecuteImportFieldStmtPOI

initialContext(Statement) - Method in interface boomerang.IContextRequester

IntAndStringBoomerangOptions - Class in boomerang

IntAndStringBoomerangOptions() - Constructor for class boomerang.IntAndStringBoomerangOptions

internalTransform(Body, String, Map<String, String>) - Method in class boomerang.preanalysis.BoomerangPretransformer

INTERPROCEDURAL - Variable in class boomerang.solver.AbstractBoomerangSolver

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

isAllocationVal(Value) - Method in interface boomerang.BoomerangOptions

isAllocationVal(Value) - Method in class boomerang.DefaultBoomerangOptions

isAllocationVal(Value) - Method in class boomerang.IntAndStringBoomerangOptions

isApplied() - Method in class boomerang.preanalysis.BoomerangPretransformer

isArrayAllocationVal(Value) - Method in class boomerang.DefaultBoomerangOptions

isArrayAllocationVal(Value) - Method in class boomerang.IntAndStringBoomerangOptions

isArrayLoad(Statement) - Static method in class boomerang.WeightedBoomerang

isArrayStore(Statement) - Static method in class boomerang.WeightedBoomerang

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

isBackwardEnterCall(Statement) - Method in class boomerang.WeightedBoomerang

isCallsite() - Method in class boomerang.jimple.Statement

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

isCallStmt(Unit) - 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(Unit) - Method in class boomerang.callgraph.ObservableStaticICFG

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

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

isExitStmt(Unit) - 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(Unit) - Method in class boomerang.callgraph.ObservableStaticICFG

isFieldLoad(Statement) - Static method in class boomerang.WeightedBoomerang

isFieldLoadWithBase(Stmt, Val) - Method in class boomerang.solver.AbstractBoomerangSolver

isFieldStore(Statement) - Static method in class boomerang.WeightedBoomerang

isFieldWriteWithBase(Stmt, Val) - Method in class boomerang.solver.AbstractBoomerangSolver

isFirstStatementOfEntryPoint(Statement) - Method in class boomerang.WeightedBoomerang

isIdentityFlow(Val, Stmt, SootMethod, Collection<State>) - Method in class boomerang.solver.AbstractBoomerangSolver

isIgnoredMethod(SootMethod) - Method in interface boomerang.BoomerangOptions

isIgnoredMethod(SootMethod) - Method in class boomerang.DefaultBoomerangOptions

isNewExpr() - Method in class boomerang.jimple.AllocVal

isNewExpr() - Method in class boomerang.jimple.Val

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

isParameter(Val, Stmt) - Method in class boomerang.solver.AbstractBoomerangSolver

isParameterLocal(Val, SootMethod) - Static method in class boomerang.Util

isReachable(Unit) - Method in class boomerang.callgraph.BackwardsObservableICFG

isReachable(Unit) - Method in class boomerang.callgraph.ObservableDynamicICFG

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

Checks whether the given statement is reachable from the entry point

isReachable(Unit) - Method in class boomerang.callgraph.ObservableStaticICFG

isReturnOperator(Val, Stmt) - Static method in class boomerang.Util

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

isStartPoint(Unit) - 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(Unit) - Method in class boomerang.callgraph.ObservableStaticICFG

isStatic() - Method in class boomerang.jimple.StaticFieldVal

isStatic() - Method in class boomerang.jimple.Val

isStringAllocationType(Type) - Method in class boomerang.DefaultBoomerangOptions

isSystemArrayCopy(SootMethod) - Method in class boomerang.customize.EmptyCalleeFlow

isThisLocal(Val, SootMethod) - Static method in class boomerang.Util

isThrowableAllocationType(Type) - Method in class boomerang.DefaultBoomerangOptions

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

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

isUnbalanced() - Method in class boomerang.jimple.Val

isUnbalancedMethod(SootMethod) - Method in class boomerang.callgraph.BackwardsObservableICFG

isUnbalancedMethod(SootMethod) - Method in class boomerang.callgraph.ObservableDynamicICFG

isUnbalancedMethod(SootMethod) - Method in interface boomerang.callgraph.ObservableICFG

isUnbalancedMethod(SootMethod) - Method in class boomerang.callgraph.ObservableStaticICFG

K

killFlow(SootMethod, Stmt, Val) - Method in class boomerang.solver.AbstractBoomerangSolver

killFlow(SootMethod, Stmt, Val) - Method in class boomerang.solver.BackwardBoomerangSolver

killFlow(SootMethod, Stmt, Val) - Method in class boomerang.solver.ForwardBoomerangSolver

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

logger - Static variable in class boomerang.solver.AbstractBoomerangSolver

M

m - Variable in class boomerang.jimple.Val

m() - Method in class boomerang.jimple.Val

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

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

Method - Class in boomerang.seedfactory

Created by johannesspath on 07.12.17.

Method(SootMethod) - Constructor for class boomerang.seedfactory.Method

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

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

MethodReachableQueue - Interface in boomerang

methodToInt(SootMethod) - Method in class boomerang.jimple.Statement

N

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

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

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

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

normalFlow(SootMethod, Stmt, Val) - Method in class boomerang.solver.ForwardBoomerangSolver

NullPointer - Class in boomerang.results

NullPointer(Statement) - Constructor for class boomerang.results.NullPointer

NullPointer(Statement, Val, Statement, Val, PAutomaton<Statement, INode<Val>>, PAutomaton<Statement, INode<Val>>) - Constructor for class boomerang.results.NullPointer

O

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

ObservableDynamicICFG - Class in boomerang.callgraph

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

ObservableDynamicICFG(boolean) - Constructor for class boomerang.callgraph.ObservableDynamicICFG

ObservableDynamicICFG(WeightedBoomerang<? extends Weight>) - Constructor for class boomerang.callgraph.ObservableDynamicICFG

ObservableDynamicICFG(WeightedBoomerang<? extends Weight>, boolean) - 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(BoomerangICFG) - Constructor for class boomerang.callgraph.ObservableStaticICFG

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

onAddedTransition(Transition<Statement, INode<Val>>, W) - Method in class boomerang.solver.StatementBasedCallTransitionListener

onAddedTransition(Transition<Field, INode<Node<Statement, Val>>>) - Method in class boomerang.solver.StatementBasedFieldTransitionListener

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

onCalleeAdded(Unit, SootMethod) - Method in class boomerang.DefaultBoomerangOptions.AllocationValCalleeListener

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

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

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

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

onTheFlyCallGraph() - Method in interface boomerang.BoomerangOptions

onTheFlyCallGraph() - Method in class boomerang.DefaultBoomerangOptions

onTheFlyCallGraph() - Method in class boomerang.FromFileBoomerangOptions

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

onWeightAdded(Transition<Statement, INode<Val>>, W, WeightedPAutomaton<Statement, INode<Val>, W>) - Method in class boomerang.solver.StatementBasedCallTransitionListener

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

options - Variable in class boomerang.solver.AbstractBoomerangSolver

options - Variable in class boomerang.WeightedBoomerang

P

parseAllFromString(String, SootMethod) - Static method in class boomerang.util.AccessPathParser

PathTrackingBoomerang - Class in boomerang.weights

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

PathTrackingBoomerang(BoomerangOptions) - Constructor for class boomerang.weights.PathTrackingBoomerang

PathTrackingWeightFunctions - Class in boomerang.weights

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

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

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

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

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

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

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

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

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

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

processNode(Node<Statement, Val>) - Method in class boomerang.solver.AbstractBoomerangSolver

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

Q

Query - Class in boomerang

Query(Statement, Val) - Constructor for class boomerang.Query

query - Variable in class boomerang.solver.AbstractBoomerangSolver

queryToSolvers - Variable in class boomerang.results.AbstractBoomerangResults

R

Reachable - Class in boomerang.seedfactory

Created by johannesspath on 07.12.17.

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

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

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

registerFieldReadPOI(WeightedBoomerang<W>.FieldReadPOI) - Method in class boomerang.stats.AdvancedBoomerangStats

registerFieldReadPOI(WeightedBoomerang<W>.FieldReadPOI) - Method in class boomerang.stats.CSVBoomerangStatsWriter

registerFieldReadPOI(WeightedBoomerang<W>.FieldReadPOI) - Method in interface boomerang.stats.IBoomerangStats

registerFieldReadPOI(WeightedBoomerang<W>.FieldReadPOI) - Method in class boomerang.stats.SimpleBoomerangStats

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

registerReachableMethodListener(ReachableMethodListener<W>) - Method in class boomerang.solver.AbstractBoomerangSolver

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(StatementBasedCallTransitionListener<W>) - Method in class boomerang.solver.AbstractBoomerangSolver

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

reset() - Method in class boomerang.preanalysis.BoomerangPretransformer

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

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

S

SeedFactory<W extends Weight> - Class in boomerang.seedfactory

Created by johannesspath on 07.12.17.

SeedFactory() - Constructor for class boomerang.seedfactory.SeedFactory

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

Created by johannesspath on 06.12.17.

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

SimpleSeedFactory - Class in boomerang.seedfactory

SimpleSeedFactory(ObservableICFG<Unit, SootMethod>) - Constructor for class boomerang.seedfactory.SimpleSeedFactory

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 Weight> - Interface in boomerang

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

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

Statement - Class in boomerang.jimple

Statement(Stmt, SootMethod) - Constructor for class boomerang.jimple.Statement

StatementBasedCallTransitionListener<W extends Weight> - Class in boomerang.solver

StatementBasedCallTransitionListener(Statement) - Constructor for class boomerang.solver.StatementBasedCallTransitionListener

StatementBasedFieldTransitionListener<W extends Weight> - Class in boomerang.solver

StatementBasedFieldTransitionListener(Statement) - Constructor for class boomerang.solver.StatementBasedFieldTransitionListener

StaticFieldVal - Class in boomerang.jimple

StaticFieldVal(Value, SootField, SootMethod) - Constructor for class boomerang.jimple.StaticFieldVal

staticFlows() - Method in interface boomerang.BoomerangOptions

staticFlows() - Method in class boomerang.DefaultBoomerangOptions

staticFlows() - Method in class boomerang.FromFileBoomerangOptions

statsFactory() - Method in interface boomerang.BoomerangOptions

statsFactory() - Method in class boomerang.DefaultBoomerangOptions

stmt() - Method in class boomerang.Query

stmtToInt(Stmt) - Method in class boomerang.jimple.Statement

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

submit(SootMethod, Runnable) - Method in class boomerang.solver.AbstractBoomerangSolver

succ - Variable in class boomerang.poi.ExecuteImportFieldStmtPOI

systemArrayCopyFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.customize.BackwardEmptyCalleeFlow

systemArrayCopyFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.customize.EmptyCalleeFlow

systemArrayCopyFlow(SootMethod, Stmt, Val, Stmt) - Method in class boomerang.customize.ForwardEmptyCalleeFlow

systemArrayCopyMethod - Variable in class boomerang.customize.EmptyCalleeFlow

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

throwFlows() - Method in class boomerang.FromFileBoomerangOptions

toString() - Method in class boomerang.BackwardQuery

toString() - Method in exception boomerang.BoomerangTimeoutException

toString() - Method in class boomerang.ForwardQuery

toString() - Method in class boomerang.jimple.AllocVal

toString() - Method in class boomerang.jimple.Field

toString() - Method in class boomerang.jimple.Statement

toString() - Method in class boomerang.jimple.StaticFieldVal

toString() - Method in class boomerang.jimple.Val

toString() - Method in class boomerang.jimple.ValWithFalseVariable

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

toString() - Method in class boomerang.Query

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

toString() - Method in class boomerang.seedfactory.Method

toString() - Method in class boomerang.seedfactory.Reachable

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

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

trackAnySubclassOfThrowable() - Method in class boomerang.DefaultBoomerangOptions

trackFields() - Method in interface boomerang.BoomerangOptions

trackFields() - Method in class boomerang.DefaultBoomerangOptions

trackNullAssignments() - 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.IntAndStringBoomerangOptions

TRANSFORM_CONSTANTS - Static variable in class boomerang.preanalysis.BoomerangPretransformer

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

trigger(Statement, AbstractBoomerangSolver<W>) - Method in class boomerang.UnbalancedPopHandler

typeCheck() - Method in interface boomerang.BoomerangOptions

typeCheck() - Method in class boomerang.DefaultBoomerangOptions

typeCheck() - Method in class boomerang.FromFileBoomerangOptions

U

UnbalancedPopHandler<W extends Weight> - Class in boomerang

UnbalancedPopHandler(INode<Val>, Transition<Statement, INode<Val>>, W) - Constructor for class boomerang.UnbalancedPopHandler

unbalancedStmt - Variable in class boomerang.jimple.Val

Util - Class in boomerang

Util() - Constructor for class boomerang.Util

V

v() - Static method in class boomerang.preanalysis.BoomerangPretransformer

v() - Static method in class boomerang.seedfactory.Reachable

Val - Class in boomerang.jimple

Val(Value, SootMethod) - Constructor for class boomerang.jimple.Val

Val(Value, SootMethod, Statement) - Constructor for class boomerang.jimple.Val

value() - Method in class boomerang.jimple.Val

valueUsedInStatement(Stmt, Val) - Method in class boomerang.solver.AbstractBoomerangSolver

ValWithFalseVariable - Class in boomerang.jimple

ValWithFalseVariable(Value, SootMethod, Value) - Constructor for class boomerang.jimple.ValWithFalseVariable

var() - Method in class boomerang.Query

W

weight() - Method in class boomerang.WeightedForwardQuery

WeightedBoomerang<W extends Weight> - Class in boomerang

WeightedBoomerang(BoomerangOptions) - Constructor for class boomerang.WeightedBoomerang

WeightedBoomerang() - Constructor for class boomerang.WeightedBoomerang

WeightedBoomerang.FieldReadPOI - Class in boomerang

WeightedBoomerang.FieldWritePOI - Class in boomerang

WeightedForwardQuery<W extends Weight> - Class in boomerang

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

wholeProgramAnalysis() - Method in class boomerang.WholeProgramBoomerang

WholeProgramBoomerang<W extends Weight> - Class in boomerang

WholeProgramBoomerang(BoomerangOptions) - Constructor for class boomerang.WholeProgramBoomerang

WholeProgramBoomerang() - Constructor for class boomerang.WholeProgramBoomerang

wildcard() - Static method in class boomerang.jimple.Field

Z

zero() - Static method in class boomerang.jimple.Val

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

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