Skip to content

Commit a5f891d

Browse files
authored
Merge pull request #24562 from h57624paen/fix-win-spawn-double-normalize
std.process.Child: fix double path normalization in spawnWindows
2 parents fa445d8 + 0f41063 commit a5f891d

File tree

4 files changed

+71
-11
lines changed

4 files changed

+71
-11
lines changed

lib/std/process/Child.zig

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -901,11 +901,6 @@ fn spawnWindows(self: *ChildProcess) SpawnError!void {
901901
if (dir_buf.items.len > 0) try dir_buf.append(self.allocator, fs.path.sep);
902902
try dir_buf.appendSlice(self.allocator, app_dir);
903903
}
904-
if (dir_buf.items.len > 0) {
905-
// Need to normalize the path, openDirW can't handle things like double backslashes
906-
const normalized_len = windows.normalizePath(u16, dir_buf.items) catch return error.BadPathName;
907-
dir_buf.shrinkRetainingCapacity(normalized_len);
908-
}
909904

910905
windowsCreateProcessPathExt(self.allocator, &dir_buf, &app_buf, PATHEXT, &cmd_line_cache, envp_ptr, cwd_w_ptr, flags, &siStartInfo, &piProcInfo) catch |no_path_err| {
911906
const original_err = switch (no_path_err) {
@@ -930,10 +925,6 @@ fn spawnWindows(self: *ChildProcess) SpawnError!void {
930925
while (it.next()) |search_path| {
931926
dir_buf.clearRetainingCapacity();
932927
try dir_buf.appendSlice(self.allocator, search_path);
933-
// Need to normalize the path, some PATH values can contain things like double
934-
// backslashes which openDirW can't handle
935-
const normalized_len = windows.normalizePath(u16, dir_buf.items) catch continue;
936-
dir_buf.shrinkRetainingCapacity(normalized_len);
937928

938929
if (windowsCreateProcessPathExt(self.allocator, &dir_buf, &app_buf, PATHEXT, &cmd_line_cache, envp_ptr, cwd_w_ptr, flags, &siStartInfo, &piProcInfo)) {
939930
break :run;

test/standalone/child_process/build.zig

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,5 +31,16 @@ pub fn build(b: *std.Build) void {
3131
run.addArtifactArg(child);
3232
run.expectExitCode(0);
3333

34+
// Use a temporary directory within the cache as the CWD to test
35+
// spawning the child using a path that contains a leading `..` component.
36+
const run_relative = b.addRunArtifact(main);
37+
run_relative.addArtifactArg(child);
38+
const write_tmp_dir = b.addWriteFiles();
39+
const tmp_cwd = write_tmp_dir.getDirectory();
40+
run_relative.addDirectoryArg(tmp_cwd);
41+
run_relative.setCwd(tmp_cwd);
42+
run_relative.expectExitCode(0);
43+
3444
test_step.dependOn(&run.step);
45+
test_step.dependOn(&run_relative.step);
3546
}

test/standalone/child_process/main.zig

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,14 @@ pub fn main() !void {
1111
var it = try std.process.argsWithAllocator(gpa);
1212
defer it.deinit();
1313
_ = it.next() orelse unreachable; // skip binary name
14-
const child_path = it.next() orelse unreachable;
14+
const child_path, const needs_free = child_path: {
15+
const child_path = it.next() orelse unreachable;
16+
const cwd_path = it.next() orelse break :child_path .{ child_path, false };
17+
// If there is a third argument, it is the current CWD somewhere within the cache directory.
18+
// In that case, modify the child path in order to test spawning a path with a leading `..` component.
19+
break :child_path .{ try std.fs.path.relative(gpa, cwd_path, child_path), true };
20+
};
21+
defer if (needs_free) gpa.free(child_path);
1522

1623
var child = std.process.Child.init(&.{ child_path, "hello arg" }, gpa);
1724
child.stdin_behavior = .Pipe;
@@ -39,7 +46,12 @@ pub fn main() !void {
3946
},
4047
else => |term| testError("abnormal child exit: {}", .{term}),
4148
}
42-
return if (parent_test_error) error.ParentTestError else {};
49+
if (parent_test_error) return error.ParentTestError;
50+
51+
// Check that FileNotFound is consistent across platforms when trying to spawn an executable that doesn't exist
52+
const missing_child_path = try std.mem.concat(gpa, u8, &.{ child_path, "_intentionally_missing" });
53+
defer gpa.free(missing_child_path);
54+
try std.testing.expectError(error.FileNotFound, std.process.Child.run(.{ .allocator = gpa, .argv = &.{missing_child_path} }));
4355
}
4456

4557
var parent_test_error = false;

test/standalone/windows_spawn/main.zig

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
const std = @import("std");
2+
23
const windows = std.os.windows;
34
const utf16Literal = std.unicode.utf8ToUtf16LeStringLiteral;
45

@@ -39,6 +40,9 @@ pub fn main() anyerror!void {
3940
// No PATH, so it should fail to find anything not in the cwd
4041
try testExecError(error.FileNotFound, allocator, "something_missing");
4142

43+
// make sure we don't get error.BadPath traversing out of cwd with a relative path
44+
try testExecError(error.FileNotFound, allocator, "..\\.\\.\\.\\\\..\\more_missing");
45+
4246
std.debug.assert(windows.kernel32.SetEnvironmentVariableW(
4347
utf16Literal("PATH"),
4448
tmp_absolute_path_w,
@@ -149,6 +153,48 @@ pub fn main() anyerror!void {
149153
// If we try to exec but provide a cwd that is an absolute path, the PATH
150154
// should still be searched and the goodbye.exe in something should be found.
151155
try testExecWithCwd(allocator, "goodbye", tmp_absolute_path, "hello from exe\n");
156+
157+
// introduce some extra path separators into the path which is dealt with inside the spawn call.
158+
const denormed_something_subdir_size = std.mem.replacementSize(u16, something_subdir_abs_path, utf16Literal("\\"), utf16Literal("\\\\\\\\"));
159+
160+
const denormed_something_subdir_abs_path = try allocator.allocSentinel(u16, denormed_something_subdir_size, 0);
161+
defer allocator.free(denormed_something_subdir_abs_path);
162+
163+
_ = std.mem.replace(u16, something_subdir_abs_path, utf16Literal("\\"), utf16Literal("\\\\\\\\"), denormed_something_subdir_abs_path);
164+
165+
const denormed_something_subdir_wtf8 = try std.unicode.wtf16LeToWtf8Alloc(allocator, denormed_something_subdir_abs_path);
166+
defer allocator.free(denormed_something_subdir_wtf8);
167+
168+
// clear the path to ensure that the match comes from the cwd
169+
std.debug.assert(windows.kernel32.SetEnvironmentVariableW(
170+
utf16Literal("PATH"),
171+
null,
172+
) == windows.TRUE);
173+
174+
try testExecWithCwd(allocator, "goodbye", denormed_something_subdir_wtf8, "hello from exe\n");
175+
176+
// normalization should also work if the non-normalized path is found in the PATH var.
177+
std.debug.assert(windows.kernel32.SetEnvironmentVariableW(
178+
utf16Literal("PATH"),
179+
denormed_something_subdir_abs_path,
180+
) == windows.TRUE);
181+
try testExec(allocator, "goodbye", "hello from exe\n");
182+
183+
// now make sure we can launch executables "outside" of the cwd
184+
var subdir_cwd = try tmp.dir.openDir(denormed_something_subdir_wtf8, .{});
185+
defer subdir_cwd.close();
186+
187+
try tmp.dir.rename("something/goodbye.exe", "hello.exe");
188+
try subdir_cwd.setAsCwd();
189+
190+
// clear the PATH again
191+
std.debug.assert(windows.kernel32.SetEnvironmentVariableW(
192+
utf16Literal("PATH"),
193+
null,
194+
) == windows.TRUE);
195+
196+
// while we're at it make sure non-windows separators work fine
197+
try testExec(allocator, "../hello", "hello from exe\n");
152198
}
153199

154200
fn testExecError(err: anyerror, allocator: std.mem.Allocator, command: []const u8) !void {

0 commit comments

Comments
 (0)