JS: Rename to upward navigation

Author: asger-semmle

javascript/ql/src/semmle/javascript/Concepts.qll

@@ -38,12 +38,12 @@ abstract class FileSystemAccess extends DataFlow::Node {
   DataFlow::Node getRootPathArgument() { none() }
 
   /**
-   * Holds if this file system access will reject paths containing path traversal
+   * Holds if this file system access will reject paths containing upward navigation
    * segments (`../`).
    *
    * `argument` should refer to the relevant path argument or root path argument.
    */
-  predicate isPathTraversalRejected(DataFlow::Node argument) { none() }
+  predicate isUpwardNavigationRejected(DataFlow::Node argument) { none() }
 }
 
 /**

javascript/ql/src/semmle/javascript/frameworks/Express.qll

@@ -840,7 +840,7 @@ module Express {
       result = this.(DataFlow::CallNode).getOptionArgument(1, "root")
     }
 
-    override predicate isPathTraversalRejected(DataFlow::Node argument) {
+    override predicate isUpwardNavigationRejected(DataFlow::Node argument) {
       argument = getAPathArgument()
     }
   }

javascript/ql/src/semmle/javascript/security/dataflow/TaintedPathCustomizations.qll

@@ -393,11 +393,11 @@ module TaintedPath {
   }
 
   /**
-   * A path argument to a file system access, which disallows path traversal.
+   * A path argument to a file system access, which disallows upward navigation.
    */
-  private class FsPathSinkWithoutPathTraversal extends FsPathSink {
-    FsPathSinkWithoutPathTraversal() {
-      fileSystemAccess.isPathTraversalRejected(this)
+  private class FsPathSinkWithoutUpwardNavigation extends FsPathSink {
+    FsPathSinkWithoutUpwardNavigation() {
+      fileSystemAccess.isUpwardNavigationRejected(this)
     }
 
     override DataFlow::FlowLabel getAFlowLabel() {