CodeQL library for C/C++
codeql/cpp-all 2.1.1-dev (changelog, source)
Search

Module Make::Internal

Provides access to internal step relations.

Import path

import codeql.typeflow.UniversalFlow

Predicates

anyStep

Holds if data can flow from n1 to n2 in one step, excluding join steps from nodes that are always null.

joinStepNotNull

Holds if data can flow from n1 to n2 in one step, n1 is not necessarily functionally determined by n2, and n1 might take a non-null value.