All Classes

Class	Description
AbstractError
AlternativeReqPredicate
AnalysisPrinter
AnalysisReporter
AnalysisSeedWithEnsuredPredicate
AnalysisSeedWithSpecification
AnalysisSettings
AnalysisSettings.AnalysisCallGraph
CallSiteWithExtractedValue	Creates CallSiteWithExtractedValue a constructor with CallSiteWithParamIndex and ExtractedValue as parameter
CallSiteWithParamIndex
CallToError
CommandLineReporter
ComparisonConstraint
ConstraintError
ConstraintSolver
CryptoAnalysisDataFlowScope
CryptoAnalysisException	This is an exception that is thrown when something is not working as expected and is explicitly related to the CryptoAnalysis tool.
CryptoAnalysisParserException
CryptoScanner
CrySLArithmeticConstraint
CrySLArithmeticConstraint.ArithOp
CrySLComparisonConstraint
CrySLComparisonConstraint.CompOp
CrySLCondPredicate
CrySLConstraint
CrySLConstraint.LogOps
CrySLException	Helper Class to store an Exception as a String.
CrySLExceptionConstraint	Constraint expressing, that a CrySLMethod throws an CrySLException, that must be caught.
CrySLForbiddenMethod
CrySLLiteral
CrySLMethod
CrySLModelReader
CrySLModelReaderClassPath	Appendable, virtual classpath extension, allowing to add custom elements, even after the actual classpath was already set.
CrySLObject
CrySLPredicate
CrySLReaderUtils
CrySLRule
CrySLSplitter
CrySLValueConstraint
CSVReporter
CSVSummaryReporter
EmptyStatementTransformer
EnsuredCrySLPredicate
ErrorCollector
ErrorStateNode
ErrorUtils
EvaluableConstraint
ExceptionAwareTransformer	This transformer adds a branch after each statement, that may throw an Exception, to the handler of that Exception.
ExceptionConstraint
ExceptionsReader	Helper class to derive CrySLExceptionConstraint's from the events.
ExtractedValue
ExtractParameterAnalysis
ExtractParameterOptions	Created by johannesspath on 23.12.17.
FiniteStateMachine<State>
ForbiddenMethodError
ForwardSeedQuery
GitHubAnnotationReporter
HardCodedError
HeadlessCryptoScanner
HiddenPredicate
HiddenPredicate.HiddenPredicateType
IAnalysisListener
IAnalysisSeed
ICrySLPredicateParameter
IErrorListener
ImpreciseValueExtractionError
IncompleteOperationError	This class defines-IncompleteOperationError:
InstanceOfError
IResultsListener
ISLConstraint
LabeledMatcherTransition
MatcherTransitionCollection
MatcherUtils
NeverTypeOfError
NoCallToError
PredicateConstraint
PredicateContradictionError
PredicateHandler
PreTransformer
Reporter
Reporter.ReportFormat
ReporterFactory
ReportGenerator
ReportingErrorStateNode
RequiredCrySLPredicate
RequiredPredicateError	Creates RequiredPredicateError for all Required Predicate error generates RequiredPredicateError
ResultsHandler
RulesetReader
RuleTransitions
SARIFConfig
SARIFHelper
SARIFReporter
SeedGenerator
SootUtils
SourceCodeLocater
StateMachineGraph
StateMachineGraphBuilder	This class will build a FiniteStateMachine for a given ORDER expression from crysl rules.
StateMachineGraphReader
StateNode
TransformerSetup
Transition<State>
TransitionEdge
TXTReporter
TypestateAnalysis
TypestateAnalysisOptions
TypestateAnalysisScope
TypestateError
TypestateFunction
UncaughtExceptionError
ValueConstraint
WrappedState