Class CogniCryptIntAndStringBoomerangOptions

  • All Implemented Interfaces:
    boomerang.BoomerangOptions

    public class CogniCryptIntAndStringBoomerangOptions
    extends boomerang.IntAndStringBoomerangOptions
    Created by johannesspath on 23.12.17.
    • Nested Class Summary

      • Nested classes/interfaces inherited from class boomerang.DefaultBoomerangOptions

        boomerang.DefaultBoomerangOptions.AllocationValCalleeListener
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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 onTheFlyCallGraph()  
      boolean trackStaticFieldAtEntryPointToClinit()  
      • Methods inherited from class boomerang.IntAndStringBoomerangOptions

        isAllocationVal, isArrayAllocationVal, trackStrings
      • Methods inherited from class boomerang.DefaultBoomerangOptions

        aliasing, callSummaries, fieldSummaries, isIgnoredMethod, isStringAllocationType, isThrowableAllocationType, killNullAtCast, staticFlows, statsFactory, throwFlows, trackAnySubclassOfThrowable, trackFields, trackNullAssignments, trackReturnOfInstanceOf, typeCheck
    • Constructor Detail

      • CogniCryptIntAndStringBoomerangOptions

        public CogniCryptIntAndStringBoomerangOptions()
    • 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.IntAndStringBoomerangOptions
      • 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