CodeQL library for C/C++
Search

Module DataFlow::FlowExploration

Import path

import semmle.code.cpp.dataflow.DataFlow

Classes

PartialPathNode

A Node augmented with a call context, an access path, and a configuration.

Modules

PartialPathGraph

Provides the query predicates needed to include a graph in a path-problem query.