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

Module signature TypeTracking::CallGraphConstruction::InputSig

The input to call graph construction.

Import path

import codeql.typetracking.internal.TypeTrackingImpl

Predicates

filter

Holds if type tracking should stop at n when we are tracking projected state stateProj.

start

Holds if type tracking should start at start in state state.

stateProj

Gets the projection of state.

stepCall

Holds if type tracking should use the step from nodeFrom to nodeTo, which does depend on the call graph.

stepNoCall

Holds if type tracking should use the step from nodeFrom to nodeTo, which does not depend on the call graph.

Types

State

A state to track during type tracking.

StateProj

A projection of an element from the state space.