boomerang

Interface BoomerangOptions

All Known Implementing Classes:

DefaultBoomerangOptions, FromFileBoomerangOptions, IntAndStringBoomerangOptions

public interface BoomerangOptions

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)
boolean	isIgnoredMethod(soot.SootMethod method)
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	trackFields()
boolean	trackReturnOfInstanceOf()
boolean	trackStaticFieldAtEntryPointToClinit()
boolean	typeCheck()

Method Detail

staticFlows

boolean staticFlows()

arrayFlows

boolean arrayFlows()

typeCheck

boolean typeCheck()

onTheFlyCallGraph

boolean onTheFlyCallGraph()

throwFlows

boolean throwFlows()

callSummaries

boolean callSummaries()

fieldSummaries

boolean fieldSummaries()

analysisTimeoutMS

int analysisTimeoutMS()

isAllocationVal

boolean isAllocationVal(soot.Value val)

getAllocationVal

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

isIgnoredMethod

boolean isIgnoredMethod(soot.SootMethod method)

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