Package crypto.typestate

Class TypestateAnalysisOptions

  • All Implemented Interfaces:
    boomerang.BoomerangOptions
    public class TypestateAnalysisOptions
extends boomerang.DefaultBoomerangOptions

    • 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
      boolean allowMultipleQueries()  
      int analysisTimeoutMS()  
      boomerang.BoomerangOptions.StaticFieldStrategy getStaticFieldStrategy()  

      • Methods inherited from class boomerang.DefaultBoomerangOptions

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

      • Methods inherited from interface boomerang.BoomerangOptions

        getResolutionStrategy

    • Constructor Detail

      • TypestateAnalysisOptions

        public TypestateAnalysisOptions​(int timeout)

    • Method Detail

      • getStaticFieldStrategy

        public boomerang.BoomerangOptions.StaticFieldStrategy getStaticFieldStrategy()
        Specified by:
        getStaticFieldStrategy in interface boomerang.BoomerangOptions
        Overrides:
        getStaticFieldStrategy in class boomerang.DefaultBoomerangOptions

      • allowMultipleQueries

        public boolean allowMultipleQueries()
        Specified by:
        allowMultipleQueries in interface boomerang.BoomerangOptions
        Overrides:
        allowMultipleQueries in class boomerang.DefaultBoomerangOptions

      • analysisTimeoutMS

        public int analysisTimeoutMS()
        Specified by:
        analysisTimeoutMS in interface boomerang.BoomerangOptions
        Overrides:
        analysisTimeoutMS in class boomerang.DefaultBoomerangOptions