C++: Fix unbound variables in PrivateCleartextWrite.qll.

2025-12-24 04:36:35 +01:00 · 2021-10-19 15:01:32 +01:00
parent 493a37ba5e
commit 38257a58f0
1 changed files with 2 additions and 5 deletions
--- a/cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll
+++ b/cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll
@@ -52,11 +52,8 @@ module PrivateCleartextWrite {

  class WriteSink extends Sink {
    WriteSink() {
-      exists(FileWrite f, BufferWrite b |
-        this.asExpr() = f.getASource()
-        or
-        this.asExpr() = b.getAChild()
-      )
+      this.asExpr() = any(FileWrite f).getASource() or
+      this.asExpr() = any(BufferWrite b).getAChild()
    }
  }
 }