Uses of Class
crypto.analysis.AnalysisSeedWithSpecification
-
Packages that use AnalysisSeedWithSpecification Package Description crypto.analysis crypto.constraints crypto.extractparameter -
-
Uses of AnalysisSeedWithSpecification in crypto.analysis
Methods in crypto.analysis that return AnalysisSeedWithSpecification Modifier and Type Method Description AnalysisSeedWithSpecificationHiddenPredicate. getGeneratingSeed()static AnalysisSeedWithSpecificationAnalysisSeedWithSpecification. makeSeedForComparison(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact, CrySLRule rule)Methods in crypto.analysis that return types with arguments of type AnalysisSeedWithSpecification Modifier and Type Method Description Collection<AnalysisSeedWithSpecification>CryptoScanner. getAnalysisSeedsWithSpec()Optional<AnalysisSeedWithSpecification>CryptoScanner. getSeedWithSpec(AnalysisSeedWithSpecification seedAtStatement)Methods in crypto.analysis with parameters of type AnalysisSeedWithSpecification Modifier and Type Method Description Optional<AnalysisSeedWithSpecification>CryptoScanner. getSeedWithSpec(AnalysisSeedWithSpecification seedAtStatement)Constructors in crypto.analysis with parameters of type AnalysisSeedWithSpecification Constructor Description HiddenPredicate(CrySLPredicate predicate, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> parametersToValues2, AnalysisSeedWithSpecification generatingSeed, HiddenPredicate.HiddenPredicateType type) -
Uses of AnalysisSeedWithSpecification in crypto.constraints
Methods in crypto.constraints that return AnalysisSeedWithSpecification Modifier and Type Method Description AnalysisSeedWithSpecificationConstraintSolver. getObject()Constructors in crypto.constraints with parameters of type AnalysisSeedWithSpecification Constructor Description ConstraintSolver(AnalysisSeedWithSpecification object, Collection<boomerang.scene.ControlFlowGraph.Edge> callsOnObject, AnalysisReporter analysisReporter) -
Uses of AnalysisSeedWithSpecification in crypto.extractparameter
Constructors in crypto.extractparameter with parameters of type AnalysisSeedWithSpecification Constructor Description ExtractParameterAnalysis(AnalysisSeedWithSpecification seed)
-