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.