CodeQL library for Java
codeql/java-all 0.5.1 (changelog, source)
Search

Module Private

Import path

import semmle.code.java.dataflow.internal.DataFlowNodes

Predicates

getSummaryNode
isArgumentNode

Holds if arg is an ArgumentNode of c with position pos.

isParameterNode

Holds if p is a ParameterNode of c with position pos.

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

SummaryNode

A data-flow node used to model flow summaries.

SummaryParameterNode