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

Module MustFlow

This file provides a library for inter-procedural must-flow data flow analysis. Unlike DataFlow.qll, the analysis provided by this file checks whether data must flow from a source to a sink.

Import path

import semmle.code.cpp.ir.dataflow.MustFlow

Classes

MustFlowConfiguration

A configuration of a data flow analysis that performs must-flow analysis. This is different from DataFlow.qll which performs may-flow analysis (i.e., it finds paths where the source may flow to the sink).

MustFlowPathNode

A Node that is in a path from a source to a sink.

Modules

PathGraph

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