All Classes

Class	Description
AbstractBoomerangResults<W extends wpds.impl.Weight>
AbstractBoomerangResults.Context
AbstractBoomerangSolver<W extends wpds.impl.Weight>
AbstractPOI<Statement,Val,Field>
AccessPath
AccessPathParser
AdvancedBoomerangStats<W extends wpds.impl.Weight>
AffectedLocation
AllocationTypeListener
AnalysisScope
ArrayHandlingStrategy<W extends wpds.impl.Weight>
ArrayIndexInsensitiveStrategy<W extends wpds.impl.Weight>
ArrayIndexSensitiveStrategy<W extends wpds.impl.Weight>
BackwardBoomerangResults<W extends wpds.impl.Weight>
BackwardBoomerangSolver<W extends wpds.impl.Weight>
BackwardQuery
BackwardsObservableICFG
Boomerang
BoomerangExampleTarget1
BoomerangExampleTarget1.ClassWithField
BoomerangExampleTarget1.NestedClassWithField
BoomerangExampleTarget1.ObjectOfInterest
BoomerangExampleTarget2
BoomerangExampleTarget2.ClassWithField
BoomerangExampleTarget2.NestedClassWithField
BoomerangExampleTarget2.ObjectOfInterest
BoomerangOptions
BoomerangOptions.ArrayStrategy
BoomerangOptions.StaticFieldStrategy
BoomerangResolver
BoomerangResolver.NoCalleeFoundFallbackOptions
BoomerangTimeoutException
CalleeListener<N,M>
CallerListener<N,M>
CallGraphDebugger<W extends wpds.impl.Weight>	Can be used to obtain a dot file which can be plotted into a graphical representation of the call graph.
CallGraphOptions
ConsoleDebugger<W extends wpds.impl.Weight>
Context	A context is stored within the context graph.
ControlFlowEdgeBasedCallTransitionListener<W extends wpds.impl.Weight>
ControlFlowEdgeBasedFieldTransitionListener<W extends wpds.impl.Weight>
CopyAccessPathChain<W extends wpds.impl.Weight>
CSVBoomerangStatsWriter<W extends wpds.impl.Weight>
DataFlowPathWeight
Debugger<W extends wpds.impl.Weight>
DefaultBackwardFlowFunction
DefaultBoomerangOptions
DefaultForwardFlowFunction
DefaultValueMap<K,V>
DemandDrivenGuidedAnalysis
DynamicCFG
ExampleMain1
ExampleMain2
ExecuteImportFieldStmtPOI<W extends wpds.impl.Weight>
ExtractAllAliasListener<W extends wpds.impl.Weight>
ExtractAllocationSiteStateListener<W extends wpds.impl.Weight>
FlowFunctionUtils
FlowSensitiveStaticFieldStrategy<W extends wpds.impl.Weight>
ForwardBoomerangResults<W extends wpds.impl.Weight>
ForwardBoomerangSolver<W extends wpds.impl.Weight>
ForwardQuery
ForwardQueryArray
ForwardQueryMultiDimensionalArray
ForwardSolverSuccessorListener	To replace the anonymous impl in ForwardSolver, so that we can access the Edge fiel of the outer method
IBackwardFlowFunction
IBoomerangStats<W extends wpds.impl.Weight>	Created by johannesspath on 06.12.17.
ICallerCalleeResolutionStrategy
ICallerCalleeResolutionStrategy.Factory
IContextRequester
IDemandDrivenGuidedManager
IDEVizDebugger<W extends wpds.impl.Weight>
IForwardFlowFunction
IgnoreArrayStrategy<W extends wpds.impl.Weight>
IgnoreStaticFieldStrategy<W extends wpds.impl.Weight>
IntAndStringBoomerangOptions
MethodBasedFieldTransitionListener<W extends wpds.impl.Weight>
MethodReachableQueue<Method>
MinDistanceWeight
MinDistanceWeightFunctions
NullPointerDereference
ObservableControlFlowGraph
ObservableDynamicICFG	An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener.
ObservableICFG<N,M>	An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener.
ObservableStaticICFG	An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener.
PathConditionWeight
PathConditionWeight.ConditionDomain
PathElement
PathTrackingBoomerang
PathTrackingWeight
PathTrackingWeightFunctions
PointOfIndirection<Statement,Val,Field>
PredecessorListener
Query
QueryGraph<W extends wpds.impl.Weight>
QueryResults
ReachableMethodListener<W extends wpds.impl.Weight>
RegExAccessPath
SimpleBoomerangStats<W extends wpds.impl.Weight>	Created by johannesspath on 06.12.17.
SimpleSpecificationGuidedManager
SingletonStaticFieldStrategy<W extends wpds.impl.Weight>
SolverCreationListener<W extends wpds.impl.Weight>
Specification
Specification.Parameter
Specification.QueryDirection
Specification.SootMethodWithSelector
StaticCFG
StaticFieldStrategy<W extends wpds.impl.Weight>
Strategies<W extends wpds.impl.Weight>
SuccessorListener
Util
WeightedBoomerang<W extends wpds.impl.Weight>
WeightedForwardQuery<W extends wpds.impl.Weight>
WholeProgramBoomerang<W extends wpds.impl.Weight>