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 63f76b1 commit f5eb131Copy full SHA for f5eb131
csharp/ql/src/semmle/code/csharp/dataflow/SSA.qll
@@ -19,7 +19,7 @@ module Ssa {
19
}
20
21
/**
22
- * Holds if the this field or any of the fields part of the qualifier
+ * Holds if this field or any of the fields part of the qualifier
23
* are volatile.
24
*/
25
predicate isVolatile() { this.(Field).isVolatile() }
@@ -605,7 +605,7 @@ module Ssa {
605
606
607
* Holds if the `i`th node of basic block `bb` is a reference to `v`,
608
- * either a read (when `k` is `Read()`) or an SSA definition (when `k`
+ * either a read (when `k` is `SsaRead()`) or an SSA definition (when `k`
609
* is `SsaDef()`).
610
611
private predicate ssaRef(BasicBlock bb, int i, SourceVariable v, SsaRefKind k) {
0 commit comments