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

Module TypeTracking::TypeTrack::Graph

Given a sink definition, constructs the relation of edges that can be used in a source-sink path and calculates the set of source-sink pairs.

Import path

import codeql.typetracking.internal.TypeTrackingImpl

Predicates

edges

Holds if (p1, p2) is an edge in a path between a source and a sink.

flowPath

Holds if there is a path between source and sink.

hasFlow

DEPRECATED: Use flowPath instead.

Classes

PathNode

A node on a path that is reachable from a source and can reach a sink. This is a pair of a Node and a TypeTracker.

PathNodeFwd

A node on a path that is reachable from a source. This is a pair of a Node and a TypeTracker except at sinks for which there is no TypeTracker.

Parameters