Package crypto.boomerang

Class CogniCryptBoomerangOptions

java.lang.Object

boomerang.DefaultBoomerangOptions

crypto.boomerang.CogniCryptBoomerangOptions

All Implemented Interfaces:

boomerang.BoomerangOptions

public class CogniCryptBoomerangOptions
extends boomerang.DefaultBoomerangOptions

Nested Class Summary

Nested classes/interfaces inherited from class boomerang.DefaultBoomerangOptions

boomerang.DefaultBoomerangOptions.AllocationValCalleeListener

Constructor Summary

Constructors

Constructor	Description
CogniCryptBoomerangOptions()

Method Summary

Modifier and Type	Method	Description
int	analysisTimeoutMS()
boolean	arrayFlows()
com.google.common.base.Optional<boomerang.jimple.AllocVal>	getAllocationVal(soot.SootMethod m, soot.jimple.Stmt stmt, boomerang.jimple.Val fact, boomerang.callgraph.ObservableICFG<soot.Unit,soot.SootMethod> icfg)
boolean	isAllocationVal(soot.Value val)
boolean	onTheFlyCallGraph()
boolean	trackStaticFieldAtEntryPointToClinit()

Methods inherited from class boomerang.DefaultBoomerangOptions

aliasing, callSummaries, fieldSummaries, isArrayAllocationVal, isIgnoredMethod, isStringAllocationType, isThrowableAllocationType, killNullAtCast, staticFlows, statsFactory, throwFlows, trackAnySubclassOfThrowable, trackFields, trackNullAssignments, trackReturnOfInstanceOf, trackStrings, typeCheck

Methods inherited from class java.lang.Object

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

Constructor Detail

CogniCryptBoomerangOptions

public CogniCryptBoomerangOptions()

Method Detail

getAllocationVal

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

Specified by:

getAllocationVal in interface boomerang.BoomerangOptions

Overrides:

getAllocationVal in class boomerang.DefaultBoomerangOptions

isAllocationVal

public boolean isAllocationVal(soot.Value val)

Specified by:

isAllocationVal in interface boomerang.BoomerangOptions

Overrides:

isAllocationVal in class boomerang.DefaultBoomerangOptions

onTheFlyCallGraph

public boolean onTheFlyCallGraph()

Specified by:

onTheFlyCallGraph in interface boomerang.BoomerangOptions

Overrides:

onTheFlyCallGraph in class boomerang.DefaultBoomerangOptions

arrayFlows

public boolean arrayFlows()

Specified by:

arrayFlows in interface boomerang.BoomerangOptions

Overrides:

arrayFlows in class boomerang.DefaultBoomerangOptions

analysisTimeoutMS

public int analysisTimeoutMS()

Specified by:

analysisTimeoutMS in interface boomerang.BoomerangOptions

Overrides:

analysisTimeoutMS in class boomerang.DefaultBoomerangOptions

trackStaticFieldAtEntryPointToClinit

public boolean trackStaticFieldAtEntryPointToClinit()

Specified by:

trackStaticFieldAtEntryPointToClinit in interface boomerang.BoomerangOptions

Overrides:

trackStaticFieldAtEntryPointToClinit in class boomerang.DefaultBoomerangOptions