Uses of Class
crypto.rules.CrySLRule

Packages that use CrySLRule

Package	Description
crypto
crypto.analysis
crypto.analysis.errors
crypto.cryslhandler
crypto.preanalysis
crypto.providerdetection
crypto.reporting
crypto.rules

Uses of CrySLRule in crypto

Methods in crypto that return types with arguments of type CrySLRule

Modifier and Type	Method	Description
protected abstract List<CrySLRule>	HeadlessCryptoScanner.getRules()

Method parameters in crypto with type arguments of type CrySLRule

Modifier and Type	Method	Description
static void	HeadlessCryptoScanner.setRules(List<CrySLRule> rules)

Uses of CrySLRule in crypto.analysis

Methods in crypto.analysis that return CrySLRule

Modifier and Type	Method	Description
CrySLRule	ClassSpecification.getRule()
static CrySLRule	CrySLRulesetSelector.makeSingleRule(String rulesBasePath, CrySLRulesetSelector.Ruleset ruleset, String rulename)	Creates and returns a single CrySLRule object for the given RuleSet argument.

Methods in crypto.analysis that return types with arguments of type CrySLRule

Modifier and Type	Method	Description
static List<CrySLRule>	CrySLRulesetSelector.makeFromRuleset(String rulesBasePath, CrySLRulesetSelector.Ruleset... set)	Creates CrySLRule objects for the given RuleSet argument and returns them as List.
static List<CrySLRule>	CrySLRulesetSelector.makeFromRulesetPath(String path)
static List<CrySLRule>	CrySLRulesetSelector.makeFromRulesetString(String rulesBasePath, String rulesetString)	Computes the ruleset from a string.

Method parameters in crypto.analysis with type arguments of type CrySLRule

Modifier and Type	Method	Description
void	CryptoScanner.scan(List<CrySLRule> specs)

Constructors in crypto.analysis with parameters of type CrySLRule

Constructor	Description
ClassSpecification(CrySLRule rule, CryptoScanner cScanner)

Uses of CrySLRule in crypto.analysis.errors

Methods in crypto.analysis.errors that return CrySLRule

Modifier and Type	Method	Description
CrySLRule	AbstractError.getRule()

Constructors in crypto.analysis.errors with parameters of type CrySLRule

Constructor	Description
AbstractError(boomerang.jimple.Statement errorLocation, CrySLRule rule)
ConstraintError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)
ErrorWithObjectAllocation(boomerang.jimple.Statement errorLocation, CrySLRule rule, IAnalysisSeed objectAllocationLocation)
ForbiddenMethodError(boomerang.jimple.Statement errorLocation, CrySLRule rule, soot.SootMethod calledMethod, Collection<soot.SootMethod> collection)
ForbiddenPredicateError(CrySLPredicate contradictedPredicate, boomerang.jimple.Statement location, CrySLRule rule, CallSiteWithExtractedValue multimap)
HardCodedError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)
ImpreciseValueExtractionError(ISLConstraint violatedCons, boomerang.jimple.Statement errorLocation, CrySLRule rule)
IncompleteOperationError(boomerang.jimple.Statement errorLocation, boomerang.jimple.Val errorVariable, CrySLRule rule, IAnalysisSeed objectLocation, Collection<soot.SootMethod> expectedMethodsToBeCalled)
InstanceOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)
NeverTypeOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)
PredicateContradictionError(boomerang.jimple.Statement errorLocation, CrySLRule rule, Map.Entry<CrySLPredicate,CrySLPredicate> disPair)
RequiredPredicateError(List<CrySLPredicate> contradictedPredicates, boomerang.jimple.Statement location, CrySLRule rule, CallSiteWithExtractedValue multimap)
TypestateError(boomerang.jimple.Statement stmt, CrySLRule rule, IAnalysisSeed object, Collection<soot.SootMethod> expectedMethodCalls)
UncaughtExceptionError(boomerang.jimple.Statement errorLocation, CrySLRule rule, soot.SootClass exception)

Uses of CrySLRule in crypto.cryslhandler

Methods in crypto.cryslhandler that return CrySLRule

Modifier and Type	Method	Description
CrySLRule	CrySLModelReader.readRule(File ruleFile)	Reads the content of a CrySL file and returns a CrySLRule object.
CrySLRule	CrySLModelReader.readRule(InputStream stream, String virtualFileName)	Reads the content of a CrySL file from an InputStream, afterwards the CrySLRule will be created.

