Class InReturnValueDeref
The input value pointed to by the return value of a function, if the function returns a pointer, or the input value referred to by the return value of a function, if the function returns a reference.
Example:
char* getPointer();
float& getReference();
int getInt();
InReturnValueDeref
represents the value of*getPointer()
(with typechar
).InReturnValueDeref
represents the value ofgetReference()
(with typefloat
).InReturnValueDeref
does not represent the return value ofgetInt()
because the return type ofgetInt()
is neither a pointer nor a reference.
Note that data flows in through function return values are relatively rare, but they do occur when a function returns a reference to itself, part of itself, or one of its other inputs.
Import path
import cpp
Direct supertypes
Indirect supertypes
Predicates
isReturnValueDeref |
Holds if this is the input value pointed to by the return value of a function, if the function returns a pointer, or the input value referred to by the return value of a function, if the function returns a reference. |
toString |
Inherited predicates
isParameter |
Holds if this is the input value of the parameter with index |
from FunctionInput |
isParameterDeref |
Holds if this is the input value pointed to (through |
from FunctionInput |
isParameterDeref |
Holds if this is the input value pointed to by a pointer parameter to a function, or the input value referred to by a reference parameter to a function, where the parameter has index |
from FunctionInput |
isParameterDerefOrQualifierObject |
Holds if |
from FunctionInput |
isParameterDerefOrQualifierObject |
Holds if |
from FunctionInput |
isParameterOrQualifierAddress |
Holds if |
from FunctionInput |
isQualifierAddress |
Holds if this is the input value of the |
from FunctionInput |
isQualifierObject |
Holds if this is the input value pointed to by the |
from FunctionInput |
isQualifierObject |
Holds if this is the input value pointed to by the |
from FunctionInput |
isReturnValueDeref |
Holds if this is the input value pointed to by the return value of a function, if the function returns a pointer, or the input value referred to by the return value of a function, if the function returns a reference. |
from FunctionInput |