From 3ac1b4ba0b7921ffed144309de38f0ca40555caf Mon Sep 17 00:00:00 2001
From: edvraa <80588099+edvraa@users.noreply.github.com>
Date: Thu, 13 May 2021 14:41:13 +0300
Subject: [PATCH] Use CallNode

---
 ql/src/experimental/CWE-1004/AuthCookie.qll | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ql/src/experimental/CWE-1004/AuthCookie.qll b/ql/src/experimental/CWE-1004/AuthCookie.qll
index 2531e43c46e..73968ab89e7 100644
--- a/ql/src/experimental/CWE-1004/AuthCookie.qll
+++ b/ql/src/experimental/CWE-1004/AuthCookie.qll
@@ -165,10 +165,10 @@ class GorillaCookieStoreSaveTrackingConfiguration extends DataFlow::Configuratio
   }
 
   override predicate isSource(DataFlow::Node source) {
-    exists(CallExpr c |
-      source.asExpr() = c and
-      c.getTarget().hasQualifiedName("github.com/gorilla/sessions", "NewCookieStore")
-    )
+    source
+        .(DataFlow::CallNode)
+        .getTarget()
+        .hasQualifiedName("github.com/gorilla/sessions", "NewCookieStore")
   }
 
   override predicate isSink(DataFlow::Node sink) { sink instanceof GorillaSessionSaveSink }