Module FlowVar

DEPRECATED: Use semmle.code.cpp.dataflow.new.DataFlow instead.

Provides a class for handling variables in the data flow analysis.

Import path

import semmle.code.cpp.dataflow.internal.FlowVar

Imports

PartialDefinitions	Provides classes and predicates dealing with “partial definitions”.
cpp	Provides classes and predicates for working with C/C++ code.

Classes

FlowVar

A conceptual variable that is assigned only once, like an SSA variable. This class is used for tracking data flow through variables, where the desired semantics is sometimes different from what the SSA library provides. Unlike SSA, there are no phi nodes; instead, each VariableAccess may be associated with more than one FlowVar.

Modules

FlowVar_internal

Provides classes and predicates that ought to be private but cannot use the private annotation because they may be referred to by unit tests.