Uses of Class
crypto.rules.CrySLRule

Packages that use CrySLRule

Package	Description
crypto.analysis
crypto.analysis.errors
crypto.constraints
crypto.cryslhandler
crypto.preanalysis
crypto.reporting
crypto.typestate
crypto.utils

Uses of CrySLRule in crypto.analysis

Methods in crypto.analysis that return CrySLRule

Modifier and Type	Method	Description
CrySLRule	AnalysisSeedWithSpecification.getSpecification()

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

Modifier and Type	Method	Description
Collection<CrySLRule>	CryptoScanner.getRuleset()

Methods in crypto.analysis with parameters of type CrySLRule

Modifier and Type	Method	Description
static AnalysisSeedWithSpecification	AnalysisSeedWithSpecification.makeSeedForComparison(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact, CrySLRule rule)

Constructors in crypto.analysis with parameters of type CrySLRule

Constructor	Description
AnalysisSeedWithSpecification(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results, CrySLRule specification)

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

Constructor	Description
CryptoAnalysisDataFlowScope(Collection<CrySLRule> rules, Collection<String> ignoredSections)
CryptoScanner(Collection<CrySLRule> rules)
SeedGenerator(CryptoScanner scanner, Collection<CrySLRule> rules)

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(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule)
CallToError(IAnalysisSeed seed, CrySLRule rule, Collection<CrySLMethod> requiredMethods)
ConstraintError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, ISLConstraint constraint)
ForbiddenMethodError(IAnalysisSeed seed, boomerang.scene.Statement errorLocation, CrySLRule rule, boomerang.scene.DeclaredMethod calledMethod)
ForbiddenMethodError(IAnalysisSeed seed, boomerang.scene.Statement errorLocation, CrySLRule rule, boomerang.scene.DeclaredMethod calledMethod, Collection<CrySLMethod> alternatives)
HardCodedError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, ISLConstraint constraint)
ImpreciseValueExtractionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, ISLConstraint constraint)
IncompleteOperationError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodsToBeCalled)	Create an IncompleteOperationError, if there is only one dataflow path, where the incomplete operation occurs.
IncompleteOperationError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodsToBeCalled, boolean multiplePaths)	Create an IncompleteOperationError, if there is at least one dataflow path, where an incomplete operation occurs.
InstanceOfError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, CrySLPredicate constraint)
NeverTypeOfError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, CrySLPredicate constraint)
NoCallToError(IAnalysisSeed seed, boomerang.scene.Statement statement, CrySLRule rule)
PredicateContradictionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Map.Entry<CrySLPredicate,CrySLPredicate> disPair)
RequiredPredicateError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, CallSiteWithExtractedValue cs, Collection<CrySLPredicate> contradictedPredicates)
TypestateError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodCalls)
UncaughtExceptionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, boomerang.scene.WrappedClass exception)

Uses of CrySLRule in crypto.constraints

Methods in crypto.constraints that return CrySLRule

Modifier and Type	Method	Description
CrySLRule	ConstraintSolver.getSpecification()

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.
CrySLRule	RulesetReader.readRuleFromFile(File file)

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

Modifier and Type	Method	Description
Collection<CrySLRule>	RulesetReader.readRulesFromDirectory(String path)
Collection<CrySLRule>	CrySLModelReader.readRulesFromFiles(Collection<File> files)	Read the crysl rules from all given files.
Collection<CrySLRule>	RulesetReader.readRulesFromFiles(Collection<File> files)
Collection<CrySLRule>	RulesetReader.readRulesFromPath(String path)
Collection<CrySLRule>	RulesetReader.readRulesFromZipArchive(String path)

Uses of CrySLRule in crypto.preanalysis

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

Modifier and Type	Method	Description
void	TransformerSetup.setupEmptyStatementTransformer(Collection<CrySLRule> rules)
void	TransformerSetup.setupExceptionAwareTransformer(Collection<CrySLRule> rules)
void	TransformerSetup.setupPreTransformer(Collection<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
EmptyStatementTransformer(Collection<CrySLRule> rules)

Uses of CrySLRule in crypto.reporting

Fields in crypto.reporting with type parameters of type CrySLRule

Modifier and Type	Field	Description
protected Collection<CrySLRule>	Reporter.ruleset

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

Constructor	Description
CommandLineReporter(Collection<CrySLRule> ruleset)
CSVReporter(String outputDir, Collection<CrySLRule> ruleset)
CSVSummaryReporter(String outputDir, Collection<CrySLRule> ruleset)
GitHubAnnotationReporter(Collection<CrySLRule> ruleset)	The constructor to initialize all attributes.
Reporter(String outputDir, Collection<CrySLRule> ruleset)
Reporter(Collection<CrySLRule> ruleset)
SARIFReporter(String outputDir, Collection<CrySLRule> ruleset)
TXTReporter(String outputDir, Collection<CrySLRule> ruleset)

Uses of CrySLRule in crypto.typestate

Methods in crypto.typestate that return CrySLRule

Modifier and Type	Method	Description
CrySLRule	ForwardSeedQuery.getRule()
CrySLRule	RuleTransitions.getRule()

Methods in crypto.typestate with parameters of type CrySLRule

Modifier and Type	Method	Description
static RuleTransitions	RuleTransitions.of(CrySLRule rule)

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

Constructor	Description
TypestateAnalysis(Collection<CrySLRule> rules)

Uses of CrySLRule in crypto.utils

Methods in crypto.utils with parameters of type CrySLRule

Modifier and Type	Method	Description
static Collection<CrySLMethod>	MatcherUtils.getMatchingCryslMethodsToDeclaredMethod(CrySLRule rule, boomerang.scene.DeclaredMethod declaredMethod)