boomerang

Class FromFileBoomerangOptions

java.lang.Object

boomerang.DefaultBoomerangOptions

boomerang.FromFileBoomerangOptions

All Implemented Interfaces:

BoomerangOptions

public class FromFileBoomerangOptions
extends DefaultBoomerangOptions

Nested Class Summary

Nested classes/interfaces inherited from class boomerang.DefaultBoomerangOptions

DefaultBoomerangOptions.AllocationValCalleeListener

Constructor Summary

Constructors

Constructor and Description
FromFileBoomerangOptions(File optFile)

Method Summary

Modifier and Type	Method and Description
int	analysisTimeoutMS()
boolean	arrayFlows()
boolean	callSummaries()
boolean	fieldSummaries()
boolean	onTheFlyCallGraph()
boolean	staticFlows()
boolean	throwFlows()
boolean	typeCheck()

Methods inherited from class boomerang.DefaultBoomerangOptions

aliasing, getAllocationVal, isAllocationVal, isArrayAllocationVal, isIgnoredMethod, isStringAllocationType, isThrowableAllocationType, killNullAtCast, statsFactory, trackAnySubclassOfThrowable, trackFields, trackNullAssignments, trackReturnOfInstanceOf, trackStaticFieldAtEntryPointToClinit, trackStrings

Methods inherited from class java.lang.Object

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

Constructor Detail

FromFileBoomerangOptions

public FromFileBoomerangOptions(File optFile)

Method Detail

staticFlows

public boolean staticFlows()

Specified by:

staticFlows in interface BoomerangOptions

Overrides:

staticFlows in class DefaultBoomerangOptions

arrayFlows

public boolean arrayFlows()

Specified by:

arrayFlows in interface BoomerangOptions

Overrides:

arrayFlows in class DefaultBoomerangOptions

typeCheck

public boolean typeCheck()

Specified by:

typeCheck in interface BoomerangOptions

Overrides:

typeCheck in class DefaultBoomerangOptions

onTheFlyCallGraph

public boolean onTheFlyCallGraph()

Specified by:

onTheFlyCallGraph in interface BoomerangOptions

Overrides:

onTheFlyCallGraph in class DefaultBoomerangOptions

throwFlows

public boolean throwFlows()

Specified by:

throwFlows in interface BoomerangOptions

Overrides:

throwFlows in class DefaultBoomerangOptions

callSummaries

public boolean callSummaries()

Specified by:

callSummaries in interface BoomerangOptions

Overrides:

callSummaries in class DefaultBoomerangOptions

fieldSummaries

public boolean fieldSummaries()

Specified by:

fieldSummaries in interface BoomerangOptions

Overrides:

fieldSummaries in class DefaultBoomerangOptions

analysisTimeoutMS

public int analysisTimeoutMS()

Specified by:

analysisTimeoutMS in interface BoomerangOptions

Overrides:

analysisTimeoutMS in class DefaultBoomerangOptions