Methods in crypto.cryslhandler that return types with arguments of type CrySLRule

Modifier and Type	Method	Description
List<CrySLRule>	CrySLModelReader.readRulesFromFiles(List<File> files)	Read the crysl rules from all given files.

Uses of CrySLRule in crypto.preanalysis

Method parameters in crypto.preanalysis with type arguments of type CrySLRule

Modifier and Type	Method	Description
static void	ExceptionAwareTransformer.setup(List<CrySLRule> rules)

Constructors in crypto.preanalysis with parameters of type CrySLRule

Constructor	Description
ExceptionAwareTransformer(CrySLRule rule)

Constructor parameters in crypto.preanalysis with type arguments of type CrySLRule

Constructor	Description
SeedFactory(List<CrySLRule> rules)

Uses of CrySLRule in crypto.providerdetection

Methods in crypto.providerdetection that return types with arguments of type CrySLRule

Modifier and Type	Method	Description
List<CrySLRule>	ProviderDetection.chooseRules(String providerRulesDirectory)	This method is used to choose the CryptSL rules in a directory from the detected provider and should be called after the `doAnalysis()` method.
List<CrySLRule>	ProviderDetection.chooseRulesZip(String providerRulesZip)	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.

Uses of CrySLRule in crypto.reporting

Methods in crypto.reporting that return types with arguments of type CrySLRule

Modifier and Type	Method	Description
List<CrySLRule>	Reporter.getRules()

Method parameters in crypto.reporting with type arguments of type CrySLRule

Modifier and Type	Method	Description
static String	ReporterHelper.generateReport(List<CrySLRule> rules, Collection<IAnalysisSeed> objects, List<IAnalysisSeed> secureObjects, com.google.common.collect.Table<soot.SootClass,soot.SootMethod,Set<AbstractError>> errorMarkers, Map<Class<?>,Integer> errorMarkerCount, ReportStatistics statistics)	Generates an analysis report content for the CommandLineReporter and TXTReporter.

Constructor parameters in crypto.reporting with type arguments of type CrySLRule

Constructor	Description
CommandLineReporter(String reportDir, List<CrySLRule> rules)	Subclass of Reporter.
CommandLineReporter(String softwareID, List<CrySLRule> rules, long callgraphConstructionTime, boolean includeStatistics)	Subclass of Reporter.
CSVReporter(String reportDir, String softwareId, List<CrySLRule> rules, long callGraphConstructionTime, boolean includeStatistics)	Subclass of Reporter.
CSVSummaryReporter(String reportDir, String softwareId, List<CrySLRule> rules, long callGraphConstructionTime, boolean includeStatistics)	Subclass of Reporter.
GitHubAnnotationReporter(String softwareID, List<CrySLRule> rules, long callgraphConstructionTime, boolean includeStatistics)	The constructor to initialize all attributes.
Reporter(File outputFolder, String softwareID, List<CrySLRule> rules, long callgraphConstructionTime, boolean includeStatistics)	The constructor to initialize all attributes.
SARIFReporter(String reportDir, String softwareId, List<CrySLRule> rules, long callgraphConstructionTime, boolean includeStatistics)	Subclass of Reporter.
TXTReporter(String reportDir, String softwareID, List<CrySLRule> rules, long callgraphConstructionTime, boolean includeStatistics)	Subclass of Reporter.

Uses of CrySLRule in crypto.rules

Methods in crypto.rules that return CrySLRule

Modifier and Type	Method	Description
CrySLRule	CrySLRuleReader.readFromSourceFile(File file)	Returns a CrySLRule read from a single CrySL file.

Methods in crypto.rules that return types with arguments of type CrySLRule

Modifier and Type	Method	Description
List<CrySLRule>	CrySLRuleReader.readFromDirectory(File directory)	Returns a List of CrySLRule objects read from a directory
List<CrySLRule>	CrySLRuleReader.readFromDirectory(File directory, boolean recursive)	Returns a List of CrySLRule objects read from a directory.
List<CrySLRule>	CrySLRuleReader.readFromSourceFiles(List<File> files)	Returns a list with CrySLRule objects from the files.
List<CrySLRule>	CrySLRuleReader.readFromZipFile(File file)	Returns a List of CrySLRule objects read from a Zip File.