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

Module TypeTracking::CallGraphConstruction::Make

Provides the track predicate for use in call graph construction.

Import path

import codeql.typetracking.internal.TypeTrackingImpl

Predicates

track

Gets a node that can be reached from some start node in state state.

Parameters