Module Private
Import path
import semmle.code.java.dataflow.internal.DataFlowNodes
Predicates
getSummaryNode | |
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. |
OutNode |
A data flow node that represents the output of a call. |
ReturnNode |
A data flow node that occurs as the result of a |
SummaryNode |
A data-flow node used to model flow summaries. |
SummaryParameterNode |