Index (CryptoAnalysis 3.2.0 API)

A B C D E F G H I J L M N O P R S T U V W
All Classes All Packages

A

AbstractError - Class in crypto.analysis.errors
AbstractError(IAnalysisSeed, Statement, CrySLRule) - Constructor for class crypto.analysis.errors.AbstractError
addAllOutgoingEdgesFromOneNodeToOtherNodes(StateNode, Collection<StateNode>) - Method in class crypto.rules.StateMachineGraph
addAlternative(CrySLPredicate) - Method in class crypto.analysis.AlternativeReqPredicate
addAnalysisListener(IAnalysisListener) - Method in class crypto.analysis.AnalysisReporter
addAnalysisListener(IAnalysisListener) - Method in class crypto.analysis.CryptoScanner
addAnalysisListener(IAnalysisListener) - Method in class crypto.HeadlessCryptoScanner
addCausingError(AbstractError) - Method in class crypto.analysis.errors.AbstractError
addCausingError(Collection<AbstractError>) - Method in class crypto.analysis.errors.AbstractError
addEnsuredPredicate(EnsuredCrySLPredicate) - Method in class crypto.analysis.AnalysisSeedWithEnsuredPredicate
addEnsuredPredicate(EnsuredCrySLPredicate) - Method in class crypto.analysis.AnalysisSeedWithSpecification: Add an ensured predicate to the seed and implicitly rerun all constraint and predicate checks
addError(AbstractError) - Method in class crypto.analysis.IAnalysisSeed
addErrorListener(IErrorListener) - Method in class crypto.analysis.AnalysisReporter
addErrorListener(IErrorListener) - Method in class crypto.analysis.CryptoScanner
addErrorListener(IErrorListener) - Method in class crypto.HeadlessCryptoScanner
addHiddenPredicates(Collection<HiddenPredicate>) - Method in class crypto.analysis.errors.RequiredPredicateError
addHiddenPredicatesToError(RequiredPredicateError) - Method in class crypto.analysis.AnalysisSeedWithSpecification
additionalSootSetup() - Method in class crypto.HeadlessCryptoScanner
addNewPred(IAnalysisSeed, Statement, Val, EnsuredCrySLPredicate) - Method in class crypto.analysis.PredicateHandler
addNode(StateNode) - Method in class crypto.rules.StateMachineGraph
addProgress(int, int) - Method in class crypto.analysis.AnalysisPrinter
addProgress(int, int) - Method in class crypto.analysis.AnalysisReporter
addProgress(int, int) - Method in interface crypto.listener.IAnalysisListener
addQueryAtCallSite(String, Statement, int) - Method in class crypto.extractparameter.ExtractParameterAnalysis
addResultsListener(IResultsListener) - Method in class crypto.analysis.AnalysisReporter
addResultsListener(IResultsListener) - Method in class crypto.analysis.CryptoScanner
addSubsequentError(AbstractError) - Method in class crypto.analysis.errors.AbstractError
afterAnalysis() - Method in class crypto.analysis.AnalysisPrinter
afterAnalysis() - Method in class crypto.analysis.AnalysisReporter
afterAnalysis() - Method in interface crypto.listener.IAnalysisListener
afterConstraintsCheck(IAnalysisSeed, int) - Method in class crypto.analysis.AnalysisPrinter
afterConstraintsCheck(IAnalysisSeed, int) - Method in class crypto.analysis.AnalysisReporter
afterConstraintsCheck(IAnalysisSeed, int) - Method in interface crypto.listener.IAnalysisListener
afterPredicateCheck() - Method in class crypto.analysis.AnalysisPrinter
afterPredicateCheck() - Method in class crypto.analysis.AnalysisReporter
afterPredicateCheck() - Method in interface crypto.listener.IAnalysisListener
afterTypestateAnalysis() - Method in class crypto.analysis.AnalysisPrinter
afterTypestateAnalysis() - Method in class crypto.analysis.AnalysisReporter
afterTypestateAnalysis() - Method in interface crypto.listener.IAnalysisListener
aggregateNodesToOneNode(Collection<StateNode>, StateNode) - Method in class crypto.rules.StateMachineGraph
aggregateNodesToOtherNodes(Collection<StateNode>, Collection<StateNode>) - Method in class crypto.rules.StateMachineGraph
allowMultipleQueries() - Method in class crypto.typestate.TypestateAnalysisOptions
AlternativeReqPredicate - Class in crypto.analysis
AlternativeReqPredicate(CrySLPredicate, Statement) - Constructor for class crypto.analysis.AlternativeReqPredicate
AlternativeReqPredicate(CrySLPredicate, CrySLPredicate, Statement) - Constructor for class crypto.analysis.AlternativeReqPredicate
AnalysisPrinter - Class in crypto.analysis
AnalysisPrinter() - Constructor for class crypto.analysis.AnalysisPrinter
AnalysisReporter - Class in crypto.analysis
AnalysisReporter() - Constructor for class crypto.analysis.AnalysisReporter
analysisResults - Variable in class crypto.analysis.IAnalysisSeed
AnalysisSeedWithEnsuredPredicate - Class in crypto.analysis
AnalysisSeedWithEnsuredPredicate(CryptoScanner, Statement, Val, ForwardBoomerangResults<TransitionFunction>) - Constructor for class crypto.analysis.AnalysisSeedWithEnsuredPredicate
AnalysisSeedWithSpecification - Class in crypto.analysis
AnalysisSeedWithSpecification(CryptoScanner, Statement, Val, ForwardBoomerangResults<TransitionFunction>, CrySLRule) - Constructor for class crypto.analysis.AnalysisSeedWithSpecification
AnalysisSettings - Class in crypto
AnalysisSettings() - Constructor for class crypto.AnalysisSettings
AnalysisSettings.AnalysisCallGraph - Enum in crypto
ANALYSISTIME_KEY - Static variable in class crypto.reporting.SARIFConfig
analysisTimeoutMS() - Method in class crypto.extractparameter.ExtractParameterOptions
analysisTimeoutMS() - Method in class crypto.typestate.TypestateAnalysisOptions
ANALYSISTOOL_NAME_KEY - Static variable in class crypto.reporting.SARIFConfig
ANALYSISTOOL_NAME_VALUE - Static variable in class crypto.reporting.SARIFConfig
and - crypto.rules.CrySLConstraint.LogOps
ANY_TYPE - Static variable in class crypto.rules.CrySLMethod
apply() - Method in class crypto.preanalysis.PreTransformer
arithOpFromOperator(Operator) - Static method in class crypto.cryslhandler.CrySLReaderUtils

B

baseObject - Variable in class crypto.rules.CrySLPredicate
beforeAnalysis() - Method in class crypto.analysis.AnalysisPrinter
beforeAnalysis() - Method in class crypto.analysis.AnalysisReporter
beforeAnalysis() - Method in interface crypto.listener.IAnalysisListener
beforeConstraintsCheck(IAnalysisSeed) - Method in class crypto.analysis.AnalysisPrinter
beforeConstraintsCheck(IAnalysisSeed) - Method in class crypto.analysis.AnalysisReporter
beforeConstraintsCheck(IAnalysisSeed) - Method in interface crypto.listener.IAnalysisListener
beforePredicateCheck() - Method in class crypto.analysis.AnalysisPrinter
beforePredicateCheck() - Method in class crypto.analysis.AnalysisReporter
beforePredicateCheck() - Method in interface crypto.listener.IAnalysisListener
beforeTypestateAnalysis() - Method in class crypto.analysis.AnalysisPrinter
beforeTypestateAnalysis() - Method in class crypto.analysis.AnalysisReporter
beforeTypestateAnalysis() - Method in interface crypto.listener.IAnalysisListener
buildSMG() - Method in class crypto.cryslhandler.StateMachineGraphBuilder
buildSMG(Order, Collection<Event>) - Static method in class crypto.cryslhandler.StateMachineGraphBuilder

C

