Module Private
Import path
import semmle.code.java.dataflow.internal.DataFlowNodes
Predicates
isArgumentNode | Holds if |
isParameterNode | Holds if |
nodeGetEnclosingCallable | Gets the callable in which this node occurs. |
Classes
ArgumentNode | A data flow node that occurs as the argument of a call and is passed as-is to the callable. Arguments that are wrapped in an implicit varargs array creation are not included, but the implicitly created array is. Instance arguments are also included. |
CaptureNode | A synthesized data flow node representing a closure object that tracks captured variables. |
FlowSummaryNode | A data-flow node used to model flow summaries. |
OutNode | A data flow node that represents the output of a call. |
ReturnNode | A data flow node that occurs as the result of a |
SummaryParameterNode |