Hierarchy For All Packages

Package Hierarchies:

• crypto,
• crypto.analysis,
• crypto.analysis.errors,
• crypto.boomerang,
• crypto.constraints,
• crypto.cryslhandler,
• crypto.exceptions,
• crypto.extractparameter,
• crypto.interfaces,
• crypto.preanalysis,
• crypto.predicates,
• crypto.providerdetection,
• crypto.reporting,
• crypto.rules,
• crypto.typestate

Class Hierarchy

• java.lang.Object
  • crypto.analysis.errors.AbstractError (implements crypto.analysis.errors.IError)
    • crypto.analysis.errors.ErrorWithObjectAllocation
      • crypto.analysis.errors.ConstraintError
        • crypto.analysis.errors.HardCodedError
        • crypto.analysis.errors.InstanceOfError
        • crypto.analysis.errors.NeverTypeOfError
      • crypto.analysis.errors.IncompleteOperationError
      • crypto.analysis.errors.TypestateError
    • crypto.analysis.errors.ForbiddenMethodError
    • crypto.analysis.errors.ForbiddenPredicateError
    • crypto.analysis.errors.ImpreciseValueExtractionError
    • crypto.analysis.errors.PredicateContradictionError
    • crypto.analysis.errors.RequiredPredicateError
    • crypto.analysis.errors.UncaughtExceptionError
  • crypto.analysis.AlternativeReqPredicate (implements crypto.interfaces.ISLConstraint)
  • crypto.extractparameter.CallSiteWithExtractedValue
  • crypto.extractparameter.CallSiteWithParamIndex
  • crypto.analysis.ClassSpecification
  • crypto.reporting.CollectErrorListener (implements crypto.analysis.ICrySLResultsListener)
  • crypto.constraints.ConstraintSolver
  • crypto.analysis.CryptoScanner
  • crypto.analysis.CryptoScannerSettings (implements java.util.concurrent.Callable<V>)
  • crypto.analysis.CrySLAnalysisListener (implements crypto.analysis.ICrySLPerformanceListener, crypto.analysis.ICrySLResultsListener)
    • crypto.reporting.ErrorMarkerListener
      • crypto.reporting.Reporter
        • crypto.reporting.CommandLineReporter
        • crypto.reporting.CSVReporter
        • crypto.reporting.CSVSummaryReporter
        • crypto.reporting.GitHubAnnotationReporter
        • crypto.reporting.SARIFReporter
        • crypto.reporting.TXTReporter
  • crypto.rules.CrySLConstraint (implements crypto.interfaces.ISLConstraint)
  • crypto.rules.CrySLException
  • crypto.rules.CrySLExceptionConstraint (implements crypto.interfaces.ISLConstraint)
  • crypto.rules.CrySLForbiddenMethod (implements java.io.Serializable)
  • crypto.rules.CrySLLiteral (implements crypto.interfaces.ISLConstraint)
    • crypto.rules.CrySLArithmeticConstraint
    • crypto.rules.CrySLComparisonConstraint
    • crypto.rules.CrySLPredicate
      • crypto.rules.CrySLCondPredicate
      • crypto.rules.ParameterAwarePredicate
    • crypto.rules.CrySLValueConstraint
  • crypto.rules.CrySLMethod (implements crypto.interfaces.ICrySLPredicateParameter, java.io.Serializable)
  • crypto.typestate.CrySLMethodToSootMethod
  • crypto.cryslhandler.CrySLModelReader
  • crypto.cryslhandler.CrySLModelReaderClassPath
  • crypto.rules.CrySLObject (implements crypto.interfaces.ICrySLPredicateParameter, java.io.Serializable)
  • crypto.cryslhandler.CrySLReaderUtils
  • crypto.analysis.CrySLResultsReporter
  • crypto.rules.CrySLRule (implements java.io.Serializable)
  • crypto.rules.CrySLRuleReader
  • crypto.analysis.CrySLRulesetSelector
  • crypto.rules.CrySLSplitter (implements java.io.Serializable)
  • boomerang.DefaultBoomerangOptions (implements boomerang.BoomerangOptions)
    • crypto.boomerang.CogniCryptBoomerangOptions
    • boomerang.IntAndStringBoomerangOptions
      • crypto.boomerang.CogniCryptIntAndStringBoomerangOptions
  • crypto.analysis.EnsuredCrySLPredicate
    • crypto.analysis.HiddenPredicate
  • crypto.typestate.ErrorStateNode (implements typestate.finiteautomata.State)
  • crypto.constraints.EvaluableConstraint
    • crypto.constraints.ComparisonConstraint
    • crypto.constraints.ExceptionConstraint
    • crypto.constraints.PredicateConstraint
    • crypto.constraints.ValueConstraint
  • crypto.cryslhandler.ExceptionsReader
  • crypto.typestate.ExtendedIDEALAnaylsis
  • crypto.extractparameter.ExtractedValue
  • crypto.extractparameter.ExtractParameterAnalysis
  • crypto.HeadlessCryptoScanner
  • crypto.predicates.PredicateHandler
  • crypto.providerdetection.ProviderDetection
  • boomerang.Query
    • boomerang.BackwardQuery
      • crypto.extractparameter.ExtractParameterAnalysis.AdditionalBoomerangQuery
    • boomerang.ForwardQuery
      • boomerang.WeightedForwardQuery<W>
        • crypto.analysis.IAnalysisSeed
          • crypto.analysis.AnalysisSeedWithEnsuredPredicate
          • crypto.analysis.AnalysisSeedWithSpecification
  • crypto.reporting.ReporterHelper
  • crypto.typestate.ReportingErrorStateNode (implements typestate.finiteautomata.State)
  • crypto.reporting.ReportStatistics
  • crypto.analysis.RequiredCrySLPredicate (implements crypto.interfaces.ISLConstraint)
  • crypto.reporting.SARIFConfig
  • crypto.reporting.SARIFHelper
  • crypto.preanalysis.SeedFactory
  • crypto.typestate.SootBasedStateMachineGraph
  • crypto.reporting.SourceCodeLocater
  • crypto.rules.StateMachineGraph (implements crypto.interfaces.FiniteStateMachine<State>, java.io.Serializable)
  • crypto.cryslhandler.StateMachineGraphBuilder
  • crypto.rules.StateMachineGraphReader
  • crypto.rules.StateNode (implements java.io.Serializable)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • crypto.exceptions.CryptoAnalysisException
        • crypto.exceptions.CryptoAnalysisParserException
  • soot.Transformer
    • soot.BodyTransformer
      • crypto.preanalysis.ExceptionAwareTransformer
  • typestate.finiteautomata.Transition (implements typestate.finiteautomata.ITransition)
    • typestate.finiteautomata.MatcherTransition
      • crypto.typestate.LabeledMatcherTransition
  • crypto.rules.TransitionEdge (implements java.io.Serializable, crypto.interfaces.Transition<State>)
  • typestate.finiteautomata.TypeStateMachineWeightFunctions (implements sync.pds.solver.WeightFunctions<Stmt,Fact,Field,W>)
    • crypto.typestate.FiniteStateMachineToTypestateChangeFunction
  • crypto.typestate.WrappedState (implements typestate.finiteautomata.State)

Interface Hierarchy

• crypto.analysis.ConstraintReporter
• crypto.analysis.errors.ErrorVisitor
• crypto.interfaces.FiniteStateMachine<State>
• crypto.analysis.ICrySLPerformanceListener
• crypto.analysis.ICrySLResultsListener
• crypto.analysis.errors.IError
• crypto.analysis.ResultsHandler
• java.io.Serializable
  • crypto.interfaces.ICrySLPredicateParameter
    • crypto.interfaces.ISLConstraint (also extends java.io.Serializable)
  • crypto.interfaces.ISLConstraint (also extends crypto.interfaces.ICrySLPredicateParameter)
• crypto.interfaces.Transition<State>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • crypto.analysis.CryptoScannerSettings.ControlGraph
    • crypto.analysis.CryptoScannerSettings.ReportFormat
    • crypto.analysis.CryptoScannerSettings.RulesetPathType
    • crypto.rules.CrySLArithmeticConstraint.ArithOp
    • crypto.rules.CrySLComparisonConstraint.CompOp
    • crypto.rules.CrySLConstraint.LogOps
    • crypto.analysis.CrySLRulesetSelector.Ruleset
    • crypto.analysis.HiddenPredicate.HiddenPredicateType