call() - Method in class crypto.AnalysisSettings
CALL_TO_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
CALL_TO_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
CALLGRAPGREACHABLEMETHODSWITHACTIVEBODIES_KEY - Static variable in class crypto.reporting.SARIFConfig
callGraph() - Method in class crypto.analysis.CryptoScanner
callGraph() - Method in class crypto.typestate.TypestateAnalysis
CALLGRAPHREACHABLEMETHODS_KEY - Static variable in class crypto.reporting.SARIFConfig
CALLGRAPHTIME_KEY - Static variable in class crypto.reporting.SARIFConfig
CallSiteWithExtractedValue - Class in crypto.extractparameter: Creates CallSiteWithExtractedValue a constructor with CallSiteWithParamIndex and ExtractedValue as parameter
CallSiteWithExtractedValue(CallSiteWithParamIndex, ExtractedValue) - Constructor for class crypto.extractparameter.CallSiteWithExtractedValue
CallSiteWithParamIndex - Class in crypto.extractparameter
CallSiteWithParamIndex(Statement, Val, int, String) - Constructor for class crypto.extractparameter.CallSiteWithParamIndex
CallToError - Class in crypto.analysis.errors
CallToError(IAnalysisSeed, CrySLRule, Collection<CrySLMethod>) - Constructor for class crypto.analysis.errors.CallToError
CHA - crypto.AnalysisSettings.AnalysisCallGraph
checkedConstraints(IAnalysisSeed, Collection<ISLConstraint>) - Method in class crypto.analysis.AnalysisReporter
checkedConstraints(IAnalysisSeed, Collection<ISLConstraint>) - Method in interface crypto.listener.IResultsListener
checkPredicates() - Method in class crypto.analysis.AnalysisSeedWithSpecification: Check, whether all required predicates are satisfied, and return a set with all predicates that are not satisfied.
checkPredicates() - Method in class crypto.analysis.PredicateHandler
CMD - crypto.reporting.Reporter.ReportFormat
collectedValues(IAnalysisSeed, Multimap<CallSiteWithParamIndex, ExtractedValue>) - Method in class crypto.analysis.AnalysisReporter
collectedValues(IAnalysisSeed, Multimap<CallSiteWithParamIndex, ExtractedValue>) - Method in interface crypto.listener.IResultsListener
CommandLineReporter - Class in crypto.reporting
CommandLineReporter(Collection<CrySLRule>) - Constructor for class crypto.reporting.CommandLineReporter
ComparisonConstraint - Class in crypto.constraints
ComparisonConstraint(ISLConstraint, ConstraintSolver) - Constructor for class crypto.constraints.ComparisonConstraint
compOpFromOperator(Operator) - Static method in class crypto.cryslhandler.CrySLReaderUtils
computeSeeds() - Method in class crypto.analysis.SeedGenerator
ConditionIsNotSatisfied - crypto.analysis.HiddenPredicate.HiddenPredicateType
constraint - Variable in class crypto.rules.CrySLPredicate
CONSTRAINT_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
CONSTRAINT_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
ConstraintError - Class in crypto.analysis.errors
ConstraintError(IAnalysisSeed, CallSiteWithExtractedValue, CrySLRule, ISLConstraint) - Constructor for class crypto.analysis.errors.ConstraintError
ConstraintsAreNotSatisfied - crypto.analysis.HiddenPredicate.HiddenPredicateType
ConstraintSolver - Class in crypto.constraints
ConstraintSolver(AnalysisSeedWithSpecification, Collection<ControlFlowGraph.Edge>, AnalysisReporter) - Constructor for class crypto.constraints.ConstraintSolver
couldNotExtractValues(Map<String, CallSiteWithExtractedValue>, ISLConstraint) - Method in class crypto.constraints.EvaluableConstraint: If the ExtractParameterAnalysis cannot find the allocation site of a parameter, it adds the ZERO value to the results to indicate that the value could not be extracted.
createAnalysisReport(Collection<IAnalysisSeed>, Table<WrappedClass, Method, Set<AbstractError>>) - Method in class crypto.reporting.CommandLineReporter
createAnalysisReport(Collection<IAnalysisSeed>, Table<WrappedClass, Method, Set<AbstractError>>) - Method in class crypto.reporting.CSVReporter
createAnalysisReport(Collection<IAnalysisSeed>, Table<WrappedClass, Method, Set<AbstractError>>) - Method in class crypto.reporting.CSVSummaryReporter
createAnalysisReport(Collection<IAnalysisSeed>, Table<WrappedClass, Method, Set<AbstractError>>) - Method in class crypto.reporting.GitHubAnnotationReporter
createAnalysisReport(Collection<IAnalysisSeed>, Table<WrappedClass, Method, Set<AbstractError>>) - Method in class crypto.reporting.Reporter
createAnalysisReport(Collection<IAnalysisSeed>, Table<WrappedClass, Method, Set<AbstractError>>) - Method in class crypto.reporting.SARIFReporter
createAnalysisReport(Collection<IAnalysisSeed>, Table<WrappedClass, Method, Set<AbstractError>>) - Method in class crypto.reporting.TXTReporter
createFromCLISettings(String[]) - Static method in class crypto.HeadlessCryptoScanner
createFromPaths(Collection<Path>) - Static method in class crypto.cryslhandler.CrySLModelReaderClassPath: Creates a new instance with the current runtime's classpath and the elements the given set.
createFromURIs(Collection<URI>) - Static method in class crypto.cryslhandler.CrySLModelReaderClassPath: Creates a new instance with the current runtime's classpath and the elements the given set.
createNewEdge(Collection<CrySLMethod>, StateNode, StateNode) - Method in class crypto.rules.StateMachineGraph
createNewNode() - Method in class crypto.rules.StateMachineGraph
createReporters(Collection<Reporter.ReportFormat>, String, Collection<CrySLRule>) - Static method in class crypto.reporting.ReporterFactory
crypto - package crypto
crypto.analysis - package crypto.analysis
crypto.analysis.errors - package crypto.analysis.errors
crypto.constraints - package crypto.constraints
crypto.cryslhandler - package crypto.cryslhandler
crypto.exceptions - package crypto.exceptions
crypto.extractparameter - package crypto.extractparameter
crypto.listener - package crypto.listener
crypto.preanalysis - package crypto.preanalysis
crypto.reporting - package crypto.reporting
crypto.rules - package crypto.rules
crypto.typestate - package crypto.typestate
crypto.utils - package crypto.utils
CryptoAnalysisDataFlowScope - Class in crypto.analysis
CryptoAnalysisDataFlowScope(Collection<CrySLRule>, Collection<String>) - Constructor for class crypto.analysis.CryptoAnalysisDataFlowScope
CryptoAnalysisException - Exception in crypto.exceptions: This is an exception that is thrown when something is not working as expected and is explicitly related to the CryptoAnalysis tool.
CryptoAnalysisException(String) - Constructor for exception crypto.exceptions.CryptoAnalysisException: Constructs a new exception with the specified detail message.
CryptoAnalysisException(String, Throwable) - Constructor for exception crypto.exceptions.CryptoAnalysisException: Constructs a new exception with the specified detail message and cause.
CryptoAnalysisParserException - Exception in crypto.exceptions
CryptoAnalysisParserException(String) - Constructor for exception crypto.exceptions.CryptoAnalysisParserException: Constructs a new exception with the specified detail message.
CryptoScanner - Class in crypto.analysis
CryptoScanner(Collection<CrySLRule>) - Constructor for class crypto.analysis.CryptoScanner
CrySLArithmeticConstraint - Class in crypto.rules
CrySLArithmeticConstraint(ICrySLPredicateParameter, ICrySLPredicateParameter, CrySLArithmeticConstraint.ArithOp) - Constructor for class crypto.rules.CrySLArithmeticConstraint
CrySLArithmeticConstraint.ArithOp - Enum in crypto.rules
CrySLComparisonConstraint - Class in crypto.rules
CrySLComparisonConstraint(CrySLArithmeticConstraint, CrySLArithmeticConstraint, CrySLComparisonConstraint.CompOp) - Constructor for class crypto.rules.CrySLComparisonConstraint
CrySLComparisonConstraint.CompOp - Enum in crypto.rules
CrySLCondPredicate - Class in crypto.rules
CrySLCondPredicate(ICrySLPredicateParameter, String, List<ICrySLPredicateParameter>, Boolean, Collection<StateNode>) - Constructor for class crypto.rules.CrySLCondPredicate
CrySLCondPredicate(ICrySLPredicateParameter, String, List<ICrySLPredicateParameter>, Boolean, Collection<StateNode>, ISLConstraint) - Constructor for class crypto.rules.CrySLCondPredicate
CrySLConstraint - Class in crypto.rules
CrySLConstraint(ISLConstraint, ISLConstraint, CrySLConstraint.LogOps) - Constructor for class crypto.rules.CrySLConstraint
CrySLConstraint.LogOps - Enum in crypto.rules
CrySLException - Class in crypto.rules: Helper Class to store an Exception as a String.
CrySLException(String) - Constructor for class crypto.rules.CrySLException: Construct a CrySLException from the fully qualified classname of the Exception to store.
CrySLExceptionConstraint - Class in crypto.rules: Constraint expressing, that a CrySLMethod throws an CrySLException, that must be caught.
CrySLExceptionConstraint(CrySLMethod, CrySLException) - Constructor for class crypto.rules.CrySLExceptionConstraint: Construct the CrySLExceptionConstraint given the method and the exception thrown thereby.
cryslFileEnding - Static variable in class crypto.cryslhandler.CrySLModelReader
CrySLForbiddenMethod - Class in crypto.rules
CrySLForbiddenMethod(CrySLMethod, Collection<CrySLMethod>) - Constructor for class crypto.rules.CrySLForbiddenMethod
CrySLLiteral - Class in crypto.rules
CrySLLiteral() - Constructor for class crypto.rules.CrySLLiteral
CrySLMethod - Class in crypto.rules
CrySLMethod(String, List<Map.Entry<String, String>>, Map.Entry<String, String>) - Constructor for class crypto.rules.CrySLMethod
CrySLModelReader - Class in crypto.cryslhandler
CrySLModelReader() - Constructor for class crypto.cryslhandler.CrySLModelReader: Creates a CrySLModelReader which creates rules from classes on the runtime's classpath.
CrySLModelReader(CrySLModelReaderClassPath) - Constructor for class crypto.cryslhandler.CrySLModelReader: Creates a CrySLModelReader which creates rules from classes on the runtime's classpath and a given virtual classpath.
CrySLModelReaderClassPath - Class in crypto.cryslhandler: Appendable, virtual classpath extension, allowing to add custom elements, even after the actual classpath was already set.
CrySLModelReaderClassPath(Collection<URL>) - Constructor for class crypto.cryslhandler.CrySLModelReaderClassPath: Initializes a new instance with the current runtime's classpath and the elements the given set.
CrySLObject - Class in crypto.rules
CrySLObject(String, String) - Constructor for class crypto.rules.CrySLObject
CrySLObject(String, String, CrySLSplitter) - Constructor for class crypto.rules.CrySLObject
CrySLPredicate - Class in crypto.rules
CrySLPredicate(ICrySLPredicateParameter, String, List<ICrySLPredicateParameter>, Boolean) - Constructor for class crypto.rules.CrySLPredicate
CrySLPredicate(ICrySLPredicateParameter, String, List<ICrySLPredicateParameter>, Boolean, ISLConstraint) - Constructor for class crypto.rules.CrySLPredicate
CrySLPredicate(ICrySLPredicateParameter, String, List<ICrySLPredicateParameter>, Boolean, Optional<ISLConstraint>) - Constructor for class crypto.rules.CrySLPredicate
CrySLReaderUtils - Class in crypto.cryslhandler
CrySLReaderUtils() - Constructor for class crypto.cryslhandler.CrySLReaderUtils
CrySLRule - Class in crypto.rules
CrySLRule(String, Collection<Map.Entry<String, String>>, Collection<CrySLForbiddenMethod>, Collection<CrySLMethod>, StateMachineGraph, Collection<ISLConstraint>, Collection<CrySLPredicate>, Collection<CrySLPredicate>) - Constructor for class crypto.rules.CrySLRule
CrySLSplitter - Class in crypto.rules
CrySLSplitter(int, String) - Constructor for class crypto.rules.CrySLSplitter
CrySLValueConstraint - Class in crypto.rules
CrySLValueConstraint(CrySLObject, List<String>) - Constructor for class crypto.rules.CrySLValueConstraint
CSV - crypto.reporting.Reporter.ReportFormat
CSV_SUMMARY - crypto.reporting.Reporter.ReportFormat
CSVReporter - Class in crypto.reporting
CSVReporter(String, Collection<CrySLRule>) - Constructor for class crypto.reporting.CSVReporter
CSVSummaryReporter - Class in crypto.reporting
CSVSummaryReporter(String, Collection<CrySLRule>) - Constructor for class crypto.reporting.CSVSummaryReporter

D

DATAFLOWVISITEDMETHODS_KEY - Static variable in class crypto.reporting.SARIFConfig
debugger(IDEALSeedSolver<TransitionFunction>) - Method in class crypto.analysis.CryptoScanner
debugger(IDEALSeedSolver<TransitionFunction>) - Method in class crypto.typestate.TypestateAnalysis
delegate() - Method in class crypto.typestate.WrappedState
done(ForwardBoomerangResults<TransitionFunction>) - Method in interface crypto.analysis.ResultsHandler

