Module Public
Import path
import semmle.code.java.dataflow.internal.DataFlowNodes
Predicates
exprNode | Gets the node corresponding to |
getFieldQualifier | Gets the node that occurs as the qualifier of |
getInstanceArgument | Gets the instance argument of a non-static call. |
parameterNode | Gets the node corresponding to |
Classes
AdditionalNode | A node introduced by an extension of |
ExplicitParameterNode | A parameter, viewed as a node in a data flow graph. |
ExprNode | An expression, viewed as a node in a data flow graph. |
FieldValueNode | A node representing the value of a field. |
ImplicitInstanceAccess | An implicit read of |
ImplicitVarargsArray | An implicit varargs array creation expression. |
InstanceAccessNode | A node representing an |
InstanceParameterNode | An instance parameter for an instance method or constructor. |
Node | An element, viewed as a node in a data flow graph. Either an expression, a parameter, or an implicit varargs array creation. |
ParameterNode | An explicit or implicit parameter. |
PostUpdateNode | A node associated with an object after an operation that might have changed its state. |