All Classes
-
All Classes Interface Summary Class Summary Enum Summary Exception Summary Class Description AbstractError AlternativeReqPredicate AnalysisSeedWithEnsuredPredicate AnalysisSeedWithSpecification CallSiteWithExtractedValue CreatesCallSiteWithExtractedValuea constructor with CallSiteWithParamIndex and ExtractedValue as parameter CallSiteWithParamIndex gives position of the location index of the error ExtractedValue gives the value of the call siteCallSiteWithParamIndex ClassSpecification CogniCryptBoomerangOptions CogniCryptIntAndStringBoomerangOptions Created by johannesspath on 23.12.17.CollectErrorListener CommandLineReporter This class extends the classReporterby generating an analysis report and print it to the command line.ComparisonConstraint ConstraintError ConstraintReporter ConstraintSolver 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 CryptoScannerSettings CryptoScannerSettings.ControlGraph CryptoScannerSettings.ReportFormat CryptoScannerSettings.RulesetPathType CrySLAnalysisListener CrySLArithmeticConstraint CrySLArithmeticConstraint.ArithOp CrySLComparisonConstraint CrySLComparisonConstraint.CompOp CrySLCondPredicate CrySLConstraint CrySLConstraint.LogOps CrySLException Helper Class to store anExceptionas a String.CrySLExceptionConstraint Constraint expressing, that aCrySLMethodthrows anCrySLException, that must be caught.CrySLForbiddenMethod CrySLLiteral CrySLMethod CrySLMethodToSootMethod CrySLModelReader CrySLModelReaderClassPath Appendable, virtual classpath extension, allowing to add custom elements, even after the actual classpath was already set.CrySLObject CrySLPredicate CrySLReaderUtils CrySLResultsReporter CrySLRule CrySLRuleReader CrySLRulesetSelector CrySLRulesetSelector.Ruleset current RuleSetsCrySLSplitter CrySLValueConstraint CSVReporter This class extends the classReporterby generating an analysis report and write it into a csv file.CSVSummaryReporter This class extends the classReporterby generating a summary of the analysis and write it into a csv file.EnsuredCrySLPredicate ErrorMarkerListener This listener is notified of any misuses the analysis finds.ErrorStateNode ErrorVisitor ErrorWithObjectAllocation 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 deriveCrySLExceptionConstraint's from the events.ExtendedIDEALAnaylsis ExtractedValue ExtractParameterAnalysis FiniteStateMachine<State> FiniteStateMachineToTypestateChangeFunction ForbiddenMethodError ForbiddenPredicateError GitHubAnnotationReporter HardCodedError HeadlessCryptoScanner HiddenPredicate HiddenPredicate.HiddenPredicateType IAnalysisSeed ICrySLPerformanceListener ICrySLPredicateParameter ICrySLResultsListener IError ImpreciseValueExtractionError IncompleteOperationError This class defines-IncompleteOperationError: Found when the usage of an object may be incomplete For example a Cipher object may be initialized but never been used for encryption or decryption, this may render the code dead.InstanceOfError ISLConstraint LabeledMatcherTransition NeverTypeOfError ParameterAwarePredicate Extension ofCrySLPredicate, to take the parameters into account, when checking for Equality.PredicateConstraint PredicateContradictionError PredicateHandler ProviderDetection The ProviderDetection class helps in detecting the provider used when coding with JCA's Cryptographic APIs and chooses the corresponding set of CrySL rules that are implemented for that provider.Reporter Superclass for all reporters.ReporterHelper This class is used to generate a report as aStringfor multiple other classes.ReportingErrorStateNode ReportStatistics This class is used by the classReporterto store all statistics, which are relevant for the analysis.RequiredCrySLPredicate RequiredPredicateError CreatesRequiredPredicateErrorfor all Required Predicate error generates RequiredPredicateError contradictedPredicate aCrySLPredicateholds the contradicted required predicate or parameter extractedValues aCallSiteWithExtractedValuehold the location value of the missing required predicate or parameterResultsHandler SARIFConfig SARIFHelper SARIFReporter This class extends the classReporterby generating an analysis report and write it into a JSON file in the SARIF format.SeedFactory SootBasedStateMachineGraph SourceCodeLocater StateMachineGraph StateMachineGraphBuilder This class will build aFiniteStateMachinefor a given ORDER expression from crysl rules.StateMachineGraphReader StateNode Transition<State> TransitionEdge TXTReporter This class extends the classReporterby generating a report and writing it into a text file.TypestateError UncaughtExceptionError ValueConstraint WrappedState