E

EmptyStatementTransformer - Class in crypto.preanalysis
EmptyStatementTransformer(Collection<CrySLRule>) - Constructor for class crypto.preanalysis.EmptyStatementTransformer
EnsuredCrySLPredicate - Class in crypto.analysis
EnsuredCrySLPredicate(CrySLPredicate, Multimap<CallSiteWithParamIndex, ExtractedValue>) - Constructor for class crypto.analysis.EnsuredCrySLPredicate
ensuredPredicates(Table<Statement, Val, Set<EnsuredCrySLPredicate>>) - Method in class crypto.analysis.AnalysisReporter
ensuredPredicates(Table<Statement, Val, Set<EnsuredCrySLPredicate>>) - Method in interface crypto.listener.IResultsListener
eq - crypto.rules.CrySLComparisonConstraint.CompOp
eq - crypto.rules.CrySLConstraint.LogOps
equals(Object) - Method in class crypto.analysis.AlternativeReqPredicate
equals(Object) - Method in class crypto.analysis.AnalysisSeedWithEnsuredPredicate
equals(Object) - Method in class crypto.analysis.AnalysisSeedWithSpecification
equals(Object) - Method in class crypto.analysis.EnsuredCrySLPredicate
equals(Object) - Method in class crypto.analysis.errors.AbstractError
equals(Object) - Method in class crypto.analysis.errors.CallToError
equals(Object) - Method in class crypto.analysis.errors.ConstraintError
equals(Object) - Method in class crypto.analysis.errors.ForbiddenMethodError
equals(Object) - Method in class crypto.analysis.errors.HardCodedError
equals(Object) - Method in class crypto.analysis.errors.ImpreciseValueExtractionError
equals(Object) - Method in class crypto.analysis.errors.IncompleteOperationError
equals(Object) - Method in class crypto.analysis.errors.InstanceOfError
equals(Object) - Method in class crypto.analysis.errors.NeverTypeOfError
equals(Object) - Method in class crypto.analysis.errors.NoCallToError
equals(Object) - Method in class crypto.analysis.errors.PredicateContradictionError
equals(Object) - Method in class crypto.analysis.errors.RequiredPredicateError
equals(Object) - Method in class crypto.analysis.errors.TypestateError
equals(Object) - Method in class crypto.analysis.errors.UncaughtExceptionError
equals(Object) - Method in class crypto.analysis.IAnalysisSeed
equals(Object) - Method in class crypto.analysis.RequiredCrySLPredicate
equals(Object) - Method in class crypto.extractparameter.CallSiteWithExtractedValue
equals(Object) - Method in class crypto.extractparameter.CallSiteWithParamIndex
equals(Object) - Method in class crypto.extractparameter.ExtractedValue
equals(Object) - Method in class crypto.rules.CrySLCondPredicate
equals(Object) - Method in class crypto.rules.CrySLForbiddenMethod
equals(Object) - Method in class crypto.rules.CrySLMethod
equals(Object) - Method in class crypto.rules.CrySLObject
equals(Object) - Method in class crypto.rules.CrySLPredicate
equals(Object) - Method in class crypto.rules.CrySLRule
equals(Object) - Method in class crypto.rules.CrySLSplitter
equals(Object) - Method in class crypto.rules.StateNode
equals(Object) - Method in class crypto.rules.TransitionEdge
equals(Object) - Method in class crypto.typestate.ErrorStateNode
equals(Object) - Method in class crypto.typestate.LabeledMatcherTransition
equals(Object) - Method in class crypto.typestate.ReportingErrorStateNode
equals(Object) - Method in class crypto.typestate.WrappedState
errorCollection - Variable in class crypto.analysis.IAnalysisSeed
ErrorCollector - Class in crypto.analysis
ErrorCollector() - Constructor for class crypto.analysis.ErrorCollector
ErrorStateNode - Class in crypto.typestate
ErrorStateNode() - Constructor for class crypto.typestate.ErrorStateNode
ErrorUtils - Class in crypto.utils
ErrorUtils() - Constructor for class crypto.utils.ErrorUtils
EvaluableConstraint - Class in crypto.constraints
EvaluableConstraint(ISLConstraint, ConstraintSolver) - Constructor for class crypto.constraints.EvaluableConstraint
evaluate() - Method in class crypto.constraints.ComparisonConstraint
evaluate() - Method in class crypto.constraints.EvaluableConstraint
evaluate() - Method in class crypto.constraints.ExceptionConstraint: Evaluates this contraint, by checking if the excepiton if caught for every invokation of the method.
evaluate() - Method in class crypto.constraints.PredicateConstraint
evaluate() - Method in class crypto.constraints.ValueConstraint
evaluate(Statement) - Method in class crypto.constraints.ExceptionConstraint: Checks if a) the method that is called is the same as the method of this constraint and b) if the specified exception is caught.
evaluateRelConstraints() - Method in class crypto.constraints.ConstraintSolver
ExceptionAwareTransformer - Class in crypto.preanalysis: This transformer adds a branch after each statement, that may throw an Exception, to the handler of that Exception.
ExceptionAwareTransformer(CrySLRule) - Constructor for class crypto.preanalysis.ExceptionAwareTransformer
ExceptionConstraint - Class in crypto.constraints
ExceptionConstraint(CrySLExceptionConstraint, ConstraintSolver) - Constructor for class crypto.constraints.ExceptionConstraint
ExceptionsReader - Class in crypto.cryslhandler: Helper class to derive CrySLExceptionConstraint's from the events.
ExceptionsReader() - Constructor for class crypto.cryslhandler.ExceptionsReader
execute() - Method in class crypto.analysis.AnalysisSeedWithEnsuredPredicate
execute() - Method in class crypto.analysis.AnalysisSeedWithSpecification
execute() - Method in class crypto.analysis.IAnalysisSeed
exitCode - Static variable in class crypto.HeadlessCryptoScanner
expectPredicate(IAnalysisSeed, Statement, CrySLPredicate) - Method in class crypto.analysis.PredicateHandler
extractArray(ExtractedValue) - Method in class crypto.constraints.EvaluableConstraint
ExtractedValue - Class in crypto.extractparameter
ExtractedValue(Statement, Val) - Constructor for class crypto.extractparameter.ExtractedValue
ExtractParameterAnalysis - Class in crypto.extractparameter
ExtractParameterAnalysis(AnalysisSeedWithSpecification) - Constructor for class crypto.extractparameter.ExtractParameterAnalysis
ExtractParameterOptions - Class in crypto.extractparameter: Created by johannesspath on 23.12.17.
ExtractParameterOptions(int) - Constructor for class crypto.extractparameter.ExtractParameterOptions
extractSootArray(CallSiteWithParamIndex, ExtractedValue) - Method in class crypto.constraints.EvaluableConstraint: Function that finds the values assigned to a soot array.
extractValueAsString(String) - Method in class crypto.constraints.EvaluableConstraint

F

fact() - Method in class crypto.extractparameter.CallSiteWithParamIndex
FILE_LOCATION_KEY - Static variable in class crypto.reporting.SARIFConfig
FILES_KEY - Static variable in class crypto.reporting.SARIFConfig
filterQuotes(String) - Static method in class crypto.analysis.errors.ConstraintError
filterQuotes(String) - Static method in class crypto.cryslhandler.CrySLModelReader
FiniteStateMachine<State> - Interface in crypto.rules
FORBIDDEN_METHOD_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
FORBIDDEN_METHOD_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
ForbiddenMethodError - Class in crypto.analysis.errors
ForbiddenMethodError(IAnalysisSeed, Statement, CrySLRule, DeclaredMethod) - Constructor for class crypto.analysis.errors.ForbiddenMethodError
ForbiddenMethodError(IAnalysisSeed, Statement, CrySLRule, DeclaredMethod, Collection<CrySLMethod>) - Constructor for class crypto.analysis.errors.ForbiddenMethodError
formatMethodName(CrySLMethod) - Method in class crypto.analysis.errors.AbstractError
formatMethodNames(Collection<CrySLMethod>) - Method in class crypto.analysis.errors.AbstractError
ForwardSeedQuery - Class in crypto.typestate
from() - Method in interface crypto.rules.Transition
from() - Method in class crypto.rules.TransitionEdge
FULL_DESCRIPTION_KEY - Static variable in class crypto.reporting.SARIFConfig
FULLY_QUALIFIED_LOGICAL_NAME_KEY - Static variable in class crypto.reporting.SARIFConfig

G

