Merge pull request #21153 from geoffw0/splitoff

Rust: Add barrier for split_off

Author: geoffw0

rust/ql/lib/codeql/rust/security/UncontrolledAllocationSizeExtensions.qll

@@ -63,4 +63,17 @@ module UncontrolledAllocationSize {
         branch = false
       )
   }
+
+  /**
+   * A barrier for uncontrolled allocation size flow into particular functions.
+   */
+  private class ModeledBarrier extends Barrier {
+    ModeledBarrier() {
+      exists(MethodCall c |
+        c.getStaticTarget().getCanonicalPath() =
+          ["<alloc::string::String>::split_off", "<alloc::vec::Vec>::split_off"] and
+        this.asExpr() = c.getAnArgument()
+      )
+    }
+  }
 }