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

Module Private

Import path

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

Predicates

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.

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

SummaryParameterNode