g - crypto.rules.CrySLComparisonConstraint.CompOp
ge - crypto.rules.CrySLComparisonConstraint.CompOp
generate(ControlFlowGraph.Edge) - Method in class crypto.typestate.TypestateAnalysisScope
generateReport(Collection<IAnalysisSeed>, Collection<CrySLRule>, Table<WrappedClass, Method, Set<AbstractError>>) - Static method in class crypto.reporting.ReportGenerator: Generates an analysis report content for the CommandLineReporter and TXTReporter.
generateSeed(ControlFlowGraph.Edge) - Method in class crypto.typestate.TypestateFunction
GeneratingStateIsNeverReached - crypto.analysis.HiddenPredicate.HiddenPredicateType
getAbsolutePath(WrappedClass) - Method in class crypto.reporting.SourceCodeLocater
getAccepting() - Method in class crypto.rules.StateNode
getAcceptingStates() - Method in interface crypto.rules.FiniteStateMachine
getAcceptingStates() - Method in class crypto.rules.StateMachineGraph
getAllCallsOnObject() - Method in class crypto.analysis.AnalysisSeedWithSpecification
getAllConstraints() - Method in class crypto.constraints.ConstraintSolver
getAllocationVal(Method, Statement, Val) - Method in class crypto.extractparameter.ExtractParameterOptions
getAllOutgoingEdges(StateNode) - Method in class crypto.rules.StateMachineGraph
getAllQuerySites() - Method in class crypto.extractparameter.ExtractParameterAnalysis
getAllTransitions() - Method in interface crypto.rules.FiniteStateMachine
getAllTransitions() - Method in class crypto.rules.StateMachineGraph
getAllTransitions() - Method in class crypto.typestate.ForwardSeedQuery
getAllTransitions() - Method in class crypto.typestate.MatcherTransitionCollection
getAllTransitions() - Method in class crypto.typestate.RuleTransitions
getAlternatives() - Method in class crypto.analysis.AlternativeReqPredicate
getAlternatives() - Method in class crypto.analysis.errors.ForbiddenMethodError
getAlternatives() - Method in class crypto.rules.CrySLForbiddenMethod
getAnalysisReporter() - Method in class crypto.analysis.CryptoScanner
getAnalysisResults() - Method in class crypto.analysis.IAnalysisSeed
getAnalysisSeedsWithSpec() - Method in class crypto.analysis.CryptoScanner
getApplicationPath() - Method in class crypto.AnalysisSettings
getApplicationPath() - Method in class crypto.HeadlessCryptoScanner
getBaseObject() - Method in class crypto.rules.CrySLPredicate
getCalledMethod() - Method in class crypto.analysis.errors.ForbiddenMethodError
getCallGraph() - Method in class crypto.AnalysisSettings
getCallGraphAlgorithm() - Method in class crypto.HeadlessCryptoScanner
getCallSite() - Method in class crypto.extractparameter.CallSiteWithExtractedValue
getCallSiteWithExtractedValue() - Method in class crypto.analysis.errors.ConstraintError
getClassName() - Method in class crypto.rules.CrySLRule
getClassPath() - Method in class crypto.cryslhandler.CrySLModelReaderClassPath: Get the class path.
getCollectedCalls() - Method in class crypto.constraints.ConstraintSolver
getCollectedErrors() - Method in class crypto.analysis.CryptoScanner
getCollectedValues() - Method in class crypto.extractparameter.ExtractParameterAnalysis
getConditionalMethods() - Method in class crypto.rules.CrySLCondPredicate
getConstraint() - Method in class crypto.rules.CrySLPredicate
getConstraints() - Method in class crypto.rules.CrySLRule
getContradictedPredicates() - Method in class crypto.analysis.errors.RequiredPredicateError: This method returns a list of contradicting predicates
getDataFlowScope() - Method in class crypto.analysis.CryptoScanner
getDataFlowScope() - Method in class crypto.typestate.TypestateAnalysis
getDiscoveredSeeds() - Method in class crypto.analysis.CryptoScanner
getEdges() - Method in class crypto.rules.StateMachineGraph
getErrorCollection() - Method in class crypto.analysis.ErrorCollector
getErrorCollection() - Method in class crypto.HeadlessCryptoScanner
getErrorCounts(Table<WrappedClass, Method, Set<AbstractError>>) - Static method in class crypto.utils.ErrorUtils
getErrors() - Method in class crypto.analysis.IAnalysisSeed
getErrors() - Method in class crypto.constraints.EvaluableConstraint
getErrorsOfType(Class<?>, Collection<AbstractError>) - Static method in class crypto.utils.ErrorUtils
getErrorsOfTypeInMethod(String, Class<?>, Table<WrappedClass, Method, Set<AbstractError>>) - Static method in class crypto.utils.ErrorUtils
getErrorStatement() - Method in class crypto.analysis.errors.AbstractError
getEvents() - Method in class crypto.rules.CrySLRule
getException() - Method in class crypto.analysis.errors.UncaughtExceptionError
getException() - Method in class crypto.rules.CrySLException
getException() - Method in class crypto.rules.CrySLExceptionConstraint: Returns the Exception thrown by the Exception.
getExceptionConstraints(EventsBlock) - Static method in class crypto.cryslhandler.ExceptionsReader
getExistingPredicates(Statement, Val) - Method in class crypto.analysis.PredicateHandler
getExpectedCalls() - Method in class crypto.typestate.ReportingErrorStateNode
getExpectedMethodCalls() - Method in class crypto.analysis.errors.IncompleteOperationError
getExpectedMethodCalls() - Method in class crypto.analysis.errors.TypestateError
getExtractedValue() - Method in class crypto.analysis.errors.HardCodedError
getExtractedValue() - Method in class crypto.analysis.errors.InstanceOfError
getExtractedValue() - Method in class crypto.analysis.errors.NeverTypeOfError
getExtractedValues() - Method in class crypto.analysis.errors.RequiredPredicateError
getFact() - Method in class crypto.analysis.IAnalysisSeed
getFileName(WrappedClass) - Method in class crypto.reporting.SARIFHelper
getForbiddenMethods() - Method in class crypto.rules.CrySLRule
getGeneratingSeed() - Method in class crypto.analysis.HiddenPredicate
getHiddenPredicates() - Method in class crypto.analysis.errors.RequiredPredicateError
getHopsToAccepting() - Method in class crypto.rules.StateNode
getIdentifier() - Method in class crypto.AnalysisSettings
getIgnoredSections() - Method in class crypto.analysis.CryptoScanner
getIgnoredSections() - Method in class crypto.AnalysisSettings
getIgnoredSections() - Method in class crypto.HeadlessCryptoScanner
getIndex() - Method in class crypto.extractparameter.CallSiteWithParamIndex
getIndex() - Method in class crypto.rules.CrySLSplitter
getInit() - Method in class crypto.rules.StateNode
getInitialTransition() - Method in interface crypto.rules.FiniteStateMachine
getInitialTransition() - Method in class crypto.rules.StateMachineGraph
getInitialTransitions() - Method in class crypto.rules.StateMachineGraph
getInitialTransitions() - Method in class crypto.typestate.MatcherTransitionCollection
getInitialWeight(ControlFlowGraph.Edge) - Method in class crypto.typestate.MatcherTransitionCollection
getInitialWeight(ControlFlowGraph.Edge) - Method in class crypto.typestate.RuleTransitions
getInstance(ISLConstraint, ConstraintSolver) - Static method in class crypto.constraints.EvaluableConstraint
getInvolvedVarNames() - Method in class crypto.analysis.AlternativeReqPredicate
getInvolvedVarNames() - Method in class crypto.analysis.RequiredCrySLPredicate
getInvolvedVarNames() - Method in class crypto.rules.CrySLArithmeticConstraint
getInvolvedVarNames() - Method in class crypto.rules.CrySLComparisonConstraint
getInvolvedVarNames() - Method in class crypto.rules.CrySLConstraint
getInvolvedVarNames() - Method in class crypto.rules.CrySLExceptionConstraint
getInvolvedVarNames() - Method in class crypto.rules.CrySLPredicate
getInvolvedVarNames() - Method in class crypto.rules.CrySLValueConstraint
getInvolvedVarNames() - Method in interface crypto.rules.ISLConstraint
getJavaType() - Method in class crypto.rules.CrySLObject
getLabel() - Method in interface crypto.rules.Transition
getLabel() - Method in class crypto.rules.TransitionEdge
getLeft() - Method in class crypto.rules.CrySLArithmeticConstraint
getLeft() - Method in class crypto.rules.CrySLComparisonConstraint
getLeft() - Method in class crypto.rules.CrySLConstraint
getLeft() - Method in class crypto.rules.TransitionEdge
getLineNumber() - Method in class crypto.analysis.errors.AbstractError
getLocation() - Method in class crypto.analysis.AlternativeReqPredicate
getLocation() - Method in class crypto.analysis.RequiredCrySLPredicate
getLocation() - Method in class crypto.rules.CrySLConstraint
getLocation() - Method in class crypto.rules.CrySLExceptionConstraint
getLocation() - Method in class crypto.rules.CrySLLiteral
getLocation() - Method in interface crypto.rules.ISLConstraint
getLocations(WrappedClass, String, int, String, String) - Method in class crypto.reporting.SARIFHelper
getMatching(DeclaredMethod) - Method in class crypto.typestate.LabeledMatcherTransition: Return the CrySLMethod's that match the given method.
getMatchingCryslMethodsToDeclaredMethod(CrySLRule, DeclaredMethod) - Static method in class crypto.utils.MatcherUtils
getMessage(String, String) - Method in class crypto.reporting.SARIFHelper
getMethod() - Method in class crypto.analysis.errors.AbstractError
getMethod() - Method in class crypto.analysis.IAnalysisSeed
getMethod() - Method in class crypto.rules.CrySLExceptionConstraint: Returns the Method throwing the Exception.
getMethod() - Method in class crypto.rules.CrySLForbiddenMethod
getMethodName() - Method in class crypto.rules.CrySLMethod
getMethods() - Method in class crypto.typestate.LabeledMatcherTransition
getMismatchedPreds() - Method in class crypto.analysis.errors.PredicateContradictionError
getName() - Method in class crypto.analysis.AlternativeReqPredicate
getName() - Method in class crypto.analysis.RequiredCrySLPredicate
getName() - Method in class crypto.rules.CrySLArithmeticConstraint
getName() - Method in class crypto.rules.CrySLComparisonConstraint
getName() - Method in class crypto.rules.CrySLConstraint
getName() - Method in class crypto.rules.CrySLExceptionConstraint
getName() - Method in class crypto.rules.CrySLMethod
getName() - Method in class crypto.rules.CrySLObject
getName() - Method in class crypto.rules.CrySLPredicate
getName() - Method in class crypto.rules.CrySLValueConstraint
getName() - Method in interface crypto.rules.ICrySLPredicateParameter
getName() - Method in class crypto.rules.StateNode
getNegatedPredicates() - Method in class crypto.rules.CrySLRule
getNodes() - Method in class crypto.rules.StateMachineGraph
getObject() - Method in class crypto.constraints.ConstraintSolver
getObjectId() - Method in class crypto.analysis.IAnalysisSeed
getObjects() - Method in class crypto.rules.CrySLRule
getObjectType() - Method in class crypto.analysis.errors.AbstractError
getOperator() - Method in class crypto.rules.CrySLArithmeticConstraint
getOperator() - Method in class crypto.rules.CrySLComparisonConstraint
getOperator() - Method in class crypto.rules.CrySLConstraint
getOrigin() - Method in class crypto.analysis.IAnalysisSeed
getParameterAnalysis() - Method in class crypto.analysis.AnalysisSeedWithSpecification
getParameterAnalysisQuerySites() - Method in class crypto.constraints.ConstraintSolver
getParameters() - Method in class crypto.rules.CrySLMethod
getParameters() - Method in class crypto.rules.CrySLPredicate
getParametersToValues() - Method in class crypto.analysis.EnsuredCrySLPredicate
getParameterType(DeclaredMethod, int) - Static method in class crypto.utils.SootUtils
getParameterTypes(DeclaredMethod) - Static method in class crypto.utils.SootUtils
getParsAndVals() - Method in class crypto.constraints.ConstraintSolver
getPrecedingErrors() - Method in class crypto.analysis.HiddenPredicate: Node: Errors are only in complete count at the end of the analysis.
getPred() - Method in class crypto.analysis.RequiredCrySLPredicate
getPredicate() - Method in class crypto.analysis.EnsuredCrySLPredicate
getPredicateHandler() - Method in class crypto.analysis.CryptoScanner
getPredicates() - Method in class crypto.rules.CrySLRule
getPredName() - Method in class crypto.rules.CrySLPredicate
getPropagatedTypes() - Method in class crypto.constraints.ConstraintSolver
getPropagatedTypes() - Method in class crypto.extractparameter.ExtractParameterAnalysis
getRelConstraints() - Method in class crypto.constraints.ConstraintSolver
getReportDirectory() - Method in class crypto.AnalysisSettings
getReportDirectory() - Method in class crypto.HeadlessCryptoScanner
getReportFormats() - Method in class crypto.AnalysisSettings
getReportFormats() - Method in class crypto.HeadlessCryptoScanner
getRequiredMethods() - Method in class crypto.analysis.errors.CallToError
getRequiredPredicates() - Method in class crypto.constraints.ConstraintSolver
getRequiredPredicates() - Method in class crypto.rules.CrySLRule
getResourceFromWithin(String) - Static method in class crypto.cryslhandler.CrySLReaderUtils
getResults() - Method in class crypto.typestate.TypestateAnalysis
getRetObject() - Method in class crypto.rules.CrySLMethod
getRight() - Method in class crypto.rules.CrySLArithmeticConstraint
getRight() - Method in class crypto.rules.CrySLComparisonConstraint
getRight() - Method in class crypto.rules.CrySLConstraint
getRight() - Method in class crypto.rules.TransitionEdge
getRootErrors() - Method in class crypto.analysis.errors.AbstractError
getRule() - Method in class crypto.analysis.errors.AbstractError
getRule() - Method in class crypto.typestate.ForwardSeedQuery
getRule() - Method in class crypto.typestate.RuleTransitions
getRuleDescription(String) - Method in class crypto.reporting.SARIFHelper
getRuleset() - Method in class crypto.analysis.CryptoScanner
getRulesetDirectory() - Method in class crypto.HeadlessCryptoScanner
getRulesetPath() - Method in class crypto.AnalysisSettings
getScanner() - Method in class crypto.analysis.IAnalysisSeed
getSeed() - Method in class crypto.analysis.errors.AbstractError
getSeedWithoutSpec(AnalysisSeedWithEnsuredPredicate) - Method in class crypto.analysis.CryptoScanner
getSeedWithSpec(AnalysisSeedWithSpecification) - Method in class crypto.analysis.CryptoScanner
getShortMethodName() - Method in class crypto.rules.CrySLMethod
getSignature() - Method in class crypto.rules.CrySLMethod
getSoftwareIdentifier() - Method in class crypto.HeadlessCryptoScanner
getSootClassPath() - Method in class crypto.HeadlessCryptoScanner
getSootPath() - Method in class crypto.AnalysisSettings
getSpecification() - Method in class crypto.analysis.AnalysisSeedWithSpecification
getSpecification() - Method in class crypto.constraints.ConstraintSolver
getSplitter() - Method in class crypto.rules.CrySLObject
getSplitter() - Method in class crypto.rules.CrySLSplitter
getStartNode() - Method in class crypto.rules.StateMachineGraph
getStaticFieldStrategy() - Method in class crypto.typestate.TypestateAnalysisOptions
getSubsequentErrors() - Method in class crypto.analysis.errors.AbstractError
getTimeout() - Method in class crypto.analysis.CryptoScanner
getTimeout() - Method in class crypto.AnalysisSettings
getTimeout() - Method in class crypto.HeadlessCryptoScanner
getTimeout() - Method in class crypto.typestate.TypestateAnalysis
getToolInfo() - Method in class crypto.reporting.SARIFHelper
getTrap(Body, Unit, WrappedClass) - Static method in class crypto.constraints.ExceptionConstraint: Returns the handler, that catches the exception thrown by callee in the method.
getType() - Method in class crypto.analysis.HiddenPredicate
getType() - Method in class crypto.analysis.IAnalysisSeed
getUnits(Body) - Static method in class crypto.constraints.ExceptionConstraint: Returns all units in the method body, excluding exception handlers.
getUsagePattern() - Method in class crypto.rules.CrySLRule
getVal() - Method in class crypto.extractparameter.CallSiteWithExtractedValue
getValue() - Method in class crypto.extractparameter.ExtractedValue
getValueRange() - Method in class crypto.rules.CrySLValueConstraint
getVar() - Method in class crypto.rules.CrySLValueConstraint
getVarName() - Method in class crypto.extractparameter.CallSiteWithParamIndex
getVarName() - Method in class crypto.rules.CrySLObject
getVarName() - Method in class crypto.rules.CrySLValueConstraint
getViolatedConstraint() - Method in class crypto.analysis.errors.ConstraintError
getViolatedConstraint() - Method in class crypto.analysis.errors.HardCodedError
getViolatedConstraint() - Method in class crypto.analysis.errors.ImpreciseValueExtractionError
getViolatedConstraint() - Method in class crypto.analysis.errors.InstanceOfError
getViolatedConstraint() - Method in class crypto.analysis.errors.NeverTypeOfError
GITHUB_ANNOTATION - crypto.reporting.Reporter.ReportFormat
GitHubAnnotationReporter - Class in crypto.reporting
GitHubAnnotationReporter(Collection<CrySLRule>) - Constructor for class crypto.reporting.GitHubAnnotationReporter: The constructor to initialize all attributes.

