Hierarchy For All Packages

Package Hierarchies:

• crypto,
• crypto.analysis,
• crypto.analysis.errors,
• crypto.constraints,
• crypto.cryslhandler,
• crypto.exceptions,
• crypto.extractparameter,
• crypto.listener,
• crypto.preanalysis,
• crypto.reporting,
• crypto.rules,
• crypto.typestate,
• crypto.utils

Class Hierarchy

• java.lang.Object
  • crypto.analysis.errors.AbstractError
    • crypto.analysis.errors.CallToError
    • crypto.analysis.errors.ConstraintError
    • crypto.analysis.errors.ForbiddenMethodError
    • crypto.analysis.errors.HardCodedError
    • crypto.analysis.errors.ImpreciseValueExtractionError
    • crypto.analysis.errors.IncompleteOperationError
    • crypto.analysis.errors.InstanceOfError
    • crypto.analysis.errors.NeverTypeOfError
    • crypto.analysis.errors.NoCallToError
    • crypto.analysis.errors.PredicateContradictionError
    • crypto.analysis.errors.RequiredPredicateError
    • crypto.analysis.errors.TypestateError
    • crypto.analysis.errors.UncaughtExceptionError
  • crypto.analysis.AlternativeReqPredicate (implements crypto.rules.ISLConstraint)
  • crypto.analysis.AnalysisPrinter (implements crypto.listener.IAnalysisListener)
  • crypto.analysis.AnalysisReporter
  • boomerang.scene.AnalysisScope
    • crypto.typestate.TypestateAnalysisScope
  • crypto.AnalysisSettings (implements java.util.concurrent.Callable<V>)
  • crypto.extractparameter.CallSiteWithExtractedValue
  • crypto.extractparameter.CallSiteWithParamIndex
  • crypto.constraints.ConstraintSolver
  • crypto.analysis.CryptoAnalysisDataFlowScope (implements boomerang.scene.DataFlowScope)
  • crypto.analysis.CryptoScanner
  • crypto.rules.CrySLConstraint (implements crypto.rules.ISLConstraint)
  • crypto.rules.CrySLException
  • crypto.rules.CrySLExceptionConstraint (implements crypto.rules.ISLConstraint)
  • crypto.rules.CrySLForbiddenMethod
  • crypto.rules.CrySLLiteral (implements crypto.rules.ISLConstraint)
    • crypto.rules.CrySLArithmeticConstraint
    • crypto.rules.CrySLComparisonConstraint
    • crypto.rules.CrySLPredicate
      • crypto.rules.CrySLCondPredicate
    • crypto.rules.CrySLValueConstraint
  • crypto.rules.CrySLMethod (implements crypto.rules.ICrySLPredicateParameter)
  • crypto.cryslhandler.CrySLModelReader
  • crypto.cryslhandler.CrySLModelReaderClassPath
  • crypto.rules.CrySLObject (implements crypto.rules.ICrySLPredicateParameter)
  • crypto.cryslhandler.CrySLReaderUtils
  • crypto.rules.CrySLRule
  • crypto.rules.CrySLSplitter
  • boomerang.DefaultBoomerangOptions (implements boomerang.BoomerangOptions)
    • boomerang.scene.jimple.IntAndStringBoomerangOptions
      • crypto.extractparameter.ExtractParameterOptions
    • crypto.typestate.TypestateAnalysisOptions
  • crypto.analysis.EnsuredCrySLPredicate
    • crypto.analysis.HiddenPredicate
  • crypto.analysis.ErrorCollector (implements crypto.listener.IErrorListener)
  • crypto.typestate.ErrorStateNode (implements typestate.finiteautomata.State)
  • crypto.utils.ErrorUtils
  • crypto.constraints.EvaluableConstraint
    • crypto.constraints.ComparisonConstraint
    • crypto.constraints.ExceptionConstraint
    • crypto.constraints.PredicateConstraint
    • crypto.constraints.ValueConstraint
  • crypto.cryslhandler.ExceptionsReader
  • crypto.extractparameter.ExtractedValue
  • crypto.extractparameter.ExtractParameterAnalysis
  • crypto.HeadlessCryptoScanner
  • crypto.analysis.IAnalysisSeed
    • crypto.analysis.AnalysisSeedWithEnsuredPredicate
    • crypto.analysis.AnalysisSeedWithSpecification
  • crypto.typestate.MatcherTransitionCollection
  • crypto.utils.MatcherUtils
  • crypto.analysis.PredicateHandler
  • boomerang.Query
    • boomerang.ForwardQuery
      • boomerang.WeightedForwardQuery<W>
        • crypto.typestate.ForwardSeedQuery
  • crypto.reporting.Reporter
    • crypto.reporting.CommandLineReporter
      • crypto.reporting.GitHubAnnotationReporter
    • crypto.reporting.CSVReporter
    • crypto.reporting.CSVSummaryReporter
    • crypto.reporting.SARIFReporter
    • crypto.reporting.TXTReporter
  • crypto.reporting.ReporterFactory
  • crypto.reporting.ReportGenerator
  • crypto.typestate.ReportingErrorStateNode (implements typestate.finiteautomata.State)
  • crypto.analysis.RequiredCrySLPredicate (implements crypto.rules.ISLConstraint)
  • crypto.cryslhandler.RulesetReader
  • crypto.typestate.RuleTransitions
  • crypto.reporting.SARIFConfig
  • crypto.reporting.SARIFHelper
  • crypto.analysis.SeedGenerator
  • crypto.utils.SootUtils
  • crypto.reporting.SourceCodeLocater
  • crypto.rules.StateMachineGraph (implements crypto.rules.FiniteStateMachine<State>)
  • crypto.cryslhandler.StateMachineGraphBuilder
  • crypto.rules.StateMachineGraphReader
  • crypto.rules.StateNode
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • crypto.exceptions.CryptoAnalysisException
        • crypto.exceptions.CryptoAnalysisParserException
  • soot.Transformer
    • soot.BodyTransformer
      • crypto.preanalysis.PreTransformer
        • crypto.preanalysis.EmptyStatementTransformer
        • crypto.preanalysis.ExceptionAwareTransformer
  • crypto.preanalysis.TransformerSetup
  • typestate.finiteautomata.Transition (implements typestate.finiteautomata.ITransition)
    • typestate.finiteautomata.MatcherTransition
      • crypto.typestate.LabeledMatcherTransition
  • crypto.rules.TransitionEdge (implements crypto.rules.Transition<State>)
  • crypto.typestate.TypestateAnalysis
  • typestate.finiteautomata.TypeStateMachineWeightFunctions (implements sync.pds.solver.WeightFunctions<Stmt,Fact,Field,W>)
    • crypto.typestate.TypestateFunction
  • crypto.typestate.WrappedState (implements typestate.finiteautomata.State)

Interface Hierarchy

• crypto.rules.FiniteStateMachine<State>
• crypto.listener.IAnalysisListener
• crypto.rules.ICrySLPredicateParameter
  • crypto.rules.ISLConstraint
• crypto.listener.IErrorListener
• crypto.listener.IResultsListener
• crypto.analysis.ResultsHandler
• crypto.rules.Transition<State>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • crypto.AnalysisSettings.AnalysisCallGraph
    • crypto.rules.CrySLArithmeticConstraint.ArithOp
    • crypto.rules.CrySLComparisonConstraint.CompOp
    • crypto.rules.CrySLConstraint.LogOps
    • crypto.analysis.HiddenPredicate.HiddenPredicateType
    • crypto.reporting.Reporter.ReportFormat