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
| 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. |