We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7e93b99 commit c8f4b28Copy full SHA for c8f4b28
cpp/ql/lib/semmle/code/cpp/controlflow/SSA.qll
@@ -15,6 +15,13 @@ class StandardSsa extends SsaHelper {
15
}
16
17
/**
18
+ * NOTE: If possible, prefer the SSA classes exposed by the new dataflow
19
+ * library:
20
+ * ```
21
+ * import semmle.code.cpp.dataflow.new.DataFlow
22
+ * // use `DataFlow::Definition`
23
24
+ *
25
* A definition of one or more SSA variables, including phi node definitions.
26
* An _SSA variable_, as defined in the literature, is effectively the pair of
27
* an `SsaDefinition d` and a `StackVariable v`, written `(d, v)` in this
0 commit comments