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 03fc4cb commit 988aca1Copy full SHA for 988aca1
rust/ql/lib/codeql/rust/security/Barriers.qll
@@ -45,7 +45,7 @@ class IntegralOrBooleanTypeBarrier extends DataFlow::Node {
45
46
/**
47
* Holds if guard expression `g` having result `branch` indicates that the
48
- * sub-expression `node` is not null. For example when `ptr.is_null()` is
+ * sub-expression `e` is not null. For example when `ptr.is_null()` is
49
* `false`, we have that `ptr` is not null.
50
*/
51
private predicate notNullCheck(AstNode g, Expr e, boolean branch) {
0 commit comments