Windows OS compatibility test 1

Author: data-douser

javascript/frameworks/cap/lib/advanced_security/javascript/frameworks/cap/Application.qll

@@ -12,9 +12,16 @@ class RootDirectory extends Folder {
 
   /**
    * Gets the path of a file relative to this root directory.
+   *
+   * Note: On Windows, `getAbsolutePath()` returns backslash-separated paths.
+   * We normalize backslashes to forward slashes before comparison to ensure
+   * cross-platform compatibility.
    */
   string getFilePathRelativeToRoot(File file) {
-    result = file.getAbsolutePath().regexpReplaceAll(this.getAbsolutePath(), ".") and
+    result =
+      file.getAbsolutePath()
+          .replaceAll("\\", "/")
+          .regexpReplaceAll(this.getAbsolutePath().replaceAll("\\", "/"), ".") and
     result.charAt(0) = "."
   }
 

javascript/frameworks/cap/lib/advanced_security/javascript/frameworks/cap/CDL.qll

@@ -20,9 +20,17 @@ abstract class CdlObject extends JsonObject {
         // performed and `.cds.json` files are stored in that base project directory. The
         // `$location` values in the generated JSON data are, therefore, relative to the
         // base directory of the project.
+        //
+        // Note: On Windows, `getAbsolutePath()` returns backslash-separated paths, but
+        // `$location.file` values in `.cds.json` always use forward slashes (POSIX).
+        // We normalize backslashes to forward slashes to ensure cross-platform compatibility.
         path =
-          locValue.getJsonFile().getParentContainer().getAbsolutePath().regexpReplaceAll("/$", "") +
-            "/" + locValue.getPropValue("file").getStringValue() and
+          locValue
+                .getJsonFile()
+                .getParentContainer()
+                .getAbsolutePath()
+                .replaceAll("\\", "/")
+                .regexpReplaceAll("/$", "") + "/" + locValue.getPropValue("file").getStringValue() and
         if
           not exists(locValue.getPropValue("line")) and
           not exists(locValue.getPropValue("col"))
@@ -167,11 +175,15 @@ class CdlService extends CdlElement {
     exists(JsonValue jsonFileLocation |
       jsonFileLocation = this.getPropValue("$location").getPropValue("file")
     |
-      result.getFile().getAbsolutePath().regexpReplaceAll("\\.[^.]+$", ".cds") =
+      // Normalize backslashes to forward slashes for cross-platform compatibility.
+      // On Windows, `getAbsolutePath()` returns backslash-separated paths, but
+      // `$location.file` values in `.cds.json` always use forward slashes (POSIX).
+      result.getFile().getAbsolutePath().replaceAll("\\", "/").regexpReplaceAll("\\.[^.]+$", ".cds") =
         jsonFileLocation
               .getJsonFile()
               .getParentContainer()
               .getAbsolutePath()
+              .replaceAll("\\", "/")
               .regexpReplaceAll("/$", "") + "/" + jsonFileLocation.getStringValue()
     )
   }

javascript/frameworks/cap/lib/advanced_security/javascript/frameworks/cap/PackageJson.qll

@@ -42,6 +42,8 @@ class RequiredService extends JsonObject {
 
   File getImplementationFile() {
     exists(RootDirectory root |
+      // `getFilePathRelativeToRoot` now returns normalized forward-slash paths,
+      // matching the forward-slash convention used in package.json `impl` values.
       root.getFilePathRelativeToRoot(result) = "./" + this.getPropStringValue("impl")
     )
   }