BoomerangOptions (boomerangPDS 3.1.2 API)

All Known Implementing Classes:

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

Nested Class Summary

Nested Classes
Modifier and Type Interface and Description

static class BoomerangOptions.ArrayStrategy

static class BoomerangOptions.StaticFieldStrategy

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

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method and 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()`
`BoomerangOptions.StaticFieldStrategy`	`getStaticFieldStrategy()`
`boolean`	`handleMaps()`
`boolean`	`ignoreInnerClassFields()`
`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()
```

getBackwardFlowFunction

IBackwardFlowFunction getBackwardFlowFunction()

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

getBackwardFlowFunction