H

HARD_CODED_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
HARDCODED_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
HardCodedError - Class in crypto.analysis.errors
HardCodedError(IAnalysisSeed, CallSiteWithExtractedValue, CrySLRule, ISLConstraint) - Constructor for class crypto.analysis.errors.HardCodedError
hasErrors() - Method in class crypto.constraints.EvaluableConstraint
hashCode() - Method in class crypto.analysis.AlternativeReqPredicate
hashCode() - Method in class crypto.analysis.AnalysisSeedWithEnsuredPredicate
hashCode() - Method in class crypto.analysis.AnalysisSeedWithSpecification
hashCode() - Method in class crypto.analysis.EnsuredCrySLPredicate
hashCode() - Method in class crypto.analysis.errors.AbstractError
hashCode() - Method in class crypto.analysis.errors.CallToError
hashCode() - Method in class crypto.analysis.errors.ConstraintError
hashCode() - Method in class crypto.analysis.errors.ForbiddenMethodError
hashCode() - Method in class crypto.analysis.errors.HardCodedError
hashCode() - Method in class crypto.analysis.errors.ImpreciseValueExtractionError
hashCode() - Method in class crypto.analysis.errors.IncompleteOperationError
hashCode() - Method in class crypto.analysis.errors.InstanceOfError
hashCode() - Method in class crypto.analysis.errors.NeverTypeOfError
hashCode() - Method in class crypto.analysis.errors.NoCallToError
hashCode() - Method in class crypto.analysis.errors.PredicateContradictionError
hashCode() - Method in class crypto.analysis.errors.RequiredPredicateError
hashCode() - Method in class crypto.analysis.errors.TypestateError
hashCode() - Method in class crypto.analysis.errors.UncaughtExceptionError
hashCode() - Method in class crypto.analysis.IAnalysisSeed
hashCode() - Method in class crypto.analysis.RequiredCrySLPredicate
hashCode() - Method in class crypto.extractparameter.CallSiteWithExtractedValue
hashCode() - Method in class crypto.extractparameter.CallSiteWithParamIndex
hashCode() - Method in class crypto.extractparameter.ExtractedValue
hashCode() - Method in class crypto.rules.CrySLMethod
hashCode() - Method in class crypto.rules.CrySLPredicate
hashCode() - Method in class crypto.rules.CrySLRule
hashCode() - Method in class crypto.rules.StateNode
hashCode() - Method in class crypto.rules.TransitionEdge
hashCode() - Method in class crypto.typestate.ErrorStateNode
hashCode() - Method in class crypto.typestate.LabeledMatcherTransition
hashCode() - Method in class crypto.typestate.ReportingErrorStateNode
hashCode() - Method in class crypto.typestate.WrappedState
hasSpecification() - Method in class crypto.typestate.ForwardSeedQuery
HeadlessCryptoScanner - Class in crypto
HeadlessCryptoScanner(String, String) - Constructor for class crypto.HeadlessCryptoScanner
HiddenPredicate - Class in crypto.analysis
HiddenPredicate(CrySLPredicate, Multimap<CallSiteWithParamIndex, ExtractedValue>, AnalysisSeedWithSpecification, HiddenPredicate.HiddenPredicateType) - Constructor for class crypto.analysis.HiddenPredicate
HiddenPredicate.HiddenPredicateType - Enum in crypto.analysis

I

