All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download CryptoAnalysis JAR 4.1.1 with all dependencies


CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

Files of the artifact CryptoAnalysis version 4.1.1 from the group de.fraunhofer.iem.

Test

Artifact CryptoAnalysis
Group de.fraunhofer.iem
Version 4.1.1
Last update 20. December 2024
Tags: static crysl analysis compiler cognicrypt_sast
Organization not specified
URL https://github.com/CROSSINGTUD/CryptoAnalysis
License Eclipse Public License - v2.0
Dependencies amount 11
Dependencies WPDS, boomerangScope, boomerangPDS, idealPDS, synchronizedPDS, json, org.eclipse.xtext.xbase, org.eclipse.emf.common, org.eclipse.emf.ecore, jackson-core, jackson-databind,
There are maybe transitive dependencies!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of CryptoAnalysis Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of CryptoAnalysis version 4.1.1

META-INF
META-INF.META-INF.MANIFEST.MF
META-INF.maven.de.fraunhofer.iem.CryptoAnalysis
META-INF.maven.de.fraunhofer.iem.CryptoAnalysis.META-INF.maven.de.fraunhofer.iem.CryptoAnalysis.pom.properties
META-INF.maven.de.fraunhofer.iem.CryptoAnalysis.META-INF.maven.de.fraunhofer.iem.CryptoAnalysis.pom.xml
crypto.analysis
crypto.analysis.crypto.analysis.AbstractPredicate
crypto.analysis.crypto.analysis.AlternativeReqPredicate
crypto.analysis.crypto.analysis.AnalysisSeedWithEnsuredPredicate
crypto.analysis.crypto.analysis.AnalysisSeedWithSpecification
crypto.analysis.crypto.analysis.CryptoAnalysisDataFlowScope
crypto.analysis.crypto.analysis.CryptoScanner
crypto.analysis.crypto.analysis.EnsuredPredicate
crypto.analysis.crypto.analysis.IAnalysisSeed
crypto.analysis.crypto.analysis.PredicateHandler
crypto.analysis.crypto.analysis.RequiredCrySLPredicate
crypto.analysis.crypto.analysis.SeedGenerator
crypto.analysis.crypto.analysis.UnEnsuredPredicate
crypto.analysis.errors
crypto.analysis.errors.crypto.analysis.errors.AbstractConstraintsError
crypto.analysis.errors.crypto.analysis.errors.AbstractError
crypto.analysis.errors.crypto.analysis.errors.AbstractOrderError
crypto.analysis.errors.crypto.analysis.errors.AbstractRequiredPredicateError
crypto.analysis.errors.crypto.analysis.errors.AlternativeReqPredicateError
crypto.analysis.errors.crypto.analysis.errors.CallToError
crypto.analysis.errors.crypto.analysis.errors.ConstraintError
crypto.analysis.errors.crypto.analysis.errors.ForbiddenMethodError
crypto.analysis.errors.crypto.analysis.errors.HardCodedError
crypto.analysis.errors.crypto.analysis.errors.ImpreciseValueExtractionError
crypto.analysis.errors.crypto.analysis.errors.IncompleteOperationError
crypto.analysis.errors.crypto.analysis.errors.InstanceOfError
crypto.analysis.errors.crypto.analysis.errors.NeverTypeOfError
crypto.analysis.errors.crypto.analysis.errors.NoCallToError
crypto.analysis.errors.crypto.analysis.errors.PredicateConstraintError
crypto.analysis.errors.crypto.analysis.errors.PredicateContradictionError
crypto.analysis.errors.crypto.analysis.errors.RequiredPredicateError
crypto.analysis.errors.crypto.analysis.errors.TypestateError
crypto.analysis.errors.crypto.analysis.errors.UncaughtExceptionError
crypto.constraints
crypto.constraints.crypto.constraints.BinaryConstraint
crypto.constraints.crypto.constraints.ComparisonConstraint
crypto.constraints.crypto.constraints.ConstraintSolver
crypto.constraints.crypto.constraints.EvaluableConstraint
crypto.constraints.crypto.constraints.ExceptionConstraint
crypto.constraints.crypto.constraints.PredicateConstraint
crypto.constraints.crypto.constraints.ValueConstraint
crypto.exceptions
crypto.exceptions.crypto.exceptions.CryptoAnalysisException
crypto.exceptions.crypto.exceptions.CryptoAnalysisParserException
crypto.extractparameter
crypto.extractparameter.crypto.extractparameter.CallSiteWithExtractedValue
crypto.extractparameter.crypto.extractparameter.CallSiteWithParamIndex
crypto.extractparameter.crypto.extractparameter.ExtractParameterAnalysis
crypto.extractparameter.crypto.extractparameter.ExtractParameterDefinition
crypto.extractparameter.crypto.extractparameter.ExtractParameterOptions
crypto.extractparameter.crypto.extractparameter.ExtractParameterQuery
crypto.extractparameter.crypto.extractparameter.ExtractedValue
crypto.extractparameter.scope
crypto.extractparameter.scope.crypto.extractparameter.scope.IntType
crypto.extractparameter.scope.crypto.extractparameter.scope.IntVal
crypto.extractparameter.scope.crypto.extractparameter.scope.LongType
crypto.extractparameter.scope.crypto.extractparameter.scope.LongVal
crypto.extractparameter.scope.crypto.extractparameter.scope.StringType
crypto.extractparameter.scope.crypto.extractparameter.scope.StringVal
crypto.extractparameter.transformation
crypto.extractparameter.transformation.crypto.extractparameter.transformation.OperatorTransformation
crypto.extractparameter.transformation.crypto.extractparameter.transformation.StringTransformation
crypto.extractparameter.transformation.crypto.extractparameter.transformation.Transformation
crypto.extractparameter.transformation.crypto.extractparameter.transformation.TransformedAllocVal
crypto.extractparameter.transformation.crypto.extractparameter.transformation.WrapperTransformation
crypto.listener
crypto.listener.crypto.listener.AnalysisPrinter
crypto.listener.crypto.listener.AnalysisReporter
crypto.listener.crypto.listener.AnalysisStatistics
crypto.listener.crypto.listener.ErrorCollector
crypto.listener.crypto.listener.IAnalysisListener
crypto.listener.crypto.listener.IErrorListener
crypto.listener.crypto.listener.IResultsListener
crypto.preanalysis
crypto.preanalysis.crypto.preanalysis.EmptyStatementTransformer
crypto.preanalysis.crypto.preanalysis.ExceptionAwareTransformer
crypto.preanalysis.crypto.preanalysis.PreTransformer
crypto.preanalysis.crypto.preanalysis.TransformerSetup
crypto.preanalysis.crypto.preanalysis.UpdatedBoomerangPreTransformer
crypto.reporting
crypto.reporting.crypto.reporting.CSVReporter
crypto.reporting.crypto.reporting.CSVSummaryReporter
crypto.reporting.crypto.reporting.CommandLineReporter
crypto.reporting.crypto.reporting.GitHubAnnotationReporter
crypto.reporting.crypto.reporting.ReportGenerator
crypto.reporting.crypto.reporting.Reporter
crypto.reporting.crypto.reporting.ReporterFactory
crypto.reporting.crypto.reporting.SARIFConfig
crypto.reporting.crypto.reporting.SARIFReporter
crypto.reporting.crypto.reporting.TXTReporter
crypto.typestate
crypto.typestate.crypto.typestate.ErrorStateNode
crypto.typestate.crypto.typestate.ForwardSeedQuery
crypto.typestate.crypto.typestate.LabeledMatcherTransition
crypto.typestate.crypto.typestate.MatcherTransitionCollection
crypto.typestate.crypto.typestate.ReportingErrorStateNode
crypto.typestate.crypto.typestate.RuleTransitions
crypto.typestate.crypto.typestate.TypestateAnalysis
crypto.typestate.crypto.typestate.TypestateAnalysisOptions
crypto.typestate.crypto.typestate.TypestateAnalysisScope
crypto.typestate.crypto.typestate.TypestateDefinition
crypto.typestate.crypto.typestate.TypestateFunction
crypto.typestate.crypto.typestate.WrappedState
crypto.utils
crypto.utils.crypto.utils.ErrorUtils
crypto.utils.crypto.utils.MatcherUtils
crypto.visualization
crypto.visualization.crypto.visualization.Visualizer
crypto.visualization.crypto.visualization.WrappedCluster
crypto.visualization.crypto.visualization.WrappedLine
crypto.visualization.crypto.visualization.WrappedNode
.plugin.properties




© 2015 - 2025 Weber Informatics LLC | Privacy Policy