Uses of Class
crypto.extractparameter.CallSiteWithExtractedValue
-
Packages that use CallSiteWithExtractedValue Package Description crypto.analysis.errors crypto.constraints -
-
Uses of CallSiteWithExtractedValue in crypto.analysis.errors
Methods in crypto.analysis.errors that return CallSiteWithExtractedValue Modifier and Type Method Description CallSiteWithExtractedValueConstraintError. getCallSiteWithExtractedValue()CallSiteWithExtractedValueForbiddenPredicateError. getExtractedValues()CallSiteWithExtractedValueRequiredPredicateError. getExtractedValues()Constructors in crypto.analysis.errors with parameters of type CallSiteWithExtractedValue Constructor Description ConstraintError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)ForbiddenPredicateError(CrySLPredicate contradictedPredicate, boomerang.jimple.Statement location, CrySLRule rule, CallSiteWithExtractedValue multimap)HardCodedError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)InstanceOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)NeverTypeOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)RequiredPredicateError(List<CrySLPredicate> contradictedPredicates, boomerang.jimple.Statement location, CrySLRule rule, CallSiteWithExtractedValue multimap) -
Uses of CallSiteWithExtractedValue in crypto.constraints
Methods in crypto.constraints that return types with arguments of type CallSiteWithExtractedValue Modifier and Type Method Description protected Map<String,CallSiteWithExtractedValue>EvaluableConstraint. extractSootArray(CallSiteWithParamIndex callSite, ExtractedValue allocSite)Function that finds the values assigned to a soot array.protected Map<String,CallSiteWithExtractedValue>EvaluableConstraint. extractValueAsString(String varName, ISLConstraint cons)
-