Package boomerang.scene.jimple

Class IntAndStringBoomerangOptions

java.lang.Object

boomerang.DefaultBoomerangOptions

boomerang.scene.jimple.IntAndStringBoomerangOptions

All Implemented Interfaces:

BoomerangOptions

public class IntAndStringBoomerangOptions
extends DefaultBoomerangOptions

Nested Class Summary

Nested classes/interfaces inherited from interface boomerang.BoomerangOptions

BoomerangOptions.ArrayStrategy, BoomerangOptions.StaticFieldStrategy

Constructor Summary

Constructors

Constructor	Description
IntAndStringBoomerangOptions()

Method Summary

Modifier and Type	Method	Description
Optional<AllocVal>	getAllocationVal(Method m, Statement stmt, Val fact)
boolean	isAllocationVal(Val val)
protected boolean	isArrayAllocationVal(Val val)
boolean	trackStrings()

Methods inherited from class boomerang.DefaultBoomerangOptions

aliasing, allowMultipleQueries, analysisTimeoutMS, callSummaries, checkValid, fieldSummaries, getArrayStrategy, getBackwardFlowFunction, getForwardFlowFunctions, getSparsificationStrategy, getStaticFieldStrategy, handleMaps, handleSpecialInvokeAsNormalPropagation, ignoreInnerClassFields, ignoreSparsificationAfterQuery, killNullAtCast, maxCallDepth, maxFieldDepth, maxUnbalancedCallDepth, onTheFlyCallGraph, onTheFlyControlFlow, prunePathConditions, statsFactory, throwFlows, toString, trackAnySubclassOfThrowable, trackDataFlowPath, trackFields, trackImplicitFlows, trackNullAssignments, trackPathConditions, trackReturnOfInstanceOf, trackStaticFieldAtEntryPointToClinit, 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

IntAndStringBoomerangOptions

public IntAndStringBoomerangOptions()

Method Detail

isAllocationVal

public boolean isAllocationVal(Val val)

Overrides:

isAllocationVal in class DefaultBoomerangOptions

isArrayAllocationVal

protected boolean isArrayAllocationVal(Val val)

getAllocationVal

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

Specified by:

getAllocationVal in interface BoomerangOptions

Overrides:

getAllocationVal in class DefaultBoomerangOptions

trackStrings

public boolean trackStrings()

Overrides:

trackStrings in class DefaultBoomerangOptions