All Known Implementing Classes:

DefaultBoomerangOptions, IntAndStringBoomerangOptions
```
public interface BoomerangOptions
```

Nested Class Summary

Nested Classes
Modifier and Type Interface Description

static class BoomerangOptions.ArrayStrategy

static class BoomerangOptions.StaticFieldStrategy

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`boolean`	`aliasing()`
`boolean`	`allowMultipleQueries()`
`int`	`analysisTimeoutMS()`
`boolean`	`callSummaries()`
`void`	`checkValid()`
`boolean`	`fieldSummaries()`
`Optional<AllocVal>`	`getAllocationVal(Method m, Statement stmt, Val fact)`
`BoomerangOptions.ArrayStrategy`	`getArrayStrategy()`
`IBackwardFlowFunction`	`getBackwardFlowFunction()`
`IForwardFlowFunction`	`getForwardFlowFunctions()`
`default ICallerCalleeResolutionStrategy.Factory`	`getResolutionStrategy()`
`SparseCFGCache.SparsificationStrategy`	`getSparsificationStrategy()`
`BoomerangOptions.StaticFieldStrategy`	`getStaticFieldStrategy()`
`boolean`	`handleMaps()`
`boolean`	`handleSpecialInvokeAsNormalPropagation()`
`boolean`	`ignoreInnerClassFields()`
`boolean`	`ignoreSparsificationAfterQuery()`
`boolean`	`killNullAtCast()`	Assume we propagate an object of soot.NullType in variable y and the propagation reaches a statement x = (Object) y.
`int`	`maxCallDepth()`
`int`	`maxFieldDepth()`
`int`	`maxUnbalancedCallDepth()`
`boolean`	`onTheFlyCallGraph()`
`boolean`	`onTheFlyControlFlow()`
`boolean`	`prunePathConditions()`
`IBoomerangStats`	`statsFactory()`
`boolean`	`throwFlows()`
`boolean`	`trackDataFlowPath()`
`boolean`	`trackFields()`
`boolean`	`trackImplicitFlows()`
`boolean`	`trackPathConditions()`
`boolean`	`trackReturnOfInstanceOf()`
`boolean`	`trackStaticFieldAtEntryPointToClinit()`
`boolean`	`typeCheck()`

Method Detail

getResolutionStrategy

default ICallerCalleeResolutionStrategy.Factory getResolutionStrategy()

checkValid
```
void checkValid()
```

trackImplicitFlows
```
boolean trackImplicitFlows()
```

handleMaps
```
boolean handleMaps()
```

getForwardFlowFunctions

IForwardFlowFunction getForwardFlowFunctions()

getStaticFieldStrategy

BoomerangOptions.StaticFieldStrategy getStaticFieldStrategy()

getArrayStrategy

BoomerangOptions.ArrayStrategy getArrayStrategy()

typeCheck
```
boolean typeCheck()
```

onTheFlyCallGraph
```
boolean onTheFlyCallGraph()
```

throwFlows
```
boolean throwFlows()
```

callSummaries
```
boolean callSummaries()
```

fieldSummaries
```
boolean fieldSummaries()
```

analysisTimeoutMS
```
int analysisTimeoutMS()
```

getAllocationVal

Optional<AllocVal> getAllocationVal(Method m,
                                    Statement stmt,
                                    Val fact)

statsFactory
```
IBoomerangStats statsFactory()
```

aliasing
```
boolean aliasing()
```

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

Returns:

If set to true, the propagation will NOT continue in x. This does not match the runtime semantics. At runtime, null can be cast to any RefType! Though a check (null instanceof Object) returns false.

trackReturnOfInstanceOf
```
boolean trackReturnOfInstanceOf()
```

trackStaticFieldAtEntryPointToClinit

boolean trackStaticFieldAtEntryPointToClinit()

trackFields
```
boolean trackFields()
```

maxFieldDepth
```
int maxFieldDepth()
```

maxCallDepth
```
int maxCallDepth()
```

maxUnbalancedCallDepth
```
int maxUnbalancedCallDepth()
```

onTheFlyControlFlow
```
boolean onTheFlyControlFlow()
```

ignoreInnerClassFields
```
boolean ignoreInnerClassFields()
```

trackPathConditions
```
boolean trackPathConditions()
```

prunePathConditions
```
boolean prunePathConditions()
```

trackDataFlowPath
```
boolean trackDataFlowPath()
```

allowMultipleQueries
```
boolean allowMultipleQueries()
```

getSparsificationStrategy

SparseCFGCache.SparsificationStrategy getSparsificationStrategy()

handleSpecialInvokeAsNormalPropagation

boolean handleSpecialInvokeAsNormalPropagation()

ignoreSparsificationAfterQuery

boolean ignoreSparsificationAfterQuery()

getBackwardFlowFunction

IBackwardFlowFunction getBackwardFlowFunction()

Modifier and Type	Interface	Description
`static class`	`BoomerangOptions.ArrayStrategy`
`static class`	`BoomerangOptions.StaticFieldStrategy`

Interface BoomerangOptions

Nested Class Summary

Method Summary

Method Detail

getResolutionStrategy

checkValid

trackImplicitFlows

handleMaps

getForwardFlowFunctions

getStaticFieldStrategy

getArrayStrategy

typeCheck

onTheFlyCallGraph

throwFlows

callSummaries

fieldSummaries

analysisTimeoutMS

getAllocationVal

statsFactory

aliasing

killNullAtCast

trackReturnOfInstanceOf

trackStaticFieldAtEntryPointToClinit

trackFields

maxFieldDepth

maxCallDepth

maxUnbalancedCallDepth

onTheFlyControlFlow

ignoreInnerClassFields

trackPathConditions

prunePathConditions

trackDataFlowPath

allowMultipleQueries

getSparsificationStrategy

handleSpecialInvokeAsNormalPropagation

ignoreSparsificationAfterQuery

getBackwardFlowFunction