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

A

AbstractError - Class in crypto.analysis.errors
 
AbstractError(Statement, CrySLRule) - Constructor for class crypto.analysis.errors.AbstractError
 
accept(ErrorVisitor) - Method in class crypto.analysis.errors.ConstraintError
 
accept(ErrorVisitor) - Method in class crypto.analysis.errors.ForbiddenMethodError
 
accept(ErrorVisitor) - Method in class crypto.analysis.errors.ForbiddenPredicateError
 
accept(ErrorVisitor) - Method in interface crypto.analysis.errors.IError
 
accept(ErrorVisitor) - Method in class crypto.analysis.errors.ImpreciseValueExtractionError
 
accept(ErrorVisitor) - Method in class crypto.analysis.errors.IncompleteOperationError
 
accept(ErrorVisitor) - Method in class crypto.analysis.errors.PredicateContradictionError
 
accept(ErrorVisitor) - Method in class crypto.analysis.errors.RequiredPredicateError
 
accept(ErrorVisitor) - Method in class crypto.analysis.errors.TypestateError
 
accept(ErrorVisitor) - Method in class crypto.analysis.errors.UncaughtExceptionError
 
addAdditionalBoomerangQuery(ExtractParameterAnalysis.AdditionalBoomerangQuery, ExtractParameterAnalysis.QueryListener) - Method in class crypto.extractparameter.ExtractParameterAnalysis
 
addAllOutgoingEdgesFromOneNodeToOtherNodes(StateNode, Collection<StateNode>) - Method in class crypto.rules.StateMachineGraph
 
addAlternative(CrySLPredicate) - Method in class crypto.analysis.AlternativeReqPredicate
 
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
 
addHiddenPredicates(Collection<HiddenPredicate>) - Method in class crypto.analysis.errors.RequiredPredicateError
 
addHiddenPredicatesToError(RequiredPredicateError) - Method in class crypto.analysis.AnalysisSeedWithSpecification
 
AdditionalBoomerangQuery(Statement, Val) - Constructor for class crypto.extractparameter.ExtractParameterAnalysis.AdditionalBoomerangQuery
 
addListener(ExtractParameterAnalysis.QueryListener) - Method in class crypto.extractparameter.ExtractParameterAnalysis.AdditionalBoomerangQuery
 
addNewPred(IAnalysisSeed, Statement, Val, EnsuredCrySLPredicate) - Method in class crypto.predicates.PredicateHandler
 
addNode(StateNode) - Method in class crypto.rules.StateMachineGraph
 
addProgress(int, int) - Method in class crypto.analysis.CrySLResultsReporter
 
addProgress(int, int) - Method in interface crypto.analysis.ICrySLResultsListener
 
addProgress(int, int) - Method in class crypto.reporting.CollectErrorListener
 
addProgress(int, int) - Method in class crypto.reporting.ErrorMarkerListener
 
addQueryAtCallsite(String, Statement, int) - Method in class crypto.extractparameter.ExtractParameterAnalysis
 
addReportListener(ICrySLResultsListener) - Method in class crypto.analysis.CrySLResultsReporter
 
addSubsequentError(AbstractError) - Method in class crypto.analysis.errors.AbstractError
 
addToWorkList(IAnalysisSeed) - Method in class crypto.analysis.CryptoScanner
 
addTransition(MatcherTransition) - Method in class crypto.typestate.SootBasedStateMachineGraph
 
afterAnalysis() - Method in class crypto.analysis.CrySLResultsReporter
 
afterAnalysis() - Method in interface crypto.analysis.ICrySLPerformanceListener
 
afterAnalysis() - Method in class crypto.reporting.ErrorMarkerListener
 
afterAnalysis() - Method in class crypto.reporting.Reporter
 
afterConstraintCheck(AnalysisSeedWithSpecification) - Method in class crypto.analysis.CrySLResultsReporter
 
afterConstraintCheck(AnalysisSeedWithSpecification) - Method in interface crypto.analysis.ICrySLPerformanceListener
 
afterConstraintCheck(AnalysisSeedWithSpecification) - Method in class crypto.reporting.ErrorMarkerListener
 
afterPredicateCheck(AnalysisSeedWithSpecification) - Method in class crypto.analysis.CrySLResultsReporter
 
afterPredicateCheck(AnalysisSeedWithSpecification) - Method in interface crypto.analysis.ICrySLPerformanceListener
 
afterPredicateCheck(AnalysisSeedWithSpecification) - Method in class crypto.reporting.ErrorMarkerListener
 
aggregateNodesToOneNode(Set<StateNode>, StateNode) - Method in class crypto.rules.StateMachineGraph
 
aggregateNodestoOtherNodes(Collection<StateNode>, Collection<StateNode>) - Method in class crypto.rules.StateMachineGraph
 
allCallsOnObject - Variable in class crypto.analysis.AnalysisSeedWithSpecification
 
AlternativeReqPredicate - Class in crypto.analysis
 
AlternativeReqPredicate(CrySLPredicate, Statement) - Constructor for class crypto.analysis.AlternativeReqPredicate
 
AlternativeReqPredicate(CrySLPredicate, CrySLPredicate, Statement) - Constructor for class crypto.analysis.AlternativeReqPredicate
 
analysisListener() - Method in class crypto.typestate.ExtendedIDEALAnaylsis
 
AnalysisSeedWithEnsuredPredicate - Class in crypto.analysis
 
AnalysisSeedWithEnsuredPredicate(CryptoScanner, Node<Statement, Val>) - Constructor for class crypto.analysis.AnalysisSeedWithEnsuredPredicate
 
AnalysisSeedWithSpecification - Class in crypto.analysis
 
AnalysisSeedWithSpecification(CryptoScanner, Statement, Val, ClassSpecification) - Constructor for class crypto.analysis.AnalysisSeedWithSpecification
 
ANALYSISTIME_KEY - Static variable in class crypto.reporting.SARIFConfig
 
analysisTimeoutMS() - Method in class crypto.boomerang.CogniCryptBoomerangOptions
 
analysisTimeoutMS() - Method in class crypto.boomerang.CogniCryptIntAndStringBoomerangOptions
 
ANALYSISTOOL_NAME_KEY - Static variable in class crypto.reporting.SARIFConfig
 
ANALYSISTOOL_NAME_VALUE - Static variable in class crypto.reporting.SARIFConfig
 
analysisWatch - Variable in class crypto.reporting.Reporter
The stopwatch to measure to time for the actual analysis
and - crypto.rules.CrySLConstraint.LogOps
 
ANY_TYPE - Static variable in class crypto.rules.CrySLMethod
 
applicationClassPath() - Method in class crypto.HeadlessCryptoScanner
 
arithOpFromOperator(Operator) - Static method in class crypto.cryslhandler.CrySLReaderUtils
 
arrayFlows() - Method in class crypto.boomerang.CogniCryptBoomerangOptions
 
arrayFlows() - Method in class crypto.boomerang.CogniCryptIntAndStringBoomerangOptions
 

B

baseObject - Variable in class crypto.rules.CrySLPredicate
 
beforeAnalysis() - Method in class crypto.analysis.CrySLResultsReporter
 
beforeAnalysis() - Method in interface crypto.analysis.ICrySLPerformanceListener
 
beforeAnalysis() - Method in class crypto.reporting.ErrorMarkerListener
 
beforeAnalysis() - Method in class crypto.reporting.Reporter
 
beforeConstraintCheck(AnalysisSeedWithSpecification) - Method in class crypto.analysis.CrySLResultsReporter
 
beforeConstraintCheck(AnalysisSeedWithSpecification) - Method in interface crypto.analysis.ICrySLPerformanceListener
 
beforeConstraintCheck(AnalysisSeedWithSpecification) - Method in class crypto.reporting.ErrorMarkerListener
 
