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