Module DataFlowPrivate
Import path
import semmle.code.java.dataflow.internal.DataFlowPrivate
Imports
Predicates
accessPathLimit | |
additionalLambdaFlowStep | Extra data-flow steps needed for lambda flow analysis. |
allowParameterReturnInSelf | Holds if flow is allowed to pass from parameter |
clearsContent | Holds if values stored inside content |
compatibleTypes | Holds if |
containerContent | Holds if the the content |
expectsContent | Holds if the value that is being tracked is expected to be stored inside content |
forceHighPrecision | Holds if access paths with |
getAnOutNode | Gets a node that can read the value returned from |
getContentApprox | Gets an approximated value for content |
getErasedRepr | Gets a representative (boxed) type for |
getNodeType | |
isUnreachableInCall | Holds if the node |
jumpStep | Holds if data can flow from |
lambdaCall | Holds if |
lambdaCreation | Holds if |
nodeIsHidden | Holds if |
ppReprType | Gets a string representation of a type returned by |
readStep | Holds if data can flow from |
storeStep | Holds if data can flow from |
Classes
CastNode | A node that performs a type cast. |
ContentApprox | An approximated |
DataFlowCall | A call relevant for data flow. Includes both source calls and synthesized calls. |
DataFlowCallable | |
ReturnKind | A return kind. A return kind describes how a value can be returned from a callable. For Java, this is simply a method return. |
SrcCall | A source call, that is, a |
SummaryCall | A synthesized call inside a |
Aliases
DataFlowExpr | A common super-class that represents all kinds of expressions. |
DataFlowType | A common super-class for various kinds of reference types, including classes, interfaces, type parameters and arrays. |
LambdaCallKind | A method is a particular kind of callable. |