Uses of Class crypto.extractparameter.CallSiteWithExtractedValue (CryptoAnalysis 3.2.0 API)

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
`CallSiteWithExtractedValue`	ConstraintError.`getCallSiteWithExtractedValue()`
`CallSiteWithExtractedValue`	HardCodedError.`getExtractedValue()`
`CallSiteWithExtractedValue`	InstanceOfError.`getExtractedValue()`
`CallSiteWithExtractedValue`	NeverTypeOfError.`getExtractedValue()`
`CallSiteWithExtractedValue`	RequiredPredicateError.`getExtractedValues()`

Constructors in crypto.analysis.errors with parameters of type CallSiteWithExtractedValue
Constructor	Description
`ConstraintError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, ISLConstraint constraint)`
`HardCodedError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, ISLConstraint constraint)`
`InstanceOfError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, CrySLPredicate constraint)`
`NeverTypeOfError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, CrySLPredicate constraint)`
`RequiredPredicateError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, CallSiteWithExtractedValue cs, Collection<CrySLPredicate> contradictedPredicates)`

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)`

Method parameters in crypto.constraints with type arguments of type CallSiteWithExtractedValue
Modifier and Type	Method	Description
`protected boolean`	EvaluableConstraint.`couldNotExtractValues(Map<String,CallSiteWithExtractedValue> extractedValueMap, ISLConstraint constraint)`	If the `ExtractParameterAnalysis` cannot find the allocation site of a parameter, it adds the ZERO value to the results to indicate that the value could not be extracted.