IAnalysisListener - Interface in crypto.listener
IAnalysisSeed - Class in crypto.analysis
IAnalysisSeed(CryptoScanner, Statement, Val, ForwardBoomerangResults<TransitionFunction>) - Constructor for class crypto.analysis.IAnalysisSeed
ICrySLPredicateParameter - Interface in crypto.rules
IErrorListener - Interface in crypto.listener
implies - crypto.rules.CrySLConstraint.LogOps
IMPRECISE_VALUE_EXTRACTION_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
IMPRECISE_VALUE_EXTRACTION_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
ImpreciseValueExtractionError - Class in crypto.analysis.errors
ImpreciseValueExtractionError(IAnalysisSeed, Statement, CrySLRule, ISLConstraint) - Constructor for class crypto.analysis.errors.ImpreciseValueExtractionError
INCOMPLETE_OPERATION_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
INCOMPLETE_OPERATION_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
IncompleteOperationError - Class in crypto.analysis.errors: This class defines-IncompleteOperationError:
IncompleteOperationError(IAnalysisSeed, Statement, CrySLRule, Collection<CrySLMethod>) - Constructor for class crypto.analysis.errors.IncompleteOperationError: Create an IncompleteOperationError, if there is only one dataflow path, where the incomplete operation occurs.
IncompleteOperationError(IAnalysisSeed, Statement, CrySLRule, Collection<CrySLMethod>, boolean) - Constructor for class crypto.analysis.errors.IncompleteOperationError: Create an IncompleteOperationError, if there is at least one dataflow path, where an incomplete operation occurs.
initialJson() - Method in class crypto.reporting.SARIFHelper
initialState() - Method in class crypto.typestate.TypestateFunction
INSTANCE_OF_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
INSTANCE_OF_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
InstanceOfError - Class in crypto.analysis.errors
InstanceOfError(IAnalysisSeed, CallSiteWithExtractedValue, CrySLRule, CrySLPredicate) - Constructor for class crypto.analysis.errors.InstanceOfError
internalTransform(Body, String, Map<String, String>) - Method in class crypto.preanalysis.EmptyStatementTransformer
internalTransform(Body, String, Map<String, String>) - Method in class crypto.preanalysis.ExceptionAwareTransformer
IResultsListener - Interface in crypto.listener
isAccepting() - Method in class crypto.typestate.ErrorStateNode
isAccepting() - Method in class crypto.typestate.ReportingErrorStateNode
isAccepting() - Method in class crypto.typestate.WrappedState
isAllocationVal(Val) - Method in class crypto.extractparameter.ExtractParameterOptions
isApplied() - Method in class crypto.preanalysis.PreTransformer
isArithmeticExpression(Constraint) - Static method in class crypto.cryslhandler.CrySLReaderUtils
isCaughtAs(WrappedClass, WrappedClass) - Static method in class crypto.constraints.ExceptionConstraint: Returns wheter a catch clause with the given catchClause, would catch the given exception.
isComparisonExpression(Constraint) - Static method in class crypto.cryslhandler.CrySLReaderUtils
isErrorState() - Method in class crypto.rules.StateNode
isErrorState() - Method in class crypto.typestate.ErrorStateNode
isErrorState() - Method in class crypto.typestate.ReportingErrorStateNode
isErrorState() - Method in class crypto.typestate.WrappedState
isExcluded(DeclaredMethod) - Method in class crypto.analysis.CryptoAnalysisDataFlowScope
isExcluded(Method) - Method in class crypto.analysis.CryptoAnalysisDataFlowScope
isHardCodedVariable(ExtractedValue) - Method in class crypto.constraints.PredicateConstraint
isIncludeStatistics() - Method in class crypto.AnalysisSettings
isInitialState() - Method in class crypto.rules.StateNode
isInitialState() - Method in class crypto.typestate.ErrorStateNode
isInitialState() - Method in class crypto.typestate.ReportingErrorStateNode
isInitialState() - Method in class crypto.typestate.WrappedState
ISLConstraint - Interface in crypto.rules
isLogicExpression(Constraint) - Static method in class crypto.cryslhandler.CrySLReaderUtils
isMultiplePaths() - Method in class crypto.analysis.errors.IncompleteOperationError
isNegated() - Method in class crypto.rules.CrySLPredicate
isSameMethod(DeclaredMethod) - Method in class crypto.constraints.ExceptionConstraint
isSecure() - Method in class crypto.analysis.IAnalysisSeed
isSubtype(WrappedClass, WrappedClass) - Static method in class crypto.utils.MatcherUtils
isSubtype(String, String) - Static method in class crypto.utils.SootUtils: Returns whether parent is a super type of child, i.e.
isVisualization() - Method in class crypto.AnalysisSettings
isVisualization() - Method in class crypto.HeadlessCryptoScanner

J

JAVA_CLASS_PATH - Static variable in class crypto.cryslhandler.CrySLModelReaderClassPath

L

l - crypto.rules.CrySLComparisonConstraint.CompOp
LabeledMatcherTransition - Class in crypto.typestate
LabeledMatcherTransition(State, Collection<CrySLMethod>, State) - Constructor for class crypto.typestate.LabeledMatcherTransition
LANGUAGE_KEY - Static variable in class crypto.reporting.SARIFConfig
LANGUAGE_VALUE - Static variable in class crypto.reporting.SARIFConfig
le - crypto.rules.CrySLComparisonConstraint.CompOp
LOCATIONS_KEY - Static variable in class crypto.reporting.SARIFConfig
LOGGER - Static variable in class crypto.analysis.IAnalysisSeed
LOGGER - Static variable in class crypto.constraints.EvaluableConstraint
LOGGER - Static variable in class crypto.reporting.Reporter
logOpFromOperator(Operator) - Static method in class crypto.cryslhandler.CrySLReaderUtils

M

m - crypto.rules.CrySLArithmeticConstraint.ArithOp
main(String[]) - Static method in class crypto.HeadlessCryptoScanner
makeAccepting() - Method in class crypto.rules.StateNode
makeCollection(StateMachineGraph) - Static method in class crypto.typestate.MatcherTransitionCollection
makeOne() - Static method in class crypto.typestate.MatcherTransitionCollection
makeQueryWithoutSpecification(ControlFlowGraph.Edge, Val) - Static method in class crypto.typestate.ForwardSeedQuery
makeQueryWithSpecification(ControlFlowGraph.Edge, Val, RuleTransitions) - Static method in class crypto.typestate.ForwardSeedQuery
makeSeedForComparison(CryptoScanner, Statement, Val) - Static method in class crypto.analysis.AnalysisSeedWithEnsuredPredicate
makeSeedForComparison(CryptoScanner, Statement, Val, CrySLRule) - Static method in class crypto.analysis.AnalysisSeedWithSpecification
mapPrecedingErrors() - Method in class crypto.analysis.errors.RequiredPredicateError
matchCryslMethodAndDeclaredMethod(CrySLMethod, DeclaredMethod) - Static method in class crypto.utils.MatcherUtils
MatcherTransitionCollection - Class in crypto.typestate
MatcherUtils - Class in crypto.utils
MatcherUtils() - Constructor for class crypto.utils.MatcherUtils
matches(DeclaredMethod) - Method in class crypto.typestate.LabeledMatcherTransition
matchParameters(List<Map.Entry<String, String>>, List<JimpleType>) - Static method in class crypto.utils.MatcherUtils
MESSAGE_KEY - Static variable in class crypto.reporting.SARIFConfig
METHOD_KEY - Static variable in class crypto.reporting.SARIFConfig
MIME_TYPE_KEY - Static variable in class crypto.reporting.SARIFConfig
MIME_TYPE_VALUE - Static variable in class crypto.reporting.SARIFConfig

N

n - crypto.rules.CrySLArithmeticConstraint.ArithOp
negated - Variable in class crypto.rules.CrySLPredicate
neq - crypto.rules.CrySLComparisonConstraint.CompOp
NEVER_TYPE_OF_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
NEVER_TYPE_OF_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
NeverTypeOfError - Class in crypto.analysis.errors
NeverTypeOfError(IAnalysisSeed, CallSiteWithExtractedValue, CrySLRule, CrySLPredicate) - Constructor for class crypto.analysis.errors.NeverTypeOfError
NO_CALL_TO_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
NO_CALL_TO_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
NO_NAME - Static variable in class crypto.rules.CrySLMethod
NoCallToError - Class in crypto.analysis.errors
NoCallToError(IAnalysisSeed, Statement, CrySLRule) - Constructor for class crypto.analysis.errors.NoCallToError

O

of(CrySLRule) - Static method in class crypto.typestate.RuleTransitions
of(StateNode) - Static method in class crypto.typestate.WrappedState
of(StateNode, boolean) - Static method in class crypto.typestate.WrappedState
onDiscoveredSeeds(Collection<IAnalysisSeed>) - Method in class crypto.analysis.AnalysisPrinter
onDiscoveredSeeds(Collection<IAnalysisSeed>) - Method in class crypto.analysis.AnalysisReporter
onDiscoveredSeeds(Collection<IAnalysisSeed>) - Method in interface crypto.listener.IAnalysisListener
onExtractParameterAnalysisTimeout(IAnalysisSeed, Val, Statement) - Method in class crypto.analysis.AnalysisPrinter
onExtractParameterAnalysisTimeout(IAnalysisSeed, Val, Statement) - Method in class crypto.analysis.AnalysisReporter
onExtractParameterAnalysisTimeout(IAnalysisSeed, Val, Statement) - Method in interface crypto.listener.IAnalysisListener
onReportedError(IAnalysisSeed, AbstractError) - Method in class crypto.analysis.AnalysisPrinter
onReportedError(IAnalysisSeed, AbstractError) - Method in interface crypto.listener.IAnalysisListener
onSeedFinished(IAnalysisSeed) - Method in class crypto.analysis.AnalysisPrinter
onSeedFinished(IAnalysisSeed) - Method in class crypto.analysis.AnalysisReporter
onSeedFinished(IAnalysisSeed) - Method in interface crypto.listener.IAnalysisListener
onSeedStarted(IAnalysisSeed) - Method in class crypto.analysis.AnalysisPrinter
onSeedStarted(IAnalysisSeed) - Method in class crypto.analysis.AnalysisReporter
onSeedStarted(IAnalysisSeed) - Method in interface crypto.listener.IAnalysisListener
onTypestateAnalysisTimeout(IAnalysisSeed) - Method in class crypto.analysis.AnalysisPrinter
onTypestateAnalysisTimeout(IAnalysisSeed) - Method in class crypto.analysis.AnalysisReporter
onTypestateAnalysisTimeout(IAnalysisSeed) - Method in interface crypto.listener.IAnalysisListener
or - crypto.rules.CrySLConstraint.LogOps
orderErrorsByLineNumber(Collection<AbstractError>) - Static method in class crypto.utils.ErrorUtils
outputFile - Variable in class crypto.reporting.Reporter

P

p - crypto.rules.CrySLArithmeticConstraint.ArithOp
parameters - Variable in class crypto.rules.CrySLPredicate
parseSettingsFromCLI(String[]) - Method in class crypto.AnalysisSettings
PHYSICAL_LOCATION_KEY - Static variable in class crypto.reporting.SARIFConfig
predefinedPreds - Static variable in class crypto.constraints.ConstraintSolver
PREDICATE_CONTRADICTION_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
PREDICATE_CONTRADICTION_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
PredicateConstraint - Class in crypto.constraints
PredicateConstraint(ISLConstraint, ConstraintSolver) - Constructor for class crypto.constraints.PredicateConstraint
PredicateContradictionError - Class in crypto.analysis.errors
PredicateContradictionError(IAnalysisSeed, Statement, CrySLRule, Map.Entry<CrySLPredicate, CrySLPredicate>) - Constructor for class crypto.analysis.errors.PredicateContradictionError
predicateHandler - Variable in class crypto.analysis.IAnalysisSeed
PredicateHandler - Class in crypto.analysis
PredicateHandler(CryptoScanner) - Constructor for class crypto.analysis.PredicateHandler
predName - Variable in class crypto.rules.CrySLPredicate
PreTransformer - Class in crypto.preanalysis
PreTransformer() - Constructor for class crypto.preanalysis.PreTransformer

R

