JS: Use appendToNamespace

2025-12-18 01:33:15 +01:00 · 2021-08-03 08:52:19 +02:00
parent f5f255d93d
commit c88d213f37
1 changed files with 1 additions and 1 deletions
--- a/javascript/ql/src/semmle/javascript/frameworks/Vuex.qll
+++ b/javascript/ql/src/semmle/javascript/frameworks/Vuex.qll
@@ -120,7 +120,7 @@ module Vuex {
    pragma[noinline]
    string getNamespace() {
      getNumArgument() = 2 and
-      result = namespace + getParameter(0).getAValueReachingRhs().getStringValue() + "/"
+      result = appendToNamespace(namespace, getParameter(0).getAValueReachingRhs().getStringValue())
      or
      getNumArgument() = 1 and
      result = namespace