CodeQL library for Python
codeql/python-all 4.0.1 (changelog, source)
Search

Module MakeImplStage1::ImplStage1::Stage1NoState

Import path

import codeql.dataflow.internal.DataFlowImplStage1

Imports

Predicates

Aliases

ArgNd
CastingNd

A Node at which a cast can occur such that the type should be checked.

Nd
OutNd
ParamNd
RetNd

A node from which flow can return to the caller. This is either a regular ReturnNode or a synthesized node for flow out via a parameter.

additionalJumpStep

Holds if the additional step from node1 to node2 jumps between callables.

jumpStepEx

Holds if data can flow from node1 to node2 in a way that discards call contexts.

localStep1
parameterFlowThroughAllowed

Holds if flow from p to a return node of kind kind is allowed.

toNormalSinkNode

If node corresponds to a sink, gets the normal node for that sink.