beforePredicateCheck(AnalysisSeedWithSpecification) - Method in class crypto.analysis.CrySLResultsReporter
 
beforePredicateCheck(AnalysisSeedWithSpecification) - Method in interface crypto.analysis.ICrySLPerformanceListener
 
beforePredicateCheck(AnalysisSeedWithSpecification) - Method in class crypto.reporting.ErrorMarkerListener
 
boomerangQueryFinished(Query, BackwardQuery) - Method in class crypto.analysis.CrySLResultsReporter
 
boomerangQueryFinished(Query, BackwardQuery) - Method in interface crypto.analysis.ICrySLPerformanceListener
 
boomerangQueryFinished(Query, BackwardQuery) - Method in class crypto.reporting.ErrorMarkerListener
 
boomerangQueryStarted(Query, BackwardQuery) - Method in class crypto.analysis.CrySLResultsReporter
 
boomerangQueryStarted(Query, BackwardQuery) - Method in interface crypto.analysis.ICrySLPerformanceListener
 
boomerangQueryStarted(Query, BackwardQuery) - Method in class crypto.reporting.ErrorMarkerListener
 
BouncyCastle - crypto.analysis.CrySLRulesetSelector.Ruleset
 
buildSMG() - Method in class crypto.cryslhandler.StateMachineGraphBuilder
 
buildSMG(Order, List<Event>) - Static method in class crypto.cryslhandler.StateMachineGraphBuilder
 

C

call() - Method in class crypto.analysis.CryptoScannerSettings
 
CALLGRAPGREACHABLEMETHODSWITHACTIVEBODIES_KEY - Static variable in class crypto.reporting.SARIFConfig
 
callGraphAlgorithm() - Method in class crypto.HeadlessCryptoScanner
 
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 CallSiteWithParamIndex gives position of the location index of the error ExtractedValue gives the value of the call site
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
 
callToForbiddenMethod(ClassSpecification, Statement, SootMethod, Collection<SootMethod>) - Method in interface crypto.analysis.ConstraintReporter
 
CHA - crypto.analysis.CryptoScannerSettings.ControlGraph
 
checkedConstraints(AnalysisSeedWithSpecification, Collection<ISLConstraint>) - Method in class crypto.analysis.CrySLResultsReporter
 
checkedConstraints(AnalysisSeedWithSpecification, Collection<ISLConstraint>) - Method in interface crypto.analysis.ICrySLResultsListener
 
checkedConstraints(AnalysisSeedWithSpecification, Collection<ISLConstraint>) - Method in class crypto.reporting.CollectErrorListener
 
checkedConstraints(AnalysisSeedWithSpecification, Collection<ISLConstraint>) - Method in class crypto.reporting.ErrorMarkerListener
 
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.predicates.PredicateHandler
 
chooseRules(String) - Method in class crypto.providerdetection.ProviderDetection
This method is used to choose the CryptSL rules in a directory from the detected provider and should be called after the `doAnalysis()` method.
chooseRulesZip(String) - Method in class crypto.providerdetection.ProviderDetection
This method is used to choose the CryptSL rules in a zip file from the detected provider and should be called after the `doAnalysis()` method.
ClassSpecification - Class in crypto.analysis
 
ClassSpecification(CrySLRule, CryptoScanner) - Constructor for class crypto.analysis.ClassSpecification
 
CMD - crypto.analysis.CryptoScannerSettings.ReportFormat
 
CogniCryptBoomerangOptions - Class in crypto.boomerang
 
CogniCryptBoomerangOptions() - Constructor for class crypto.boomerang.CogniCryptBoomerangOptions
 
CogniCryptIntAndStringBoomerangOptions - Class in crypto.boomerang
Created by johannesspath on 23.12.17.
CogniCryptIntAndStringBoomerangOptions() - Constructor for class crypto.boomerang.CogniCryptIntAndStringBoomerangOptions
 
collectedValues(AnalysisSeedWithSpecification, Multimap<CallSiteWithParamIndex, ExtractedValue>) - Method in class crypto.analysis.CrySLResultsReporter
 
collectedValues(AnalysisSeedWithSpecification, Multimap<CallSiteWithParamIndex, ExtractedValue>) - Method in interface crypto.analysis.ICrySLResultsListener
 
collectedValues(AnalysisSeedWithSpecification, Multimap<CallSiteWithParamIndex, ExtractedValue>) - Method in class crypto.reporting.CollectErrorListener
 
collectedValues(AnalysisSeedWithSpecification, Multimap<CallSiteWithParamIndex, ExtractedValue>) - Method in class crypto.reporting.ErrorMarkerListener
 
CollectErrorListener - Class in crypto.reporting
 
CollectErrorListener() - Constructor for class crypto.reporting.CollectErrorListener
 
CommandLineReporter - Class in crypto.reporting
This class extends the class Reporter by generating an analysis report and print it to the command line.
CommandLineReporter(String, List<CrySLRule>) - Constructor for class crypto.reporting.CommandLineReporter
Subclass of Reporter.
CommandLineReporter(String, List<CrySLRule>, long, boolean) - Constructor for class crypto.reporting.CommandLineReporter
Subclass of Reporter.
ComparisonConstraint - Class in crypto.constraints
 
ComparisonConstraint(ISLConstraint, ConstraintSolver) - Constructor for class crypto.constraints.ComparisonConstraint
 
compOpFromOperator(Operator) - Static method in class crypto.cryslhandler.CrySLReaderUtils
 
computeSeeds(SootMethod) - Method in class crypto.typestate.ExtendedIDEALAnaylsis
 
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(CallSiteWithExtractedValue, CrySLRule, IAnalysisSeed, ISLConstraint) - Constructor for class crypto.analysis.errors.ConstraintError
 
ConstraintReporter - Interface in crypto.analysis
 
constraints - Variable in class crypto.rules.CrySLRule
 
ConstraintsAreNotSatisfied - crypto.analysis.HiddenPredicate.HiddenPredicateType
 
ConstraintSolver - Class in crypto.constraints
 
ConstraintSolver(AnalysisSeedWithSpecification, Collection<Statement>, CrySLResultsReporter) - Constructor for class crypto.constraints.ConstraintSolver
 
constraintViolated(ISLConstraint, Statement) - Method in interface crypto.analysis.ConstraintReporter
 
convert(CrySLMethod) - Method in class crypto.typestate.CrySLMethodToSootMethod
 
convert(List<CrySLMethod>) - Method in class crypto.typestate.CrySLMethodToSootMethod
 
convert(SootMethod) - Method in class crypto.typestate.CrySLMethodToSootMethod
 
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(List<CrySLMethod>, StateNode, StateNode) - Method in class crypto.rules.StateMachineGraph
 
createNewNode() - Method in class crypto.rules.StateMachineGraph
 
crypto - package crypto
 
crypto.analysis - package crypto.analysis
 
crypto.analysis.errors - package crypto.analysis.errors
 
crypto.boomerang - package crypto.boomerang
 
crypto.constraints - package crypto.constraints
 
crypto.cryslhandler - package crypto.cryslhandler
 
crypto.exceptions - package crypto.exceptions
 
crypto.extractparameter - package crypto.extractparameter
 
crypto.interfaces - package crypto.interfaces
 
crypto.preanalysis - package crypto.preanalysis
 
crypto.predicates - package crypto.predicates
 
crypto.providerdetection - package crypto.providerdetection
 
crypto.reporting - package crypto.reporting
 
crypto.rules - package crypto.rules
 
crypto.typestate - package crypto.typestate
 
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.
CryptoAnalysisParserException(String, Throwable) - Constructor for exception crypto.exceptions.CryptoAnalysisParserException
Constructs a new exception with the specified detail message and cause.
cryptoScanner - Variable in class crypto.analysis.IAnalysisSeed
 
CryptoScanner - Class in crypto.analysis
 
