Package crypto.extractparameter

Class ExtractParameterOptions

  • All Implemented Interfaces:
    boomerang.BoomerangOptions
    public class ExtractParameterOptions
extends boomerang.scene.jimple.IntAndStringBoomerangOptions
    Created by johannesspath on 23.12.17.

    • Nested Class Summary

      • Nested classes/interfaces inherited from interface boomerang.BoomerangOptions

        boomerang.BoomerangOptions.ArrayStrategy, boomerang.BoomerangOptions.StaticFieldStrategy

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int analysisTimeoutMS()  
      Optional<boomerang.scene.AllocVal> getAllocationVal​(boomerang.scene.Method m, boomerang.scene.Statement stmt, boomerang.scene.Val fact)  
      boolean isAllocationVal​(boomerang.scene.Val val)  
      boolean trackStaticFieldAtEntryPointToClinit()  

      • Methods inherited from class boomerang.scene.jimple.IntAndStringBoomerangOptions

        isArrayAllocationVal, trackStrings

      • Methods inherited from class boomerang.DefaultBoomerangOptions

        aliasing, allowMultipleQueries, callSummaries, checkValid, fieldSummaries, getArrayStrategy, getBackwardFlowFunction, getForwardFlowFunctions, getStaticFieldStrategy, handleMaps, ignoreInnerClassFields, killNullAtCast, maxCallDepth, maxFieldDepth, maxUnbalancedCallDepth, onTheFlyCallGraph, onTheFlyControlFlow, prunePathConditions, statsFactory, throwFlows, toString, trackAnySubclassOfThrowable, trackDataFlowPath, trackFields, trackImplicitFlows, trackNullAssignments, trackPathConditions, trackReturnOfInstanceOf, typeCheck

      • Methods inherited from interface boomerang.BoomerangOptions

        getResolutionStrategy

    • Constructor Detail

      • ExtractParameterOptions

        public ExtractParameterOptions​(int timeout)

    • Method Detail

      • getAllocationVal

        public Optional<boomerang.scene.AllocVal> getAllocationVal​(boomerang.scene.Method m,
                                                           boomerang.scene.Statement stmt,
                                                           boomerang.scene.Val fact)
        Specified by:
        getAllocationVal in interface boomerang.BoomerangOptions
        Overrides:
        getAllocationVal in class boomerang.scene.jimple.IntAndStringBoomerangOptions

      • isAllocationVal

        public boolean isAllocationVal​(boomerang.scene.Val val)
        Overrides:
        isAllocationVal in class boomerang.scene.jimple.IntAndStringBoomerangOptions

      • 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