readFromFile(File) - Static method in class crypto.rules.StateMachineGraphReader
readRule(File) - Method in class crypto.cryslhandler.CrySLModelReader: Reads the content of a CrySL file and returns a CrySLRule object.
readRule(InputStream, String) - Method in class crypto.cryslhandler.CrySLModelReader: Reads the content of a CrySL file from an InputStream, afterwards the CrySLRule will be created.
readRuleFromFile(File) - Method in class crypto.cryslhandler.RulesetReader
readRulesFromDirectory(String) - Method in class crypto.cryslhandler.RulesetReader
readRulesFromFiles(Collection<File>) - Method in class crypto.cryslhandler.CrySLModelReader: Read the crysl rules from all given files.
readRulesFromFiles(Collection<File>) - Method in class crypto.cryslhandler.RulesetReader
readRulesFromPath(String) - Method in class crypto.cryslhandler.RulesetReader
readRulesFromZipArchive(String) - Method in class crypto.cryslhandler.RulesetReader
REGION_KEY - Static variable in class crypto.reporting.SARIFConfig
registerResultsHandler(ResultsHandler) - Method in class crypto.analysis.AnalysisSeedWithSpecification
REPORT_NAME - Static variable in class crypto.reporting.Reporter
Reporter - Class in crypto.reporting
Reporter(String, Collection<CrySLRule>) - Constructor for class crypto.reporting.Reporter
Reporter(Collection<CrySLRule>) - Constructor for class crypto.reporting.Reporter
Reporter.ReportFormat - Enum in crypto.reporting
ReporterFactory - Class in crypto.reporting
ReporterFactory() - Constructor for class crypto.reporting.ReporterFactory
reportError(AbstractError) - Method in class crypto.analysis.ErrorCollector
reportError(AbstractError) - Method in interface crypto.listener.IErrorListener
reportError(CallToError) - Method in class crypto.analysis.ErrorCollector
reportError(CallToError) - Method in interface crypto.listener.IErrorListener
reportError(ConstraintError) - Method in class crypto.analysis.ErrorCollector
reportError(ConstraintError) - Method in interface crypto.listener.IErrorListener
reportError(ForbiddenMethodError) - Method in class crypto.analysis.ErrorCollector
reportError(ForbiddenMethodError) - Method in interface crypto.listener.IErrorListener
reportError(HardCodedError) - Method in class crypto.analysis.ErrorCollector
reportError(HardCodedError) - Method in interface crypto.listener.IErrorListener
reportError(ImpreciseValueExtractionError) - Method in class crypto.analysis.ErrorCollector
reportError(ImpreciseValueExtractionError) - Method in interface crypto.listener.IErrorListener
reportError(IncompleteOperationError) - Method in class crypto.analysis.ErrorCollector
reportError(IncompleteOperationError) - Method in interface crypto.listener.IErrorListener
reportError(InstanceOfError) - Method in class crypto.analysis.ErrorCollector
reportError(InstanceOfError) - Method in interface crypto.listener.IErrorListener
reportError(NeverTypeOfError) - Method in class crypto.analysis.ErrorCollector
reportError(NeverTypeOfError) - Method in interface crypto.listener.IErrorListener
reportError(NoCallToError) - Method in class crypto.analysis.ErrorCollector
reportError(NoCallToError) - Method in interface crypto.listener.IErrorListener
reportError(PredicateContradictionError) - Method in class crypto.analysis.ErrorCollector
reportError(PredicateContradictionError) - Method in interface crypto.listener.IErrorListener
reportError(RequiredPredicateError) - Method in class crypto.analysis.ErrorCollector
reportError(RequiredPredicateError) - Method in interface crypto.listener.IErrorListener
reportError(TypestateError) - Method in class crypto.analysis.ErrorCollector
reportError(TypestateError) - Method in interface crypto.listener.IErrorListener
reportError(UncaughtExceptionError) - Method in class crypto.analysis.ErrorCollector
reportError(UncaughtExceptionError) - Method in interface crypto.listener.IErrorListener
reportError(IAnalysisSeed, AbstractError) - Method in class crypto.analysis.AnalysisReporter
ReportGenerator - Class in crypto.reporting
ReportGenerator() - Constructor for class crypto.reporting.ReportGenerator
ReportingErrorStateNode - Class in crypto.typestate
ReportingErrorStateNode(Collection<CrySLMethod>) - Constructor for class crypto.typestate.ReportingErrorStateNode
REQUIRED_PREDICATE_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
REQUIRED_PREDICATE_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
RequiredCrySLPredicate - Class in crypto.analysis
RequiredCrySLPredicate(CrySLPredicate, Statement) - Constructor for class crypto.analysis.RequiredCrySLPredicate
RequiredPredicateError - Class in crypto.analysis.errors: Creates RequiredPredicateError for all Required Predicate error generates RequiredPredicateError
RequiredPredicateError(IAnalysisSeed, Statement, CrySLRule, CallSiteWithExtractedValue, Collection<CrySLPredicate>) - Constructor for class crypto.analysis.errors.RequiredPredicateError
reset() - Method in class crypto.preanalysis.TransformerSetup
resolveEventsToCryslMethods(Collection<Event>) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveEventsToCryslMethodsStream(Collection<Event>) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveEventToCryslMethods(Event) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveEventToCryslMethodsStream(Aggregate) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveEventToCryslMethodsStream(Event) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveEventToCryslMethodsStream(LabeledMethodCall) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveEventToPredicateParameters(Event) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveExceptions(Exception) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveExceptionsStream(Exception) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveExceptionsStream(ExceptionAggregate) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveExceptionsStream(ExceptionDeclaration) - Static method in class crypto.cryslhandler.CrySLReaderUtils
resolveObject(Object) - Static method in class crypto.cryslhandler.CrySLReaderUtils
RESOURCES_KEY - Static variable in class crypto.reporting.SARIFConfig
RESULTS_KEY - Static variable in class crypto.reporting.SARIFConfig
ResultsHandler - Interface in crypto.analysis
retrieveErrorsForPredCondition(CrySLPredicate) - Method in class crypto.analysis.AnalysisSeedWithSpecification
RICH_TEXT_KEY - Static variable in class crypto.reporting.SARIFConfig
RULE_ID_KEY - Static variable in class crypto.reporting.SARIFConfig
RULES_ID_KEY - Static variable in class crypto.reporting.SARIFConfig
RULES_KEY - Static variable in class crypto.reporting.SARIFConfig
ruleset - Variable in class crypto.reporting.Reporter
RulesetReader - Class in crypto.cryslhandler
RulesetReader() - Constructor for class crypto.cryslhandler.RulesetReader
RuleTransitions - Class in crypto.typestate
run() - Method in class crypto.extractparameter.ExtractParameterAnalysis
run() - Method in class crypto.HeadlessCryptoScanner
RUNS_KEY - Static variable in class crypto.reporting.SARIFConfig
runTypestateAnalysis() - Method in class crypto.typestate.TypestateAnalysis

S

SARIF - crypto.reporting.Reporter.ReportFormat
SARIF_VERSION - Static variable in class crypto.reporting.SARIFConfig
SARIF_VERSION_NUMBER - Static variable in class crypto.reporting.SARIFConfig
SARIFConfig - Class in crypto.reporting
SARIFConfig() - Constructor for class crypto.reporting.SARIFConfig
SARIFHelper - Class in crypto.reporting
SARIFHelper() - Constructor for class crypto.reporting.SARIFHelper
SARIFReporter - Class in crypto.reporting
SARIFReporter(String, Collection<CrySLRule>) - Constructor for class crypto.reporting.SARIFReporter
scan() - Method in class crypto.analysis.CryptoScanner
scanner - Variable in class crypto.analysis.IAnalysisSeed
SeedGenerator - Class in crypto.analysis
SeedGenerator(CryptoScanner, Collection<CrySLRule>) - Constructor for class crypto.analysis.SeedGenerator
SEEDOBJECTCOUNT_KEY - Static variable in class crypto.reporting.SARIFConfig
SEMANTIC_VERSION_KEY - Static variable in class crypto.reporting.SARIFConfig
SEMANTIC_VERSION_VALUE - Static variable in class crypto.reporting.SARIFConfig
setAccepting(Boolean) - Method in class crypto.rules.StateNode
setApplicationPath(String) - Method in class crypto.AnalysisSettings
setCallGraph(AnalysisSettings.AnalysisCallGraph) - Method in class crypto.AnalysisSettings
setCallGraphAlgorithm(AnalysisSettings.AnalysisCallGraph) - Method in class crypto.HeadlessCryptoScanner
setHopsToAccepting(int) - Method in class crypto.rules.StateNode
setIdentifier(String) - Method in class crypto.AnalysisSettings
setIgnoredSections(Collection<String>) - Method in class crypto.AnalysisSettings
setIgnoredSections(Collection<String>) - Method in class crypto.HeadlessCryptoScanner
setIncludeStatistics(boolean) - Method in class crypto.AnalysisSettings
setNegated(boolean) - Method in class crypto.rules.CrySLPredicate
setReportDirectory(String) - Method in class crypto.AnalysisSettings
setReportDirectory(String) - Method in class crypto.HeadlessCryptoScanner
setReportFormats(Reporter.ReportFormat...) - Method in class crypto.HeadlessCryptoScanner
setReportFormats(Collection<Reporter.ReportFormat>) - Method in class crypto.AnalysisSettings
setReportFormats(Collection<Reporter.ReportFormat>) - Method in class crypto.HeadlessCryptoScanner
setRulesetPath(String) - Method in class crypto.AnalysisSettings
setSecure(boolean) - Method in class crypto.analysis.IAnalysisSeed
setSoftwareIdentifier(String) - Method in class crypto.HeadlessCryptoScanner
setSootClassPath(String) - Method in class crypto.HeadlessCryptoScanner
setSootPath(String) - Method in class crypto.AnalysisSettings
setTimeout(int) - Method in class crypto.AnalysisSettings
setTimeout(int) - Method in class crypto.HeadlessCryptoScanner
setupBoomerangTransformer() - Method in class crypto.preanalysis.TransformerSetup
setupEmptyStatementTransformer(Collection<CrySLRule>) - Method in class crypto.preanalysis.TransformerSetup
setupExceptionAwareTransformer(Collection<CrySLRule>) - Method in class crypto.preanalysis.TransformerSetup
setupPreTransformer(Collection<CrySLRule>) - Method in class crypto.preanalysis.TransformerSetup
setVisualization(boolean) - Method in class crypto.AnalysisSettings
setVisualization(boolean) - Method in class crypto.HeadlessCryptoScanner
SOFTWAREID_KEY - Static variable in class crypto.reporting.SARIFConfig
SootUtils - Class in crypto.utils
SootUtils() - Constructor for class crypto.utils.SootUtils
SourceCodeLocater - Class in crypto.reporting
SourceCodeLocater(File) - Constructor for class crypto.reporting.SourceCodeLocater
SPARK - crypto.AnalysisSettings.AnalysisCallGraph
SPARK_LIB - crypto.AnalysisSettings.AnalysisCallGraph
START_LINE_KEY - Static variable in class crypto.reporting.SARIFConfig
StateMachineGraph - Class in crypto.rules
StateMachineGraph() - Constructor for class crypto.rules.StateMachineGraph
StateMachineGraphBuilder - Class in crypto.cryslhandler: This class will build a FiniteStateMachine for a given ORDER expression from crysl rules.
StateMachineGraphBuilder(Order, Collection<Event>) - Constructor for class crypto.cryslhandler.StateMachineGraphBuilder
StateMachineGraphReader - Class in crypto.rules
StateMachineGraphReader() - Constructor for class crypto.rules.StateMachineGraphReader
STATEMENT_KEY - Static variable in class crypto.reporting.SARIFConfig
StateNode - Class in crypto.rules
StateNode(String) - Constructor for class crypto.rules.StateNode
StateNode(String, Boolean) - Constructor for class crypto.rules.StateNode
StateNode(String, Boolean, Boolean) - Constructor for class crypto.rules.StateNode
STATISTICS_KEY - Static variable in class crypto.reporting.SARIFConfig
stmt() - Method in class crypto.extractparameter.CallSiteWithParamIndex
stmt() - Method in class crypto.extractparameter.ExtractedValue

