Uses of Class
crypto.analysis.errors.AbstractError
-
Packages that use AbstractError Package Description crypto.analysis crypto.analysis.errors crypto.constraints crypto.reporting -
-
Uses of AbstractError in crypto.analysis
Fields in crypto.analysis with type parameters of type AbstractError Modifier and Type Field Description protected List<AbstractError>IAnalysisSeed. errorCollectionMethods in crypto.analysis that return types with arguments of type AbstractError Modifier and Type Method Description List<AbstractError>IAnalysisSeed. getErrors()List<AbstractError>HiddenPredicate. getPrecedingErrors()Node: Errors are only in complete count at the end of the analysis.Collection<AbstractError>AnalysisSeedWithSpecification. retrieveErrorsForPredCondition(CrySLPredicate pred)Methods in crypto.analysis with parameters of type AbstractError Modifier and Type Method Description voidIAnalysisSeed. addError(AbstractError e)voidCrySLResultsReporter. reportError(IAnalysisSeed object, AbstractError err)voidICrySLResultsListener. reportError(AbstractError error) -
Uses of AbstractError in crypto.analysis.errors
Subclasses of AbstractError in crypto.analysis.errors Modifier and Type Class Description classConstraintErrorclassErrorWithObjectAllocationclassForbiddenMethodErrorclassForbiddenPredicateErrorclassHardCodedErrorclassImpreciseValueExtractionErrorclassIncompleteOperationErrorThis 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.classInstanceOfErrorclassNeverTypeOfErrorclassPredicateContradictionErrorclassRequiredPredicateErrorCreatesRequiredPredicateErrorfor all Required Predicate error generates RequiredPredicateError contradictedPredicate aCrySLPredicateholds the contradicted required predicate or parameter extractedValues aCallSiteWithExtractedValuehold the location value of the missing required predicate or parameterclassTypestateErrorclassUncaughtExceptionErrorMethods in crypto.analysis.errors that return types with arguments of type AbstractError Modifier and Type Method Description Set<AbstractError>AbstractError. getRootErrors()Set<AbstractError>AbstractError. getSubsequentErrors()Methods in crypto.analysis.errors with parameters of type AbstractError Modifier and Type Method Description voidAbstractError. addCausingError(AbstractError parent)voidAbstractError. addSubsequentError(AbstractError subsequentError)Method parameters in crypto.analysis.errors with type arguments of type AbstractError Modifier and Type Method Description voidAbstractError. addCausingError(Collection<AbstractError> parents) -
Uses of AbstractError in crypto.constraints
Methods in crypto.constraints that return types with arguments of type AbstractError Modifier and Type Method Description protected Collection<AbstractError>EvaluableConstraint. getErrors() -
Uses of AbstractError in crypto.reporting
Fields in crypto.reporting with type parameters of type AbstractError Modifier and Type Field Description protected com.google.common.collect.Table<soot.SootClass,soot.SootMethod,Set<AbstractError>>ErrorMarkerListener. errorMarkersMethods in crypto.reporting that return types with arguments of type AbstractError Modifier and Type Method Description Collection<AbstractError>CollectErrorListener. getErrors()Methods in crypto.reporting with parameters of type AbstractError Modifier and Type Method Description voidCollectErrorListener. reportError(AbstractError error)voidCSVSummaryReporter. reportError(AbstractError error)voidErrorMarkerListener. reportError(AbstractError error)Method parameters in crypto.reporting with type arguments of type AbstractError Modifier and Type Method Description static StringReporterHelper. 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 theCommandLineReporterandTXTReporter.
-