boomerang

Class DefaultBoomerangOptions

java.lang.Object

boomerang.DefaultBoomerangOptions

All Implemented Interfaces:

BoomerangOptions

Direct Known Subclasses:

FromFileBoomerangOptions, IntAndStringBoomerangOptions

public class DefaultBoomerangOptions
extends Object
implements BoomerangOptions

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	DefaultBoomerangOptions.AllocationValCalleeListener

Constructor Summary

Constructors

Constructor and Description
DefaultBoomerangOptions()

Method Summary

Modifier and Type	Method and Description
boolean	aliasing()
int	analysisTimeoutMS()
boolean	arrayFlows()
boolean	callSummaries()
boolean	fieldSummaries()
com.google.common.base.Optional<AllocVal>	getAllocationVal(soot.SootMethod m, soot.jimple.Stmt stmt, Val fact, ObservableICFG<soot.Unit,soot.SootMethod> icfg)
boolean	isAllocationVal(soot.Value val)
protected boolean	isArrayAllocationVal(soot.Value val)
boolean	isIgnoredMethod(soot.SootMethod method)
protected boolean	isStringAllocationType(soot.Type type)
protected boolean	isThrowableAllocationType(soot.Type type)
boolean	killNullAtCast() Assume we propagate an object of soot.NullType in variable y and the propagation reaches a statement x = (Object) y.
boolean	onTheFlyCallGraph()
boolean	staticFlows()
IBoomerangStats	statsFactory()
boolean	throwFlows()
boolean	trackAnySubclassOfThrowable()
boolean	trackFields()
boolean	trackNullAssignments()
boolean	trackReturnOfInstanceOf()
boolean	trackStaticFieldAtEntryPointToClinit()
boolean	trackStrings()
boolean	typeCheck()

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultBoomerangOptions

public DefaultBoomerangOptions()

Method Detail

isAllocationVal

public boolean isAllocationVal(soot.Value val)

Specified by:

isAllocationVal in interface BoomerangOptions

isThrowableAllocationType

protected boolean isThrowableAllocationType(soot.Type type)

isStringAllocationType

protected boolean isStringAllocationType(soot.Type type)

isArrayAllocationVal

protected boolean isArrayAllocationVal(soot.Value val)

staticFlows

public boolean staticFlows()

Specified by:

staticFlows in interface BoomerangOptions

arrayFlows

public boolean arrayFlows()

Specified by:

arrayFlows 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()

isIgnoredMethod

public boolean isIgnoredMethod(soot.SootMethod method)

Specified by:

isIgnoredMethod in interface BoomerangOptions

getAllocationVal

public com.google.common.base.Optional<AllocVal> getAllocationVal(soot.SootMethod m,
                                                                  soot.jimple.Stmt stmt,
                                                                  Val fact,
                                                                  ObservableICFG<soot.Unit,soot.SootMethod> icfg)

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