File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -6,7 +6,7 @@ private import codeql.rust.elements.PrefixExpr
66private import codeql.rust.elements.Operation
77
88/**
9- * A dereference expression, `*`.
9+ * A dereference expression, the prefix operator `*`.
1010 */
1111final class DerefExpr extends PrefixExpr , Operation {
1212 DerefExpr ( ) { this .getOperatorName ( ) = "*" }
Original file line number Diff line number Diff line change @@ -50,7 +50,7 @@ module AccessInvalidPointer {
5050 * A pointer access using the unary `*` operator.
5151 */
5252 private class DereferenceSink extends Sink {
53- DereferenceSink ( ) { exists ( DerefExpr p | p .getExpr ( ) = this .asExpr ( ) .getExpr ( ) ) }
53+ DereferenceSink ( ) { any ( DerefExpr p ) .getExpr ( ) = this .asExpr ( ) .getExpr ( ) }
5454 }
5555
5656 /**
You can’t perform that action at this time.
0 commit comments