T

TEXT_KEY - Static variable in class crypto.reporting.SARIFConfig
to() - Method in interface crypto.rules.Transition
to() - Method in class crypto.rules.TransitionEdge
toCrySLException(ExceptionDeclaration) - Static method in class crypto.cryslhandler.CrySLReaderUtils
toCrySLMethod(ForbiddenMethod) - Static method in class crypto.cryslhandler.CrySLReaderUtils
toCrySLMethod(Method) - Static method in class crypto.cryslhandler.CrySLReaderUtils
toCrySLObject(Literal) - Static method in class crypto.cryslhandler.CrySLReaderUtils
toCrySLObject(Object) - Static method in class crypto.cryslhandler.CrySLReaderUtils
toErrorMarkerString() - Method in class crypto.analysis.errors.AbstractError
toErrorMarkerString() - Method in class crypto.analysis.errors.CallToError
toErrorMarkerString() - Method in class crypto.analysis.errors.ConstraintError
toErrorMarkerString() - Method in class crypto.analysis.errors.ForbiddenMethodError
toErrorMarkerString() - Method in class crypto.analysis.errors.HardCodedError
toErrorMarkerString() - Method in class crypto.analysis.errors.ImpreciseValueExtractionError
toErrorMarkerString() - Method in class crypto.analysis.errors.IncompleteOperationError
toErrorMarkerString() - Method in class crypto.analysis.errors.InstanceOfError
toErrorMarkerString() - Method in class crypto.analysis.errors.NeverTypeOfError
toErrorMarkerString() - Method in class crypto.analysis.errors.NoCallToError
toErrorMarkerString() - Method in class crypto.analysis.errors.PredicateContradictionError
toErrorMarkerString() - Method in class crypto.analysis.errors.RequiredPredicateError
toErrorMarkerString() - Method in class crypto.analysis.errors.TypestateError
toErrorMarkerString() - Method in class crypto.analysis.errors.UncaughtExceptionError
TOOL_FULL_NAME_KEY - Static variable in class crypto.reporting.SARIFConfig
TOOL_FULL_NAME_VALUE - Static variable in class crypto.reporting.SARIFConfig
TOOL_KEY - Static variable in class crypto.reporting.SARIFConfig
TOOL_NAME_KEY - Static variable in class crypto.reporting.SARIFConfig
TOOL_NAME_VALUE - Static variable in class crypto.reporting.SARIFConfig
toString() - Method in class crypto.analysis.AlternativeReqPredicate
toString() - Method in class crypto.analysis.AnalysisSeedWithEnsuredPredicate
toString() - Method in class crypto.analysis.AnalysisSeedWithSpecification
toString() - Method in class crypto.analysis.EnsuredCrySLPredicate
toString() - Method in class crypto.analysis.errors.AbstractError
toString() - Method in class crypto.analysis.errors.CallToError
toString() - Method in class crypto.analysis.errors.ConstraintError
toString() - Method in class crypto.analysis.errors.ForbiddenMethodError
toString() - Method in class crypto.analysis.errors.HardCodedError
toString() - Method in class crypto.analysis.errors.ImpreciseValueExtractionError
toString() - Method in class crypto.analysis.errors.IncompleteOperationError
toString() - Method in class crypto.analysis.errors.InstanceOfError
toString() - Method in class crypto.analysis.errors.NeverTypeOfError
toString() - Method in class crypto.analysis.errors.NoCallToError
toString() - Method in class crypto.analysis.errors.PredicateContradictionError
toString() - Method in class crypto.analysis.errors.RequiredPredicateError
toString() - Method in class crypto.analysis.errors.TypestateError
toString() - Method in class crypto.analysis.IAnalysisSeed
toString() - Method in class crypto.analysis.RequiredCrySLPredicate
toString() - Method in class crypto.extractparameter.CallSiteWithExtractedValue
toString() - Method in class crypto.extractparameter.CallSiteWithParamIndex
toString() - Method in class crypto.extractparameter.ExtractedValue
toString() - Method in class crypto.HeadlessCryptoScanner
toString() - Method in class crypto.rules.CrySLArithmeticConstraint
toString() - Method in class crypto.rules.CrySLComparisonConstraint
toString() - Method in class crypto.rules.CrySLCondPredicate
toString() - Method in class crypto.rules.CrySLConstraint
toString() - Method in class crypto.rules.CrySLException
toString() - Method in class crypto.rules.CrySLExceptionConstraint
toString() - Method in class crypto.rules.CrySLForbiddenMethod
toString() - Method in class crypto.rules.CrySLMethod
toString() - Method in class crypto.rules.CrySLObject
toString() - Method in class crypto.rules.CrySLPredicate
toString() - Method in class crypto.rules.CrySLRule
toString() - Method in class crypto.rules.CrySLSplitter
toString() - Method in class crypto.rules.CrySLValueConstraint
toString() - Method in class crypto.rules.StateMachineGraph
toString() - Method in class crypto.rules.StateNode
toString() - Method in class crypto.rules.TransitionEdge
toString() - Method in class crypto.typestate.ErrorStateNode
toString() - Method in class crypto.typestate.LabeledMatcherTransition
toString() - Method in class crypto.typestate.ReportingErrorStateNode
toString() - Method in class crypto.typestate.WrappedState
trackStaticFieldAtEntryPointToClinit() - Method in class crypto.extractparameter.ExtractParameterOptions
TransformerSetup - Class in crypto.preanalysis
TransformerSetup() - Constructor for class crypto.preanalysis.TransformerSetup
Transition<State> - Interface in crypto.rules
TransitionEdge - Class in crypto.rules
TransitionEdge(Collection<CrySLMethod>, StateNode, StateNode) - Constructor for class crypto.rules.TransitionEdge
trapsUnit(Body, Trap, Unit) - Static method in class crypto.constraints.ExceptionConstraint: Returns whether the `trapped` unit is trapped in the method body.
TXT - crypto.reporting.Reporter.ReportFormat
TXTReporter - Class in crypto.reporting
TXTReporter(String, Collection<CrySLRule>) - Constructor for class crypto.reporting.TXTReporter
TYPE_STATE_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
TYPESTATE_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
TypestateAnalysis - Class in crypto.typestate
TypestateAnalysis(Collection<CrySLRule>) - Constructor for class crypto.typestate.TypestateAnalysis
TypestateAnalysisOptions - Class in crypto.typestate
TypestateAnalysisOptions(int) - Constructor for class crypto.typestate.TypestateAnalysisOptions
typestateAnalysisResults(IAnalysisSeed, ForwardBoomerangResults<TransitionFunction>) - Method in class crypto.analysis.AnalysisReporter
typestateAnalysisResults(IAnalysisSeed, ForwardBoomerangResults<TransitionFunction>) - Method in interface crypto.listener.IResultsListener
TypestateAnalysisScope - Class in crypto.typestate
TypestateAnalysisScope(CallGraph, Map<String, RuleTransitions>, DataFlowScope) - Constructor for class crypto.typestate.TypestateAnalysisScope
TypestateError - Class in crypto.analysis.errors
TypestateError(IAnalysisSeed, Statement, CrySLRule, Collection<CrySLMethod>) - Constructor for class crypto.analysis.errors.TypestateError
TypestateFunction - Class in crypto.typestate
TypestateFunction(Collection<LabeledMatcherTransition>) - Constructor for class crypto.typestate.TypestateFunction

U

UNCAUGHT_EXCEPTION_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
UNCAUGHT_EXCEPTION_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
UncaughtExceptionError - Class in crypto.analysis.errors
UncaughtExceptionError(IAnalysisSeed, Statement, CrySLRule, WrappedClass) - Constructor for class crypto.analysis.errors.UncaughtExceptionError
URI_KEY - Static variable in class crypto.reporting.SARIFConfig

V

v() - Static method in class crypto.preanalysis.TransformerSetup
ValueConstraint - Class in crypto.constraints
ValueConstraint(ISLConstraint, ConstraintSolver) - Constructor for class crypto.constraints.ValueConstraint
valueOf(String) - Static method in enum crypto.analysis.HiddenPredicate.HiddenPredicateType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum crypto.AnalysisSettings.AnalysisCallGraph: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum crypto.reporting.Reporter.ReportFormat: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum crypto.rules.CrySLArithmeticConstraint.ArithOp: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum crypto.rules.CrySLComparisonConstraint.CompOp: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum crypto.rules.CrySLConstraint.LogOps: Returns the enum constant of this type with the specified name.
values() - Static method in enum crypto.analysis.HiddenPredicate.HiddenPredicateType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum crypto.AnalysisSettings.AnalysisCallGraph: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum crypto.reporting.Reporter.ReportFormat: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum crypto.rules.CrySLArithmeticConstraint.ArithOp: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum crypto.rules.CrySLComparisonConstraint.CompOp: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum crypto.rules.CrySLConstraint.LogOps: Returns an array containing the constants of this enum type, in the order they are declared.
VERSION - Static variable in class crypto.reporting.SARIFConfig
VERSION_NUMBER - Static variable in class crypto.reporting.SARIFConfig
VOID - Static variable in class crypto.rules.CrySLMethod

W

WrappedState - Class in crypto.typestate
wrapUpCreation() - Method in class crypto.rules.StateMachineGraph
writeToFile(List<String>) - Method in class crypto.reporting.CSVReporter

A B C D E F G H I J L M N O P R S T U V W
All Classes All Packages