| // Copyright 2019 The Bazel Authors. All rights reserved. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| |
| #ifndef WIN32_LEAN_AND_MEAN |
| #define WIN32_LEAN_AND_MEAN |
| #endif |
| #include "src/main/native/windows/process.h" |
| |
| #include <wchar.h> |
| #include <windows.h> |
| |
| #include <memory> |
| #include <string> |
| #include <vector> |
| |
| #include "gtest/gtest.h" |
| #include "src/main/cpp/util/path.h" |
| #include "src/main/native/windows/util.h" |
| #include "tools/cpp/runfiles/runfiles.h" |
| |
| namespace { |
| |
| // Asserts argument escaping for subprocesses. |
| // |
| // For each pair in 'args', this method: |
| // 1. asserts that WindowsEscapeArg(pair.first) == pair.second |
| // 2. asserts that passing pair.second to a subprocess results in the subprocess |
| // receiving pair.first |
| // |
| // The method performs the second assertion by running "printarg.exe" (a |
| // data-dependency of this test) once for each argument. |
| void AssertSubprocessReceivesArgsAsIntended( |
| const std::vector<std::pair<std::wstring, std::wstring> >& args) { |
| // Assert that the WindowsEscapeArg produces what we expect. |
| for (const auto& i : args) { |
| ASSERT_EQ(bazel::windows::WindowsEscapeArg(i.first), i.second); |
| } |
| |
| // Create a Runfiles object. |
| std::string error; |
| std::unique_ptr<bazel::tools::cpp::runfiles::Runfiles> runfiles( |
| bazel::tools::cpp::runfiles::Runfiles::CreateForTest(&error)); |
| ASSERT_NE(runfiles.get(), nullptr) << error; |
| |
| // Look up the path of the printarg.exe utility. |
| std::string printarg = |
| runfiles->Rlocation("io_bazel/src/test/native/windows/printarg.exe"); |
| ASSERT_NE(printarg, ""); |
| |
| // Convert printarg.exe's path to a wchar_t Windows path. |
| std::wstring wprintarg; |
| bool success = |
| blaze_util::AsAbsoluteWindowsPath(printarg, &wprintarg, &error); |
| ASSERT_TRUE(success) << error; |
| |
| // SECURITY_ATTRIBUTES for inheritable HANDLEs. |
| SECURITY_ATTRIBUTES sa; |
| sa.nLength = sizeof(sa); |
| sa.lpSecurityDescriptor = NULL; |
| sa.bInheritHandle = TRUE; |
| |
| // Open /dev/null that will be redirected into the subprocess' stdin. |
| bazel::windows::AutoHandle devnull( |
| CreateFileW(L"NUL", GENERIC_READ, |
| FILE_SHARE_READ | FILE_SHARE_WRITE | FILE_SHARE_DELETE, &sa, |
| OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, NULL)); |
| ASSERT_TRUE(devnull.IsValid()); |
| |
| // Create a pipe that the subprocess' stdout will be redirected to. |
| HANDLE pipe_read_h, pipe_write_h; |
| if (!CreatePipe(&pipe_read_h, &pipe_write_h, &sa, 0x10000)) { |
| DWORD err = GetLastError(); |
| ASSERT_EQ(err, 0); |
| } |
| bazel::windows::AutoHandle pipe_read(pipe_read_h), pipe_write(pipe_write_h); |
| |
| // Duplicate stderr, where the subprocess' stderr will be redirected to. |
| HANDLE stderr_h; |
| if (!DuplicateHandle(GetCurrentProcess(), GetStdHandle(STD_ERROR_HANDLE), |
| GetCurrentProcess(), &stderr_h, 0, TRUE, |
| DUPLICATE_SAME_ACCESS)) { |
| DWORD err = GetLastError(); |
| ASSERT_EQ(err, 0); |
| } |
| bazel::windows::AutoHandle stderr_dup(stderr_h); |
| |
| // Create the attribute object for the process creation. This object describes |
| // exactly which handles the subprocess shall inherit. |
| STARTUPINFOEXW startupInfo; |
| std::unique_ptr<bazel::windows::AutoAttributeList> attrs; |
| std::wstring werror; |
| ASSERT_TRUE(bazel::windows::AutoAttributeList::Create( |
| devnull, pipe_write, stderr_dup, &attrs, &werror)); |
| attrs->InitStartupInfoExW(&startupInfo); |
| |
| // MSDN says the maximum command line is 32767 characters, with a null |
| // terminator that is exactly 2^15 (= 0x8000). |
| static constexpr size_t kMaxCmdline = 0x8000; |
| wchar_t cmdline[kMaxCmdline]; |
| |
| // Copy printarg.exe's escaped path into the 'cmdline', and append a space. |
| // We will append arguments to this command line in the for-loop below. |
| wprintarg = bazel::windows::WindowsEscapeArg(wprintarg); |
| wcsncpy(cmdline, wprintarg.c_str(), wprintarg.size()); |
| wchar_t* pcmdline = cmdline + wprintarg.size(); |
| *pcmdline++ = L' '; |
| |
| // Run a subprocess for each of the arguments and assert that the argument |
| // arrived to the subprocess as intended. |
| for (const auto& i : args) { |
| // We already asserted for every element that WindowsEscapeArg(i.first) |
| // produces the same output as i.second, so just use i.second instead of |
| // converting i.first again. |
| wcsncpy(pcmdline, i.second.c_str(), i.second.size()); |
| pcmdline[i.second.size()] = 0; |
| |
| // Run the subprocess. |
| PROCESS_INFORMATION processInfo; |
| BOOL ok = CreateProcessW( |
| NULL, cmdline, NULL, NULL, TRUE, |
| CREATE_UNICODE_ENVIRONMENT | EXTENDED_STARTUPINFO_PRESENT, NULL, NULL, |
| &startupInfo.StartupInfo, &processInfo); |
| if (!ok) { |
| DWORD err = GetLastError(); |
| ASSERT_EQ(err, 0); |
| } |
| CloseHandle(processInfo.hThread); |
| bazel::windows::AutoHandle process(processInfo.hProcess); |
| |
| // Wait for the subprocess to exit. Timeout is 5 seconds, which should be |
| // more than enough for the subprocess to finish. |
| ASSERT_EQ(WaitForSingleObject(process, 5000), WAIT_OBJECT_0); |
| |
| // The subprocess printed its argv[1] (without a newline) to its stdout, |
| // which is redirected into the pipe. |
| // Let's write a null-terminator to the pipe to separate the output from the |
| // output of the subsequent subprocess. The null-terminator also yields |
| // null-terminated strings in the pipe, making it easy to read them out |
| // later. |
| DWORD dummy; |
| ASSERT_TRUE(WriteFile(pipe_write, "\0", 1, &dummy, NULL)); |
| } |
| |
| // Read the output of the subprocesses from the pipe. They are divided by |
| // null-terminators, so 'buf' will contain a sequence of null-terminated |
| // strings. We close the writing end so that ReadFile won't block until the |
| // desired amount of bytes is available. |
| DWORD total_output_len; |
| char buf[0x10000]; |
| pipe_write = INVALID_HANDLE_VALUE; |
| if (!ReadFile(pipe_read, buf, 0x10000, &total_output_len, NULL)) { |
| DWORD err = GetLastError(); |
| ASSERT_EQ(err, 0); |
| } |
| |
| // Assert that the subprocesses produced exactly the *unescaped* arguments. |
| size_t start = 0; |
| for (const auto& arg : args) { |
| // Assert that there was enough data produced by the subprocesses. |
| ASSERT_LT(start, total_output_len); |
| |
| // Find the output of the corresponding subprocess. Since all subprocesses |
| // printed into the same pipe and we added null-terminators between them, |
| // the output is already there, conveniently as a null-terminated string. |
| std::string actual_arg(buf + start); |
| start += actual_arg.size() + 1; |
| |
| // 'args' contains wchar_t strings, but the subprocesses printed ASCII |
| // (char) strings. To compare, we convert arg.first to a char-string. |
| std::string expected_arg; |
| expected_arg.reserve(arg.first.size()); |
| for (const auto& wc : arg.first) { |
| expected_arg.append(1, static_cast<char>(wc)); |
| } |
| |
| // Assert that the subprocess printed exactly the *unescaped* argument. |
| EXPECT_EQ(expected_arg, actual_arg); |
| } |
| } |
| |
| TEST(ProcessTest, WindowsEscapeArgTest) { |
| AssertSubprocessReceivesArgsAsIntended({ |
| {L"", L"\"\""}, |
| {L" ", L"\" \""}, |
| {L"\"", L"\"\\\"\""}, |
| {L"\"\\", L"\"\\\"\\\\\""}, |
| {L"\\", L"\\"}, |
| {L"\\\"", L"\"\\\\\\\"\""}, |
| {L"with space", L"\"with space\""}, |
| {L"with^caret", L"with^caret"}, |
| {L"space ^caret", L"\"space ^caret\""}, |
| {L"caret^ space", L"\"caret^ space\""}, |
| {L"with\"quote", L"\"with\\\"quote\""}, |
| {L"with\\backslash", L"with\\backslash"}, |
| {L"one\\ backslash and \\space", L"\"one\\ backslash and \\space\""}, |
| {L"two\\\\backslashes", L"two\\\\backslashes"}, |
| {L"two\\\\ backslashes \\\\and space", |
| L"\"two\\\\ backslashes \\\\and space\""}, |
| {L"one\\\"x", L"\"one\\\\\\\"x\""}, |
| {L"two\\\\\"x", L"\"two\\\\\\\\\\\"x\""}, |
| {L"a \\ b", L"\"a \\ b\""}, |
| {L"a \\\" b", L"\"a \\\\\\\" b\""}, |
| {L"A", L"A"}, |
| {L"\"a\"", L"\"\\\"a\\\"\""}, |
| {L"B C", L"\"B C\""}, |
| {L"\"b c\"", L"\"\\\"b c\\\"\""}, |
| {L"D\"E", L"\"D\\\"E\""}, |
| {L"\"d\"e\"", L"\"\\\"d\\\"e\\\"\""}, |
| {L"C:\\F G", L"\"C:\\F G\""}, |
| {L"\"C:\\f g\"", L"\"\\\"C:\\f g\\\"\""}, |
| {L"C:\\H\"I", L"\"C:\\H\\\"I\""}, |
| {L"\"C:\\h\"i\"", L"\"\\\"C:\\h\\\"i\\\"\""}, |
| {L"C:\\J\\\"K", L"\"C:\\J\\\\\\\"K\""}, |
| {L"\"C:\\j\\\"k\"", L"\"\\\"C:\\j\\\\\\\"k\\\"\""}, |
| {L"C:\\L M ", L"\"C:\\L M \""}, |
| {L"\"C:\\l m \"", L"\"\\\"C:\\l m \\\"\""}, |
| {L"C:\\N O\\", L"\"C:\\N O\\\\\""}, |
| {L"\"C:\\n o\\\"", L"\"\\\"C:\\n o\\\\\\\"\""}, |
| {L"C:\\P Q\\ ", L"\"C:\\P Q\\ \""}, |
| {L"\"C:\\p q\\ \"", L"\"\\\"C:\\p q\\ \\\"\""}, |
| {L"C:\\R\\S\\", L"C:\\R\\S\\"}, |
| {L"C:\\R x\\S\\", L"\"C:\\R x\\S\\\\\""}, |
| {L"\"C:\\r\\s\\\"", L"\"\\\"C:\\r\\s\\\\\\\"\""}, |
| {L"\"C:\\r x\\s\\\"", L"\"\\\"C:\\r x\\s\\\\\\\"\""}, |
| {L"C:\\T U\\W\\", L"\"C:\\T U\\W\\\\\""}, |
| {L"\"C:\\t u\\w\\\"", L"\"\\\"C:\\t u\\w\\\\\\\"\""}, |
| }); |
| } |
| |
| } // namespace |