CryptoScanner() - Constructor for class crypto.analysis.CryptoScanner
 
CryptoScannerSettings - Class in crypto.analysis
 
CryptoScannerSettings() - Constructor for class crypto.analysis.CryptoScannerSettings
 
CryptoScannerSettings.ControlGraph - Enum in crypto.analysis
 
CryptoScannerSettings.ReportFormat - Enum in crypto.analysis
 
CryptoScannerSettings.RulesetPathType - Enum in crypto.analysis
 
CrySLAnalysisListener - Class in crypto.analysis
 
CrySLAnalysisListener() - Constructor for class crypto.analysis.CrySLAnalysisListener
 
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, Set<StateNode>) - Constructor for class crypto.rules.CrySLCondPredicate
 
CrySLCondPredicate(ICrySLPredicateParameter, String, List<ICrySLPredicateParameter>, Boolean, Set<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, Boolean) - Constructor for class crypto.rules.CrySLForbiddenMethod
 
CrySLForbiddenMethod(CrySLMethod, Boolean, List<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
 
CrySLMethodToSootMethod - Class in crypto.typestate
 
CrySLMethodToSootMethod() - Constructor for class crypto.typestate.CrySLMethodToSootMethod
 
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(Set<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
 
CrySLResultsReporter - Class in crypto.analysis
 
CrySLResultsReporter() - Constructor for class crypto.analysis.CrySLResultsReporter
 
CrySLRule - Class in crypto.rules
 
CrySLRule(String, List<Map.Entry<String, String>>, List<CrySLForbiddenMethod>, StateMachineGraph, List<ISLConstraint>, List<CrySLPredicate>, List<CrySLPredicate>) - Constructor for class crypto.rules.CrySLRule
 
CrySLRuleReader - Class in crypto.rules
 
CrySLRuleReader() - Constructor for class crypto.rules.CrySLRuleReader
 
CrySLRuleReader(CrySLModelReader) - Constructor for class crypto.rules.CrySLRuleReader
 
CrySLRulesetSelector - Class in crypto.analysis
 
CrySLRulesetSelector() - Constructor for class crypto.analysis.CrySLRulesetSelector
 
CrySLRulesetSelector.Ruleset - Enum in crypto.analysis
current RuleSets
CrySLSplitter - Class in crypto.rules
 
CrySLSplitter(int, String) - Constructor for class crypto.rules.CrySLSplitter
 
CrySLValueConstraint - Class in crypto.rules
 
CrySLValueConstraint(CrySLObject, String) - Constructor for class crypto.rules.CrySLValueConstraint
 
CrySLValueConstraint(CrySLObject, List<String>) - Constructor for class crypto.rules.CrySLValueConstraint
 
CSV - crypto.analysis.CryptoScannerSettings.ReportFormat
 
CSV_SUMMARY - crypto.analysis.CryptoScannerSettings.ReportFormat
 
CSVReporter - Class in crypto.reporting
This class extends the class Reporter by generating an analysis report and write it into a csv file.
CSVReporter(String, String, List<CrySLRule>, long, boolean) - Constructor for class crypto.reporting.CSVReporter
Subclass of Reporter.
CSVSummaryReporter - Class in crypto.reporting
This class extends the class Reporter by generating a summary of the analysis and write it into a csv file.
CSVSummaryReporter(String, String, List<CrySLRule>, long, boolean) - Constructor for class crypto.reporting.CSVSummaryReporter
Subclass of Reporter.
CustomRules - crypto.analysis.CrySLRulesetSelector.Ruleset
 

D

dataflowReachableMethods - Variable in class crypto.reporting.Reporter
A Set to store and count all reachable methods in the dataflow
DATAFLOWVISITEDMETHODS_KEY - Static variable in class crypto.reporting.SARIFConfig
 
debugger(IDEALSeedSolver<TransitionFunction>) - Method in class crypto.typestate.ExtendedIDEALAnaylsis
 
debugger(IDEALSeedSolver<TransitionFunction>, IAnalysisSeed) - Method in class crypto.analysis.CryptoScanner
 
delegate() - Method in class crypto.typestate.WrappedState
 
DIR - crypto.analysis.CryptoScannerSettings.RulesetPathType
 
discoveredSeed(IAnalysisSeed) - Method in class crypto.analysis.CrySLResultsReporter
 
discoveredSeed(IAnalysisSeed) - Method in interface crypto.analysis.ICrySLResultsListener
 
discoveredSeed(IAnalysisSeed) - Method in class crypto.reporting.CollectErrorListener
 
discoveredSeed(IAnalysisSeed) - Method in class crypto.reporting.ErrorMarkerListener
 
discoveredSeed(IAnalysisSeed) - Method in class crypto.reporting.Reporter
 
doAnalysis(ObservableICFG<Unit, SootMethod>, String) - Method in class crypto.providerdetection.ProviderDetection
This method does the Provider Detection analysis and returns the detected provider after the analysis is finished.
done(ForwardBoomerangResults<TransitionFunction>) - Method in interface crypto.analysis.ResultsHandler
 

E

enableVisualization() - Method in class crypto.HeadlessCryptoScanner
 
EnsuredCrySLPredicate - Class in crypto.analysis
 
EnsuredCrySLPredicate(CrySLPredicate, Multimap<CallSiteWithParamIndex, ExtractedValue>) - Constructor for class crypto.analysis.EnsuredCrySLPredicate
 
ensuredPredicates(Table<Statement, Val, Set<EnsuredCrySLPredicate>>, Table<Statement, IAnalysisSeed, Set<CrySLPredicate>>, Table<Statement, IAnalysisSeed, Set<CrySLPredicate>>) - Method in class crypto.analysis.CrySLResultsReporter
 
ensuredPredicates(Table<Statement, Val, Set<EnsuredCrySLPredicate>>, Table<Statement, IAnalysisSeed, Set<CrySLPredicate>>, Table<Statement, IAnalysisSeed, Set<CrySLPredicate>>) - Method in interface crypto.analysis.ICrySLPerformanceListener
 
ensuredPredicates(Table<Statement, Val, Set<EnsuredCrySLPredicate>>, Table<Statement, IAnalysisSeed, Set<CrySLPredicate>>, Table<Statement, IAnalysisSeed, Set<CrySLPredicate>>) - Method in class crypto.reporting.ErrorMarkerListener
 
ensurePredicates(EnsuredCrySLPredicate) - Method in class crypto.analysis.AnalysisSeedWithEnsuredPredicate
 
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.AnalysisSeedWithSpecification
 
equals(Object) - Method in class crypto.analysis.ClassSpecification
 
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.ConstraintError
 
equals(Object) - Method in class crypto.analysis.errors.ForbiddenMethodError
 
equals(Object) - Method in class crypto.analysis.errors.ForbiddenPredicateError
 
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.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.RequiredCrySLPredicate
 
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.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.ParameterAwarePredicate
 
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.ReportingErrorStateNode
 
equals(Object) - Method in class crypto.typestate.WrappedState
 
errorCollection - Variable in class crypto.analysis.IAnalysisSeed
 
errorMarkerCount - Variable in class crypto.reporting.ErrorMarkerListener
 
ErrorMarkerListener - Class in crypto.reporting
This listener is notified of any misuses the analysis finds.
ErrorMarkerListener() - Constructor for class crypto.reporting.ErrorMarkerListener
 
errorMarkers - Variable in class crypto.reporting.ErrorMarkerListener
 
ErrorStateNode - Class in crypto.typestate
 
ErrorStateNode() - Constructor for class crypto.typestate.ErrorStateNode
 
ErrorVisitor - Interface in crypto.analysis.errors
 
ErrorWithObjectAllocation - Class in crypto.analysis.errors
 
ErrorWithObjectAllocation(Statement, CrySLRule, IAnalysisSeed) - Constructor for class crypto.analysis.errors.ErrorWithObjectAllocation
 
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
 
exec() - Method in class crypto.HeadlessCryptoScanner
 
execute() - Method in class crypto.analysis.AnalysisSeedWithEnsuredPredicate
 
execute() - Method in class crypto.analysis.AnalysisSeedWithSpecification
 
exitCode - Static variable in class crypto.HeadlessCryptoScanner
 
expectPredicate(IAnalysisSeed, Statement, CrySLPredicate) - Method in class crypto.predicates.PredicateHandler
 
ExtendedIDEALAnaylsis - Class in crypto.typestate
 
ExtendedIDEALAnaylsis() - Constructor for class crypto.typestate.ExtendedIDEALAnaylsis
 
ExtractedValue - Class in crypto.extractparameter
 
ExtractedValue(Statement, Value, Set<Node<Statement, Val>>) - Constructor for class crypto.extractparameter.ExtractedValue
 
ExtractParameterAnalysis - Class in crypto.extractparameter
 
ExtractParameterAnalysis(CryptoScanner, Map<Statement, SootMethod>, SootBasedStateMachineGraph) - Constructor for class crypto.extractparameter.ExtractParameterAnalysis
 
ExtractParameterAnalysis.AdditionalBoomerangQuery - Class in crypto.extractparameter
 
extractSootArray(CallSiteWithParamIndex, ExtractedValue) - Method in class crypto.constraints.EvaluableConstraint
Function that finds the values assigned to a soot array.
extractValueAsString(String, ISLConstraint) - 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
 
filterQuotes(String) - Static method in class crypto.reporting.ErrorMarkerListener
 
FiniteStateMachine<State> - Interface in crypto.interfaces
 
FiniteStateMachineToTypestateChangeFunction - Class in crypto.typestate
 
FiniteStateMachineToTypestateChangeFunction(SootBasedStateMachineGraph) - Constructor for class crypto.typestate.FiniteStateMachineToTypestateChangeFunction
 
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(Statement, CrySLRule, SootMethod, Collection<SootMethod>) - Constructor for class crypto.analysis.errors.ForbiddenMethodError
 
forbiddenMethods - Variable in class crypto.rules.CrySLRule
 
ForbiddenPredicateError - Class in crypto.analysis.errors
 
ForbiddenPredicateError(CrySLPredicate, Statement, CrySLRule, CallSiteWithExtractedValue) - Constructor for class crypto.analysis.errors.ForbiddenPredicateError
 
forbiddenPredicates() - Method in class crypto.HeadlessCryptoScanner
 
from() - Method in interface crypto.interfaces.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(SootMethod, Unit) - Method in class crypto.preanalysis.SeedFactory
 
generateReport(List<CrySLRule>, Collection<IAnalysisSeed>, List<IAnalysisSeed>, Table<SootClass, SootMethod, Set<AbstractError>>, Map<Class<?>, Integer>, ReportStatistics) - Static method in class crypto.reporting.ReporterHelper
Generates an analysis report content for the CommandLineReporter and TXTReporter.
generateSeed(SootMethod, Unit) - Method in class crypto.typestate.FiniteStateMachineToTypestateChangeFunction
 
GeneratingStateIsNeverReached - crypto.analysis.HiddenPredicate.HiddenPredicateType
 
getAbsolutePath(SootClass) - Method in class crypto.reporting.SourceCodeLocater
 
getAccepting() - Method in class crypto.rules.StateNode
 
getAcceptingStates() - Method in interface crypto.interfaces.FiniteStateMachine
 
getAcceptingStates() - Method in class crypto.rules.StateMachineGraph
 
getAdditionalListener() - Method in class crypto.HeadlessCryptoScanner
 
getAllCallsOnObject() - Method in class crypto.analysis.AnalysisSeedWithSpecification
 
getAllConstraints() - Method in class crypto.constraints.ConstraintSolver
 
getAllocationVal(SootMethod, Stmt, Val, ObservableICFG<Unit, SootMethod>) - Method in class crypto.boomerang.CogniCryptBoomerangOptions
 
getAllocationVal(SootMethod, Stmt, Val, ObservableICFG<Unit, SootMethod>) - Method in class crypto.boomerang.CogniCryptIntAndStringBoomerangOptions
 
getAllOutgoingEdges(StateNode) - Method in class crypto.rules.StateMachineGraph
 
getAllQuerySites() - Method in class crypto.extractparameter.ExtractParameterAnalysis
 
getAllTransitions() - Method in interface crypto.interfaces.FiniteStateMachine
 
getAllTransitions() - Method in class crypto.rules.StateMachineGraph
 
getAllTransitions() - Method in class crypto.typestate.SootBasedStateMachineGraph
 
getAlternatives() - Method in class crypto.analysis.AlternativeReqPredicate
 
getAlternatives() - Method in class crypto.analysis.errors.ForbiddenMethodError
 
getAlternatives() - Method in class crypto.rules.CrySLForbiddenMethod
 
getAnalysisListener() - Method in class crypto.analysis.CryptoScanner
 
getAnalysisSeeds() - Method in class crypto.analysis.CryptoScanner
 
getAnalysisTime() - Method in class crypto.reporting.ReportStatistics
 
getApplicationPath() - Method in class crypto.analysis.CryptoScannerSettings
 
getBaseObject() - Method in class crypto.rules.CrySLPredicate
 
getBrokenConstraint() - Method in class crypto.analysis.errors.ConstraintError
 
getCalledMethod() - Method in class crypto.analysis.errors.ForbiddenMethodError
 
getCallgraphReachableMethods() - Method in class crypto.reporting.ReportStatistics
 
getCallgraphReachableMethodsWithActiveBodies() - Method in class crypto.reporting.ReportStatistics
 
getCallgraphTime() - Method in class crypto.reporting.ReportStatistics
 
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.
getClassSpec() - Method in class crypto.constraints.ConstraintSolver
 
getClassSpecifications() - Method in class crypto.analysis.CryptoScanner
 
getCollectedCalls() - Method in class crypto.constraints.ConstraintSolver
 
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
 
getContradictedPredicate() - Method in class crypto.analysis.errors.ForbiddenPredicateError
 
getContradictedPredicates() - Method in class crypto.analysis.errors.RequiredPredicateError
This method returns a list of contradicting predicates
getControlGraph() - Method in class crypto.analysis.CryptoScannerSettings
 
getDataFlowPath() - Method in class crypto.analysis.AnalysisSeedWithEnsuredPredicate
 
getDataFlowPath() - Method in class crypto.analysis.AnalysisSeedWithSpecification
 
getDataFlowPath() - Method in class crypto.analysis.errors.ConstraintError
 
getDataFlowPath() - Method in class crypto.analysis.errors.ErrorWithObjectAllocation
 
getDataFlowPath() - Method in class crypto.analysis.IAnalysisSeed
 
getDataFlowPath() - Method in class crypto.extractparameter.ExtractedValue
 
getDataflowVisitedMethods() - Method in class crypto.reporting.ReportStatistics
 
getEdges() - Method in class crypto.rules.StateMachineGraph
 
getEdgesOutOf(State) - Method in class crypto.typestate.SootBasedStateMachineGraph
 
getErrorLocation() - Method in class crypto.analysis.errors.AbstractError
 
getErrors() - Method in class crypto.analysis.IAnalysisSeed
 
getErrors() - Method in class crypto.constraints.EvaluableConstraint
 
getErrors() - Method in class crypto.reporting.CollectErrorListener
 
getErrorTransition(State, Collection<SootMethod>, MatcherTransition.Parameter, State, MatcherTransition.Type) - Static method in class crypto.typestate.LabeledMatcherTransition
 
getErrorVariable() - Method in class crypto.analysis.errors.IncompleteOperationError
 
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.predicates.PredicateHandler
 
getExpectedCalls() - Method in class crypto.typestate.ReportingErrorStateNode
 
getExpectedMethodCalls() - Method in class crypto.analysis.errors.IncompleteOperationError
 
getExpectedMethodCalls() - Method in class crypto.analysis.errors.TypestateError
 
getExtractedValues() - Method in class crypto.analysis.errors.ForbiddenPredicateError
 
getExtractedValues() - Method in class crypto.analysis.errors.RequiredPredicateError
 
getFileName(SootClass) - Method in class crypto.reporting.SARIFHelper
 
getForbiddenMethods() - Method in class crypto.rules.CrySLRule
 
getForbiddenPredicates() - Method in class crypto.analysis.CryptoScanner
 
getForbiddenPredicates() - Method in class crypto.analysis.CryptoScannerSettings
 
getFSM() - Method in class crypto.analysis.ClassSpecification
 
getGeneratingSeed() - Method in class crypto.analysis.HiddenPredicate
 
getHopsToAccepting() - Method in class crypto.rules.StateNode
 
getIdentifier() - Method in class crypto.analysis.CryptoScannerSettings
 
getIgnoredSections() - Method in class crypto.analysis.CryptoScanner
 
getIgnoredSections() - Method in class crypto.analysis.CryptoScannerSettings
 
getIndex() - Method in class crypto.extractparameter.CallSiteWithParamIndex
 
getIndex() - Method in class crypto.rules.CrySLSplitter
 
getInit() - Method in class crypto.rules.StateNode
 
getInitialSeeds(SootMethod) - Method in class crypto.analysis.ClassSpecification
 
getInitialTransition() - Method in interface crypto.interfaces.FiniteStateMachine
 
getInitialTransition() - Method in class crypto.rules.StateMachineGraph
 
getInitialTransition() - Method in class crypto.typestate.SootBasedStateMachineGraph
 
getInitialTransitions() - Method in class crypto.rules.StateMachineGraph
 
getInitialWeight(Statement) - Method in class crypto.typestate.SootBasedStateMachineGraph
 
getInstance(ISLConstraint, ConstraintSolver) - Static method in class crypto.constraints.EvaluableConstraint
 
getInvolvedMethods() - Method in class crypto.analysis.ClassSpecification
 
getInvolvedMethods() - Method in class crypto.typestate.SootBasedStateMachineGraph
 
getInvolvedVarNames() - Method in class crypto.analysis.AlternativeReqPredicate
 
getInvolvedVarNames() - Method in class crypto.analysis.RequiredCrySLPredicate
 
getInvolvedVarNames() - Method in interface crypto.interfaces.ISLConstraint
 
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
 
getJavaType() - Method in class crypto.rules.CrySLObject
 
getLabel() - Method in interface crypto.interfaces.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
 
getLocation() - Method in class crypto.analysis.AlternativeReqPredicate
 
getLocation() - Method in class crypto.analysis.RequiredCrySLPredicate
 
getLocation() - Method in interface crypto.interfaces.ISLConstraint
 
getLocation() - Method in class crypto.rules.CrySLConstraint
 
getLocation() - Method in class crypto.rules.CrySLExceptionConstraint
 
getLocation() - Method in class crypto.rules.CrySLLiteral
 
getLocations(SootClass, String, int, String, String) - Method in class crypto.reporting.SARIFHelper
 
getMatching(SootMethod) - Method in class crypto.typestate.LabeledMatcherTransition
Return the CrySLMethod's that match the given method.
getMessage(String, String) - Method in class crypto.reporting.SARIFHelper
 
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
 
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 interface crypto.interfaces.ICrySLPredicateParameter
 
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 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
 
getObjectLocation() - Method in class crypto.analysis.errors.ErrorWithObjectAllocation
 
getObjects() - Method in class crypto.reporting.Reporter
 
getObjects() - Method in class crypto.rules.CrySLRule
 
getObjectType() - Method in class crypto.analysis.errors.ErrorWithObjectAllocation
 
getOperator() - Method in class crypto.rules.CrySLArithmeticConstraint
 
getOperator() - Method in class crypto.rules.CrySLComparisonConstraint
 
getOperator() - Method in class crypto.rules.CrySLConstraint
 
getOrCreateSeed(Node<Statement, Val>) - Method in class crypto.analysis.CryptoScanner
 
getOrCreateSeedWithSpec(AnalysisSeedWithSpecification) - Method in class crypto.analysis.CryptoScanner
 
getOutputFolder() - Method in class crypto.HeadlessCryptoScanner
 
getOutputFolder() - Method in class crypto.reporting.Reporter
 
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
 
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
 
getProvider() - Method in class crypto.providerdetection.ProviderDetection
 
getRelConstraints() - Method in class crypto.constraints.ConstraintSolver
 
getReportDirectory() - Method in class crypto.analysis.CryptoScannerSettings
 
getReporter() - Method in class crypto.constraints.ConstraintSolver
 
getReportFormats() - Method in class crypto.analysis.CryptoScannerSettings
 
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.ExtendedIDEALAnaylsis
 
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.ClassSpecification
 
getRule() - Method in class crypto.analysis.errors.AbstractError
 
getRuleDescription(String) - Method in class crypto.reporting.SARIFHelper
 
getRules() - Method in class crypto.HeadlessCryptoScanner
 
getRules() - Method in class crypto.reporting.Reporter
 
getRulesDirectory() - Method in class crypto.providerdetection.ProviderDetection
 
getRulesetPathDir() - Method in class crypto.analysis.CryptoScannerSettings
 
getRulesetPathType() - Method in class crypto.analysis.CryptoScannerSettings
 
getSeedObjectCount() - Method in class crypto.reporting.ReportStatistics
 
getShortMethodName() - Method in class crypto.rules.CrySLMethod
 
getSilent() - Method in class crypto.rules.CrySLForbiddenMethod
 
getSoftwareID() - Method in class crypto.reporting.ReportStatistics
 
getSootPath() - Method in class crypto.analysis.CryptoScannerSettings
 
getSpec() - Method in class crypto.analysis.AnalysisSeedWithSpecification
 
getSplitter() - Method in class crypto.rules.CrySLObject
 
getSplitter() - Method in class crypto.rules.CrySLSplitter
 
getStateMachine() - Method in class crypto.typestate.ExtendedIDEALAnaylsis
 
getStatistics() - Method in class crypto.reporting.Reporter
 
getStatisticsInfo(ReportStatistics) - Method in class crypto.reporting.SARIFHelper
 
getSubsequentErrors() - Method in class crypto.analysis.errors.AbstractError
 
getToolInfo() - Method in class crypto.reporting.SARIFHelper
 
getTransition(State, Collection<CrySLMethod>, MatcherTransition.Parameter, State, MatcherTransition.Type) - Static method in class crypto.typestate.LabeledMatcherTransition
 
getTrap(Body, Unit, SootClass) - 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
 
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.ImpreciseValueExtractionError
 
GITHUB_ANNOTATION - crypto.analysis.CryptoScannerSettings.ReportFormat
 
GitHubAnnotationReporter - Class in crypto.reporting
 
GitHubAnnotationReporter(String, List<CrySLRule>, long, boolean) - Constructor for class crypto.reporting.GitHubAnnotationReporter
The constructor to initialize all attributes.

H

handleAnalysisResults() - Method in class crypto.reporting.CommandLineReporter
 
handleAnalysisResults() - Method in class crypto.reporting.CSVReporter
 
handleAnalysisResults() - Method in class crypto.reporting.CSVSummaryReporter
 
handleAnalysisResults() - Method in class crypto.reporting.GitHubAnnotationReporter
 
handleAnalysisResults() - Method in class crypto.reporting.Reporter
This method is called after the analysis is finished and all statistics have been computed.
handleAnalysisResults() - Method in class crypto.reporting.SARIFReporter
 
handleAnalysisResults() - Method in class crypto.reporting.TXTReporter
 
HARDCODED_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(CallSiteWithExtractedValue, CrySLRule, IAnalysisSeed, 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.AnalysisSeedWithSpecification
 
hashCode() - Method in class crypto.analysis.ClassSpecification
 
hashCode() - Method in class crypto.analysis.EnsuredCrySLPredicate
 
hashCode() - Method in class crypto.analysis.errors.AbstractError
 
hashCode() - Method in class crypto.analysis.errors.ConstraintError
 
hashCode() - Method in class crypto.analysis.errors.ForbiddenMethodError
 
hashCode() - Method in class crypto.analysis.errors.ForbiddenPredicateError
 
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.PredicateContradictionError
 
hashCode() - Method in class crypto.analysis.errors.RequiredPredicateError
 
hashCode() - Method in class crypto.analysis.errors.TypestateError
 
hashCode() - Method in class crypto.analysis.RequiredCrySLPredicate
 
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.ReportingErrorStateNode
 
hashCode() - Method in class crypto.typestate.WrappedState
 
hasSeeds() - Method in class crypto.HeadlessCryptoScanner
 
hasSeeds() - Method in class crypto.preanalysis.SeedFactory
 
HeadlessCryptoScanner - Class in crypto
 
HeadlessCryptoScanner() - 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

IAnalysisSeed - Class in crypto.analysis
 
IAnalysisSeed(CryptoScanner, Statement, Val, TransitionFunction) - Constructor for class crypto.analysis.IAnalysisSeed
 
icfg() - Method in class crypto.analysis.CryptoScanner
 
icfg() - Method in class crypto.typestate.ExtendedIDEALAnaylsis
 
ICrySLPerformanceListener - Interface in crypto.analysis
 
ICrySLPredicateParameter - Interface in crypto.interfaces
 
ICrySLResultsListener - Interface in crypto.analysis
 
IError - Interface in crypto.analysis.errors
 
ignoredSections() - Method in class crypto.HeadlessCryptoScanner
 
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(ISLConstraint, Statement, CrySLRule) - Constructor for class crypto.analysis.errors.ImpreciseValueExtractionError
 
includeStatistics() - Method in class crypto.HeadlessCryptoScanner
 
includeStatistics() - Method in class crypto.reporting.Reporter
 
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: 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.
IncompleteOperationError(Statement, Val, CrySLRule, IAnalysisSeed, Collection<SootMethod>) - Constructor for class crypto.analysis.errors.IncompleteOperationError
 
initialJson() - Method in class crypto.reporting.SARIFHelper
 
initialState() - Method in class crypto.typestate.FiniteStateMachineToTypestateChangeFunction
 
initialTransitonLabel() - Method in class crypto.typestate.SootBasedStateMachineGraph
 
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(CallSiteWithExtractedValue, CrySLRule, IAnalysisSeed, ISLConstraint) - Constructor for class crypto.analysis.errors.InstanceOfError
 
internalTransform(Body, String, Map<String, String>) - Method in class crypto.preanalysis.ExceptionAwareTransformer
 
invokesForbiddenMethod(SootMethod) - Method in class crypto.analysis.ClassSpecification
 
isAccepting() - Method in class crypto.typestate.ErrorStateNode
 
isAccepting() - Method in class crypto.typestate.ReportingErrorStateNode
 
isAccepting() - Method in class crypto.typestate.WrappedState
 
isAllocationVal(Value) - Method in class crypto.boomerang.CogniCryptBoomerangOptions
 
isArithmeticExpression(Constraint) - Static method in class crypto.cryslhandler.CrySLReaderUtils
 
isCaughtAs(SootClass, SootClass) - 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
 
isHardCoded(ExtractedValue) - Method in class crypto.constraints.PredicateConstraint
 
isIncludeStatistics() - Method in class crypto.analysis.CryptoScannerSettings
 
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.interfaces
 
isLeafRule() - Method in class crypto.analysis.ClassSpecification
 
isLeafRule() - Method in class crypto.rules.CrySLRule
 
isLogicExpression(Constraint) - Static method in class crypto.cryslhandler.CrySLReaderUtils
 
isNegated() - Method in class crypto.rules.CrySLPredicate
 
isOnIgnoreSectionList(SootMethod) - Method in class crypto.analysis.CryptoScanner
 
isPreAnalysis() - Method in class crypto.analysis.CryptoScannerSettings
 
isPreAnalysis() - Method in class crypto.HeadlessCryptoScanner
 
isProviderDetectionAnalysis() - Method in class crypto.analysis.CryptoScannerSettings
 
isReport() - Method in class crypto.typestate.ReportingErrorStateNode
 
isSameMethod(SootMethod) - Method in class crypto.constraints.ExceptionConstraint
 
isSecure() - Method in class crypto.analysis.AnalysisSeedWithSpecification
 
isSubtype(SootClass, SootClass) - Static method in class crypto.typestate.LabeledMatcherTransition
Returns whether parent is a super type of child, i.e.
isSubType(String, String) - Method in class crypto.constraints.PredicateConstraint
 
isVisualization() - Method in class crypto.analysis.CryptoScannerSettings
 

J

JAVA_CLASS_PATH - Static variable in class crypto.cryslhandler.CrySLModelReaderClassPath
 
JavaCryptographicArchitecture - crypto.analysis.CrySLRulesetSelector.Ruleset
 

L

l - crypto.rules.CrySLComparisonConstraint.CompOp
 
LabeledMatcherTransition - Class in crypto.typestate
 
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
 
log(String) - Method in class crypto.typestate.ExtendedIDEALAnaylsis
 
LOGGER - Static variable in class crypto.constraints.EvaluableConstraint
 
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
 
makeFromRuleset(String, CrySLRulesetSelector.Ruleset...) - Static method in class crypto.analysis.CrySLRulesetSelector
Creates CrySLRule objects for the given RuleSet argument and returns them as List.
makeFromRulesetPath(String) - Static method in class crypto.analysis.CrySLRulesetSelector
 
makeFromRulesetString(String, String) - Static method in class crypto.analysis.CrySLRulesetSelector
Computes the ruleset from a string.
makeSingleRule(String, CrySLRulesetSelector.Ruleset, String) - Static method in class crypto.analysis.CrySLRulesetSelector
Creates and returns a single CrySLRule object for the given RuleSet argument.
mapPrecedingErrors() - Method in class crypto.analysis.errors.RequiredPredicateError
 
matches(SootMethod) - Method in class crypto.typestate.LabeledMatcherTransition
The matches method of MatcherTransition matches Methods taken from some InvokeExpr's.
matches(SootMethod, SootMethod) - Static method in class crypto.typestate.LabeledMatcherTransition
Match the called method against a declared method and checker whether the called method could actually be the declared one.
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
 
negatedPredicates - Variable in class crypto.rules.CrySLRule
 
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(CallSiteWithExtractedValue, CrySLRule, IAnalysisSeed, ISLConstraint) - Constructor for class crypto.analysis.errors.NeverTypeOfError
 
NO_NAME - Static variable in class crypto.rules.CrySLMethod
 
NONE - crypto.analysis.CryptoScannerSettings.RulesetPathType
 

O

objects - Variable in class crypto.reporting.Reporter
A Collection to store and count all analyzed objects
onSecureObjectFound(IAnalysisSeed) - Method in class crypto.analysis.CrySLResultsReporter
 
onSecureObjectFound(IAnalysisSeed) - Method in interface crypto.analysis.ICrySLResultsListener
 
onSecureObjectFound(IAnalysisSeed) - Method in class crypto.reporting.CollectErrorListener
 
onSecureObjectFound(IAnalysisSeed) - Method in class crypto.reporting.ErrorMarkerListener
 
onSeedFinished(IAnalysisSeed, ForwardBoomerangResults<TransitionFunction>) - Method in class crypto.analysis.CrySLResultsReporter
 
onSeedFinished(IAnalysisSeed, ForwardBoomerangResults<TransitionFunction>) - Method in interface crypto.analysis.ICrySLResultsListener
 
onSeedFinished(IAnalysisSeed, ForwardBoomerangResults<TransitionFunction>) - Method in class crypto.reporting.CollectErrorListener
 
onSeedFinished(IAnalysisSeed, ForwardBoomerangResults<TransitionFunction>) - Method in class crypto.reporting.ErrorMarkerListener
 
onSeedFinished(IAnalysisSeed, ForwardBoomerangResults<TransitionFunction>) - Method in class crypto.reporting.Reporter
 
onSeedTimeout(Node<Statement, Val>) - Method in class crypto.analysis.CrySLResultsReporter
 
onSeedTimeout(Node<Statement, Val>) - Method in interface crypto.analysis.ICrySLResultsListener
 
onSeedTimeout(Node<Statement, Val>) - Method in class crypto.reporting.CollectErrorListener
 
onSeedTimeout(Node<Statement, Val>) - Method in class crypto.reporting.ErrorMarkerListener
 
onTheFlyCallGraph() - Method in class crypto.boomerang.CogniCryptBoomerangOptions
 
onTheFlyCallGraph() - Method in class crypto.boomerang.CogniCryptIntAndStringBoomerangOptions
 
or - crypto.rules.CrySLConstraint.LogOps
 

P

p - crypto.rules.CrySLArithmeticConstraint.ArithOp
 
ParameterAwarePredicate - Class in crypto.rules
Extension of CrySLPredicate, to take the parameters into account, when checking for Equality.
ParameterAwarePredicate(ICrySLPredicateParameter, String, List<ICrySLPredicateParameter>, Boolean) - Constructor for class crypto.rules.ParameterAwarePredicate
 
ParameterAwarePredicate(ICrySLPredicateParameter, String, List<ICrySLPredicateParameter>, Boolean, ISLConstraint) - Constructor for class crypto.rules.ParameterAwarePredicate
 
parameters - Variable in class crypto.rules.CrySLPredicate
 
parseSettingsFromCLI(String[]) - Method in class crypto.analysis.CryptoScannerSettings
 
PHYSICAL_LOCATION_KEY - Static variable in class crypto.reporting.SARIFConfig
 
predefinedPreds - Static variable in class crypto.constraints.ConstraintSolver
 
PredicateConstraint - Class in crypto.constraints
 
PredicateConstraint(ISLConstraint, ConstraintSolver) - Constructor for class crypto.constraints.PredicateConstraint
 
PredicateContradictionError - Class in crypto.analysis.errors
 
PredicateContradictionError(Statement, CrySLRule, Map.Entry<CrySLPredicate, CrySLPredicate>) - Constructor for class crypto.analysis.errors.PredicateContradictionError
 
predicateHandler - Variable in class crypto.analysis.IAnalysisSeed
 
PredicateHandler - Class in crypto.predicates
 
PredicateHandler(CryptoScanner) - Constructor for class crypto.predicates.PredicateHandler
 
predicates - Variable in class crypto.rules.CrySLRule
 
predName - Variable in class crypto.rules.CrySLPredicate
 
providerDetection() - Method in class crypto.HeadlessCryptoScanner
 
ProviderDetection - Class in crypto.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.
ProviderDetection() - Constructor for class crypto.providerdetection.ProviderDetection
 
ProviderDetection(CrySLRuleReader) - Constructor for class crypto.providerdetection.ProviderDetection
 

R

readFromDirectory(File) - Method in class crypto.rules.CrySLRuleReader
Returns a List of CrySLRule objects read from a directory
readFromDirectory(File, boolean) - Method in class crypto.rules.CrySLRuleReader
Returns a List of CrySLRule objects read from a directory.
readFromFile(File) - Static method in class crypto.rules.StateMachineGraphReader
 
readFromSourceFile(File) - Method in class crypto.rules.CrySLRuleReader
Returns a CrySLRule read from a single CrySL file.
readFromSourceFiles(List<File>) - Method in class crypto.rules.CrySLRuleReader
Returns a list with CrySLRule objects from the files.
readFromZipFile(File) - Method in class crypto.rules.CrySLRuleReader
Returns a List of CrySLRule objects read from a Zip File.
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.
readRulesFromFiles(List<File>) - Method in class crypto.cryslhandler.CrySLModelReader
Read the crysl rules from all given files.
REGION_KEY - Static variable in class crypto.reporting.SARIFConfig
 
registerResultsHandler(ResultsHandler) - Method in class crypto.analysis.AnalysisSeedWithSpecification
 
removeReportListener(CrySLAnalysisListener) - Method in class crypto.analysis.CrySLResultsReporter
 
Reporter - Class in crypto.reporting
Superclass for all reporters.
Reporter(File, String, List<CrySLRule>, long, boolean) - Constructor for class crypto.reporting.Reporter
The constructor to initialize all attributes.
ReporterHelper - Class in crypto.reporting
This class is used to generate a report as a String for multiple other classes.
ReporterHelper() - Constructor for class crypto.reporting.ReporterHelper
 
reportError(AbstractError) - Method in interface crypto.analysis.ICrySLResultsListener
 
reportError(AbstractError) - Method in class crypto.reporting.CollectErrorListener
 
reportError(AbstractError) - Method in class crypto.reporting.CSVSummaryReporter
 
reportError(AbstractError) - Method in class crypto.reporting.ErrorMarkerListener
 
reportError(IAnalysisSeed, AbstractError) - Method in class crypto.analysis.CrySLResultsReporter
 
reportForbiddenPredicate(EnsuredCrySLPredicate, Statement, IAnalysisSeed) - Method in class crypto.predicates.PredicateHandler
 
reportFormats() - Method in class crypto.HeadlessCryptoScanner
 
ReportingErrorStateNode - Class in crypto.typestate
 
ReportingErrorStateNode(Collection<SootMethod>) - Constructor for class crypto.typestate.ReportingErrorStateNode
 
ReportStatistics - Class in crypto.reporting
This class is used by the class Reporter to store all statistics, which are relevant for the analysis.
ReportStatistics() - Constructor for class crypto.reporting.ReportStatistics
Creates an instance to store all relevant statistics for an analysis.
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 contradictedPredicate a CrySLPredicate holds the contradicted required predicate or parameter extractedValues a CallSiteWithExtractedValue hold the location value of the missing required predicate or parameter
RequiredPredicateError(List<CrySLPredicate>, Statement, CrySLRule, CallSiteWithExtractedValue) - Constructor for class crypto.analysis.errors.RequiredPredicateError
 
reset() - Static method in class crypto.typestate.CrySLMethodToSootMethod
 
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
 
run() - Method in class crypto.extractparameter.ExtractParameterAnalysis
 
run() - Method in class crypto.typestate.ExtendedIDEALAnaylsis
Only use this method for testing
run(ForwardQuery) - Method in class crypto.typestate.ExtendedIDEALAnaylsis
 
RUNS_KEY - Static variable in class crypto.reporting.SARIFConfig
 

S

SARIF - crypto.analysis.CryptoScannerSettings.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
 
SARIFHelper(SourceCodeLocater) - Constructor for class crypto.reporting.SARIFHelper
 
SARIFReporter - Class in crypto.reporting
This class extends the class Reporter by generating an analysis report and write it into a JSON file in the SARIF format.
SARIFReporter(String, String, List<CrySLRule>, long, boolean) - Constructor for class crypto.reporting.SARIFReporter
Subclass of Reporter.
scan(List<CrySLRule>) - Method in class crypto.analysis.CryptoScanner
 
secureObjects - Variable in class crypto.reporting.ErrorMarkerListener
 
SeedFactory - Class in crypto.preanalysis
 
SeedFactory(List<CrySLRule>) - Constructor for class crypto.preanalysis.SeedFactory
 
SEEDOBJECTCOUNT_KEY - Static variable in class crypto.reporting.SARIFConfig
 
seedStarted(IAnalysisSeed) - Method in class crypto.analysis.CrySLResultsReporter
 
seedStarted(IAnalysisSeed) - Method in interface crypto.analysis.ICrySLPerformanceListener
 
seedStarted(IAnalysisSeed) - Method in class crypto.reporting.ErrorMarkerListener
 
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
 
setAnalysisTime(long) - Method in class crypto.reporting.ReportStatistics
 
setCallgraphReachableMethods(int) - Method in class crypto.reporting.ReportStatistics
 
setCallgraphReachableMethodsWithActiveBodies(int) - Method in class crypto.reporting.ReportStatistics
 
setCallgraphTime(long) - Method in class crypto.reporting.ReportStatistics
 
setDataflowVisitedMethods(int) - Method in class crypto.reporting.ReportStatistics
 
setHopsToAccepting(int) - Method in class crypto.rules.StateNode
 
setLocation(Statement) - Method in class crypto.analysis.AlternativeReqPredicate
 
setLocation(Statement) - Method in class crypto.analysis.RequiredCrySLPredicate
 
setLocation(Statement) - Method in interface crypto.interfaces.ISLConstraint
 
setLocation(Statement) - Method in class crypto.rules.CrySLConstraint
 
setLocation(Statement) - Method in class crypto.rules.CrySLExceptionConstraint
 
setLocation(Statement) - Method in class crypto.rules.CrySLLiteral
 
setNegated(boolean) - Method in class crypto.rules.CrySLPredicate
 
setRules(List<CrySLRule>) - Static method in class crypto.HeadlessCryptoScanner
 
setRulesDirectory(String) - Method in class crypto.providerdetection.ProviderDetection
 
setSecure(boolean) - Method in class crypto.analysis.AnalysisSeedWithSpecification
 
setSeedObjectCount(int) - Method in class crypto.reporting.ReportStatistics
 
setSoftwareID(String) - Method in class crypto.reporting.ReportStatistics
 
setup(List<CrySLRule>) - Static method in class crypto.preanalysis.ExceptionAwareTransformer
 
SOFTWAREID_KEY - Static variable in class crypto.reporting.SARIFConfig
 
softwareIdentifier() - Method in class crypto.HeadlessCryptoScanner
 
solve() - Method in class crypto.extractparameter.ExtractParameterAnalysis.AdditionalBoomerangQuery
 
solved - Variable in class crypto.extractparameter.ExtractParameterAnalysis.AdditionalBoomerangQuery
 
SootBasedStateMachineGraph - Class in crypto.typestate
 
SootBasedStateMachineGraph(StateMachineGraph) - Constructor for class crypto.typestate.SootBasedStateMachineGraph
 
sootClassPath() - Method in class crypto.HeadlessCryptoScanner
 
SourceCodeLocater - Class in crypto.reporting
 
SourceCodeLocater(File) - Constructor for class crypto.reporting.SourceCodeLocater
 
SPARK - crypto.analysis.CryptoScannerSettings.ControlGraph
 
SPARKLIB - crypto.analysis.CryptoScannerSettings.ControlGraph
 
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, List<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 - Variable in class crypto.reporting.Reporter
An instance of ReportStatistics to store all relevant analysis statistics
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
 
Tink - crypto.analysis.CrySLRulesetSelector.Ruleset
 
to() - Method in interface crypto.interfaces.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.ConstraintError
 
toErrorMarkerString() - Method in class crypto.analysis.errors.ForbiddenMethodError
 
toErrorMarkerString() - Method in class crypto.analysis.errors.ForbiddenPredicateError
 
toErrorMarkerString() - Method in class crypto.analysis.errors.ImpreciseValueExtractionError
 
toErrorMarkerString() - Method in class crypto.analysis.errors.IncompleteOperationError
 
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
 
toNormalPredicate() - Method in class crypto.rules.ParameterAwarePredicate
 
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.ClassSpecification
 
toString() - Method in class crypto.analysis.EnsuredCrySLPredicate
 
toString() - Method in class crypto.analysis.errors.AbstractError
 
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
 
toSubSignatures(Collection<SootMethod>) - Static method in class crypto.rules.CrySLRule
 
trackStaticFieldAtEntryPointToClinit() - Method in class crypto.boomerang.CogniCryptBoomerangOptions
 
trackStaticFieldAtEntryPointToClinit() - Method in class crypto.boomerang.CogniCryptIntAndStringBoomerangOptions
 
Transition<State> - Interface in crypto.interfaces
 
TransitionEdge - Class in crypto.rules
 
TransitionEdge(List<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.analysis.CryptoScannerSettings.ReportFormat
 
TXTReporter - Class in crypto.reporting
This class extends the class Reporter by generating a report and writing it into a text file.
TXTReporter(String, String, List<CrySLRule>, long, boolean) - Constructor for class crypto.reporting.TXTReporter
Subclass of Reporter.
TYPE_STATE_ERROR_KEY - Static variable in class crypto.reporting.SARIFConfig
 
TYPE_STATE_ERROR_VALUE - Static variable in class crypto.reporting.SARIFConfig
 
TypestateError - Class in crypto.analysis.errors
 
TypestateError(Statement, CrySLRule, IAnalysisSeed, Collection<SootMethod>) - Constructor for class crypto.analysis.errors.TypestateError
 

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(Statement, CrySLRule, SootClass) - Constructor for class crypto.analysis.errors.UncaughtExceptionError
 
unevaluableConstraint(ISLConstraint, Statement) - Method in interface crypto.analysis.ConstraintReporter
 
URI_KEY - Static variable in class crypto.reporting.SARIFConfig
 
usagePattern - Variable in class crypto.rules.CrySLRule
 

V

v() - Static method in class crypto.typestate.CrySLMethodToSootMethod
 
ValueConstraint - Class in crypto.constraints
 
ValueConstraint(ISLConstraint, ConstraintSolver) - Constructor for class crypto.constraints.ValueConstraint
 
valueOf(String) - Static method in enum crypto.analysis.CryptoScannerSettings.ControlGraph
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum crypto.analysis.CryptoScannerSettings.ReportFormat
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum crypto.analysis.CryptoScannerSettings.RulesetPathType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum crypto.analysis.CrySLRulesetSelector.Ruleset
Returns the enum constant of this type with the specified name.
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.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.CryptoScannerSettings.ControlGraph
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum crypto.analysis.CryptoScannerSettings.ReportFormat
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum crypto.analysis.CryptoScannerSettings.RulesetPathType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum crypto.analysis.CrySLRulesetSelector.Ruleset
Returns an array containing the constants of this enum type, in the order they are declared.
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.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
 
visit(ConstraintError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(ForbiddenMethodError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(ForbiddenPredicateError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(HardCodedError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(ImpreciseValueExtractionError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(IncompleteOperationError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(NeverTypeOfError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(PredicateContradictionError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(RequiredPredicateError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(TypestateError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
visit(UncaughtExceptionError) - Method in interface crypto.analysis.errors.ErrorVisitor
 
VOID - Static variable in class crypto.rules.CrySLMethod
 

W

WrappedState - Class in crypto.typestate
 
WrappedState(StateNode) - Constructor for class crypto.typestate.WrappedState
 
wrapUpCreation() - Method in class crypto.rules.StateMachineGraph
 

Z

ZIP - crypto.analysis.CryptoScannerSettings.RulesetPathType
 
A B C D E F G H I J L M N O P R S T U V W Z 
All Classes All Packages