Module MustFlow

Provides an inter-procedural must-flow data flow analysis.

Import path

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

Modules

Constructs a global must-flow computation.

Module signatures

An input 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).