boomerang

Class DefaultBoomerangOptions

java.lang.Object

boomerang.DefaultBoomerangOptions

All Implemented Interfaces:

BoomerangOptions

Direct Known Subclasses:

IntAndStringBoomerangOptions

public class DefaultBoomerangOptions
extends Object
implements BoomerangOptions

Nested Class Summary

Nested classes/interfaces inherited from interface boomerang.BoomerangOptions

BoomerangOptions.ArrayStrategy, BoomerangOptions.StaticFieldStrategy

Constructor Summary

Constructors

Constructor and Description
DefaultBoomerangOptions()

Method Summary

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()
BoomerangOptions.StaticFieldStrategy	getStaticFieldStrategy()
boolean	handleMaps()
boolean	ignoreInnerClassFields()
boolean	isAllocationVal(Val val)
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()
String	toString()
boolean	trackAnySubclassOfThrowable()
boolean	trackDataFlowPath()
boolean	trackFields()
boolean	trackImplicitFlows()
boolean	trackNullAssignments()
boolean	trackPathConditions()
boolean	trackReturnOfInstanceOf()
boolean	trackStaticFieldAtEntryPointToClinit()
boolean	trackStrings()
boolean	typeCheck()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface boomerang.BoomerangOptions

getResolutionStrategy

Constructor Detail

DefaultBoomerangOptions

public DefaultBoomerangOptions()

Method Detail

isAllocationVal

public boolean isAllocationVal(Val val)

getStaticFieldStrategy

public BoomerangOptions.StaticFieldStrategy getStaticFieldStrategy()

Specified by:

getStaticFieldStrategy in interface BoomerangOptions

getArrayStrategy

public BoomerangOptions.ArrayStrategy getArrayStrategy()

Specified by:

getArrayStrategy in interface BoomerangOptions

typeCheck

public boolean typeCheck()

Specified by:

typeCheck in interface BoomerangOptions

trackReturnOfInstanceOf

public boolean trackReturnOfInstanceOf()

Specified by:

trackReturnOfInstanceOf in interface BoomerangOptions

onTheFlyCallGraph

public boolean onTheFlyCallGraph()

Specified by:

onTheFlyCallGraph in interface BoomerangOptions

throwFlows

public boolean throwFlows()

Specified by:

throwFlows in interface BoomerangOptions

callSummaries

public boolean callSummaries()

Specified by:

callSummaries in interface BoomerangOptions

fieldSummaries

public boolean fieldSummaries()

Specified by:

fieldSummaries in interface BoomerangOptions

trackAnySubclassOfThrowable

public boolean trackAnySubclassOfThrowable()

trackStrings

public boolean trackStrings()

trackNullAssignments

public boolean trackNullAssignments()

getAllocationVal

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

Specified by:

getAllocationVal in interface BoomerangOptions

analysisTimeoutMS

public int analysisTimeoutMS()

Specified by:

analysisTimeoutMS in interface BoomerangOptions

statsFactory

public IBoomerangStats statsFactory()

Specified by:

statsFactory in interface BoomerangOptions

aliasing

public boolean aliasing()

Specified by:

aliasing in interface BoomerangOptions

killNullAtCast

public boolean killNullAtCast()

Description copied from interface: BoomerangOptions

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

Specified by:

killNullAtCast in interface BoomerangOptions

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.

trackStaticFieldAtEntryPointToClinit

public boolean trackStaticFieldAtEntryPointToClinit()

Specified by:

trackStaticFieldAtEntryPointToClinit in interface BoomerangOptions

trackFields

public boolean trackFields()

Specified by:

trackFields in interface BoomerangOptions

maxCallDepth

public int maxCallDepth()

Specified by:

maxCallDepth in interface BoomerangOptions

maxUnbalancedCallDepth

public int maxUnbalancedCallDepth()

Specified by:

maxUnbalancedCallDepth in interface BoomerangOptions

maxFieldDepth

public int maxFieldDepth()

Specified by:

maxFieldDepth in interface BoomerangOptions

onTheFlyControlFlow

public boolean onTheFlyControlFlow()

Specified by:

onTheFlyControlFlow in interface BoomerangOptions

toString

public String toString()

Overrides:

toString in class Object

ignoreInnerClassFields

public boolean ignoreInnerClassFields()

Specified by:

ignoreInnerClassFields in interface BoomerangOptions

trackPathConditions

public boolean trackPathConditions()

Specified by:

trackPathConditions in interface BoomerangOptions

prunePathConditions

public boolean prunePathConditions()

Specified by:

prunePathConditions in interface BoomerangOptions

trackDataFlowPath

public boolean trackDataFlowPath()

Specified by:

trackDataFlowPath in interface BoomerangOptions

trackImplicitFlows

public boolean trackImplicitFlows()

Specified by:

trackImplicitFlows in interface BoomerangOptions

allowMultipleQueries

public boolean allowMultipleQueries()

Specified by:

allowMultipleQueries in interface BoomerangOptions

checkValid

public void checkValid()

Specified by:

checkValid in interface BoomerangOptions

handleMaps

public boolean handleMaps()

Specified by:

handleMaps in interface BoomerangOptions

getForwardFlowFunctions

public IForwardFlowFunction getForwardFlowFunctions()

Specified by:

getForwardFlowFunctions in interface BoomerangOptions

getBackwardFlowFunction

public IBackwardFlowFunction getBackwardFlowFunction()

Specified by:

getBackwardFlowFunction in interface BoomerangOptions