CodeQL library for C/C++

codeql/cpp-all 0.13.0 (changelog, source)

Class FlowVar_internal::BlockVar

A variable whose analysis is backed by a simple control flow analysis that does not perform as well as the SSA library but gives better results for data flow purposes in some cases.

Import path

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

Direct supertypes

Indirect supertypes

TFlowVar

Fields

sbb
v

Predicates

definedByExpr	Holds if this `FlowVar` corresponds to a modification occurring when `node` is evaluated, receiving a value best described by `e`. The following is an exhaustive list of cases where this may happen.
definedByInitialValue	Holds if this `FlowVar` corresponds to the initial value of `v`. The following is an exhaustive list of cases where this may happen.
definedPartiallyAt	Holds if this `FlowVar` is a `PartialDefinition` whose outer defined expression is `e`. For example, in `f(&x)`, the outer defined expression is `&x`.
getAnAccess	Gets a `VariableAccess` that may take its value from `this`. Consider the following snippet.
getLocation	Gets the location of this element.
reachesRefParameter	Holds if this `FlowVar` is a definition of a reference parameter `p` that persists until the function returns.
toString	Gets a textual representation of this element.

Charpred