108334c51SBrooks Davis // Copyright 2012 The Kyua Authors.
208334c51SBrooks Davis // All rights reserved.
308334c51SBrooks Davis //
408334c51SBrooks Davis // Redistribution and use in source and binary forms, with or without
508334c51SBrooks Davis // modification, are permitted provided that the following conditions are
608334c51SBrooks Davis // met:
708334c51SBrooks Davis //
808334c51SBrooks Davis // * Redistributions of source code must retain the above copyright
908334c51SBrooks Davis // notice, this list of conditions and the following disclaimer.
1008334c51SBrooks Davis // * Redistributions in binary form must reproduce the above copyright
1108334c51SBrooks Davis // notice, this list of conditions and the following disclaimer in the
1208334c51SBrooks Davis // documentation and/or other materials provided with the distribution.
1308334c51SBrooks Davis // * Neither the name of Google Inc. nor the names of its contributors
1408334c51SBrooks Davis // may be used to endorse or promote products derived from this software
1508334c51SBrooks Davis // without specific prior written permission.
1608334c51SBrooks Davis //
1708334c51SBrooks Davis // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1808334c51SBrooks Davis // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1908334c51SBrooks Davis // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
2008334c51SBrooks Davis // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2108334c51SBrooks Davis // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2208334c51SBrooks Davis // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2308334c51SBrooks Davis // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2408334c51SBrooks Davis // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2508334c51SBrooks Davis // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2608334c51SBrooks Davis // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2708334c51SBrooks Davis // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2808334c51SBrooks Davis
2908334c51SBrooks Davis #include "utils/stacktrace.hpp"
3008334c51SBrooks Davis
3108334c51SBrooks Davis extern "C" {
3208334c51SBrooks Davis #include <sys/resource.h>
3308334c51SBrooks Davis #include <sys/types.h>
3408334c51SBrooks Davis #include <sys/stat.h>
3508334c51SBrooks Davis
3608334c51SBrooks Davis #include <signal.h>
3708334c51SBrooks Davis #include <unistd.h>
3808334c51SBrooks Davis }
3908334c51SBrooks Davis
4008334c51SBrooks Davis #include <iostream>
4108334c51SBrooks Davis #include <sstream>
4208334c51SBrooks Davis
4308334c51SBrooks Davis #include <atf-c++.hpp>
4408334c51SBrooks Davis
4508334c51SBrooks Davis #include "utils/datetime.hpp"
4608334c51SBrooks Davis #include "utils/env.hpp"
4708334c51SBrooks Davis #include "utils/fs/operations.hpp"
4808334c51SBrooks Davis #include "utils/fs/path.hpp"
4908334c51SBrooks Davis #include "utils/optional.ipp"
5008334c51SBrooks Davis #include "utils/process/executor.ipp"
5108334c51SBrooks Davis #include "utils/process/child.ipp"
5208334c51SBrooks Davis #include "utils/process/operations.hpp"
5308334c51SBrooks Davis #include "utils/process/status.hpp"
5408334c51SBrooks Davis #include "utils/sanity.hpp"
5508334c51SBrooks Davis #include "utils/test_utils.ipp"
5608334c51SBrooks Davis
5708334c51SBrooks Davis namespace datetime = utils::datetime;
5808334c51SBrooks Davis namespace executor = utils::process::executor;
5908334c51SBrooks Davis namespace fs = utils::fs;
6008334c51SBrooks Davis namespace process = utils::process;
6108334c51SBrooks Davis
6208334c51SBrooks Davis using utils::none;
6308334c51SBrooks Davis using utils::optional;
6408334c51SBrooks Davis
6508334c51SBrooks Davis
6608334c51SBrooks Davis namespace {
6708334c51SBrooks Davis
6808334c51SBrooks Davis
6908334c51SBrooks Davis /// Functor to execute a binary in a subprocess.
7008334c51SBrooks Davis ///
7108334c51SBrooks Davis /// The provided binary is copied to the current work directory before being
7208334c51SBrooks Davis /// executed and the copy is given the name chosen by the user. The copy is
7308334c51SBrooks Davis /// necessary so that we have a deterministic location for where core files may
7408334c51SBrooks Davis /// be dumped (if they happen to be dumped in the current directory).
7508334c51SBrooks Davis class crash_me {
7608334c51SBrooks Davis /// Path to the binary to execute.
7708334c51SBrooks Davis const fs::path _binary;
7808334c51SBrooks Davis
7908334c51SBrooks Davis /// Name of the binary after being copied.
8008334c51SBrooks Davis const fs::path _copy_name;
8108334c51SBrooks Davis
8208334c51SBrooks Davis public:
8308334c51SBrooks Davis /// Constructor.
8408334c51SBrooks Davis ///
8508334c51SBrooks Davis /// \param binary_ Path to binary to execute.
8608334c51SBrooks Davis /// \param copy_name_ Name of the binary after being copied. If empty,
8708334c51SBrooks Davis /// use the leaf name of binary_.
crash_me(const fs::path & binary_,const std::string & copy_name_="")8808334c51SBrooks Davis explicit crash_me(const fs::path& binary_,
8908334c51SBrooks Davis const std::string& copy_name_ = "") :
9008334c51SBrooks Davis _binary(binary_),
9108334c51SBrooks Davis _copy_name(copy_name_.empty() ? binary_.leaf_name() : copy_name_)
9208334c51SBrooks Davis {
9308334c51SBrooks Davis }
9408334c51SBrooks Davis
9508334c51SBrooks Davis /// Runs the binary.
9608334c51SBrooks Davis void
operator ()(void) const9708334c51SBrooks Davis operator()(void) const UTILS_NORETURN
9808334c51SBrooks Davis {
9908334c51SBrooks Davis atf::utils::copy_file(_binary.str(), _copy_name.str());
10008334c51SBrooks Davis
10108334c51SBrooks Davis const std::vector< std::string > args;
10208334c51SBrooks Davis process::exec(_copy_name, args);
10308334c51SBrooks Davis }
10408334c51SBrooks Davis
10508334c51SBrooks Davis /// Runs the binary.
10608334c51SBrooks Davis ///
10708334c51SBrooks Davis /// This interface is exposed to support passing crash_me to the executor.
10808334c51SBrooks Davis void
operator ()(const fs::path &) const10908334c51SBrooks Davis operator()(const fs::path& /* control_directory */) const
11008334c51SBrooks Davis UTILS_NORETURN
11108334c51SBrooks Davis {
11208334c51SBrooks Davis (*this)(); // Delegate to ensure the two entry points remain in sync.
11308334c51SBrooks Davis }
11408334c51SBrooks Davis };
11508334c51SBrooks Davis
11608334c51SBrooks Davis
11708334c51SBrooks Davis static void child_exit(const fs::path&) UTILS_NORETURN;
11808334c51SBrooks Davis
11908334c51SBrooks Davis
12008334c51SBrooks Davis /// Subprocess that exits cleanly.
12108334c51SBrooks Davis static void
child_exit(const fs::path &)12208334c51SBrooks Davis child_exit(const fs::path& /* control_directory */)
12308334c51SBrooks Davis {
12408334c51SBrooks Davis ::_exit(EXIT_SUCCESS);
12508334c51SBrooks Davis }
12608334c51SBrooks Davis
12708334c51SBrooks Davis
12808334c51SBrooks Davis static void child_pause(const fs::path&) UTILS_NORETURN;
12908334c51SBrooks Davis
13008334c51SBrooks Davis
13108334c51SBrooks Davis /// Subprocess that just blocks.
13208334c51SBrooks Davis static void
child_pause(const fs::path &)13308334c51SBrooks Davis child_pause(const fs::path& /* control_directory */)
13408334c51SBrooks Davis {
13508334c51SBrooks Davis sigset_t mask;
13608334c51SBrooks Davis sigemptyset(&mask);
13708334c51SBrooks Davis for (;;) {
13808334c51SBrooks Davis ::sigsuspend(&mask);
13908334c51SBrooks Davis }
14008334c51SBrooks Davis std::abort();
14108334c51SBrooks Davis }
14208334c51SBrooks Davis
14308334c51SBrooks Davis
14408334c51SBrooks Davis /// Generates a core dump, if possible.
14508334c51SBrooks Davis ///
14608334c51SBrooks Davis /// \post If this fails to generate a core file, the test case is marked as
14708334c51SBrooks Davis /// skipped. The caller can rely on this when attempting further checks on the
14808334c51SBrooks Davis /// core dump by assuming that the core dump exists somewhere.
14908334c51SBrooks Davis ///
15008334c51SBrooks Davis /// \param test_case Pointer to the caller test case, needed to obtain the path
15108334c51SBrooks Davis /// to the source directory.
15208334c51SBrooks Davis /// \param base_name Name of the binary to execute, which will be a copy of a
15308334c51SBrooks Davis /// helper binary that always crashes. This name should later be part of
15408334c51SBrooks Davis /// the core filename.
15508334c51SBrooks Davis ///
15608334c51SBrooks Davis /// \return The status of the crashed binary.
15708334c51SBrooks Davis static process::status
generate_core(const atf::tests::tc * test_case,const char * base_name)15808334c51SBrooks Davis generate_core(const atf::tests::tc* test_case, const char* base_name)
15908334c51SBrooks Davis {
16008334c51SBrooks Davis utils::prepare_coredump_test(test_case);
16108334c51SBrooks Davis
16208334c51SBrooks Davis const fs::path helper = fs::path(test_case->get_config_var("srcdir")) /
16308334c51SBrooks Davis "stacktrace_helper";
16408334c51SBrooks Davis
16508334c51SBrooks Davis const process::status status = process::child::fork_files(
16608334c51SBrooks Davis crash_me(helper, base_name),
16708334c51SBrooks Davis fs::path("unused.out"), fs::path("unused.err"))->wait();
16808334c51SBrooks Davis ATF_REQUIRE(status.signaled());
16908334c51SBrooks Davis if (!status.coredump())
17008334c51SBrooks Davis ATF_SKIP("Test failed to generate core dump");
17108334c51SBrooks Davis return status;
17208334c51SBrooks Davis }
17308334c51SBrooks Davis
17408334c51SBrooks Davis
17508334c51SBrooks Davis /// Generates a core dump, if possible.
17608334c51SBrooks Davis ///
17708334c51SBrooks Davis /// \post If this fails to generate a core file, the test case is marked as
17808334c51SBrooks Davis /// skipped. The caller can rely on this when attempting further checks on the
17908334c51SBrooks Davis /// core dump by assuming that the core dump exists somewhere.
18008334c51SBrooks Davis ///
18108334c51SBrooks Davis /// \param test_case Pointer to the caller test case, needed to obtain the path
18208334c51SBrooks Davis /// to the source directory.
18308334c51SBrooks Davis /// \param base_name Name of the binary to execute, which will be a copy of a
18408334c51SBrooks Davis /// helper binary that always crashes. This name should later be part of
18508334c51SBrooks Davis /// the core filename.
18608334c51SBrooks Davis /// \param executor_handle Executor to use to generate the core dump.
18708334c51SBrooks Davis ///
18808334c51SBrooks Davis /// \return The exit handle of the subprocess so that a stacktrace can be
18908334c51SBrooks Davis /// executed reusing this context later on.
19008334c51SBrooks Davis static executor::exit_handle
generate_core(const atf::tests::tc * test_case,const char * base_name,executor::executor_handle & executor_handle)19108334c51SBrooks Davis generate_core(const atf::tests::tc* test_case, const char* base_name,
19208334c51SBrooks Davis executor::executor_handle& executor_handle)
19308334c51SBrooks Davis {
19408334c51SBrooks Davis utils::prepare_coredump_test(test_case);
19508334c51SBrooks Davis
19608334c51SBrooks Davis const fs::path helper = fs::path(test_case->get_config_var("srcdir")) /
19708334c51SBrooks Davis "stacktrace_helper";
19808334c51SBrooks Davis
19908334c51SBrooks Davis const executor::exec_handle exec_handle = executor_handle.spawn(
20008334c51SBrooks Davis crash_me(helper, base_name), datetime::delta(60, 0), none, none, none);
20108334c51SBrooks Davis const executor::exit_handle exit_handle = executor_handle.wait(exec_handle);
20208334c51SBrooks Davis
20308334c51SBrooks Davis if (!exit_handle.status())
20408334c51SBrooks Davis ATF_SKIP("Test failed to generate core dump (timed out)");
20508334c51SBrooks Davis const process::status& status = exit_handle.status().get();
20608334c51SBrooks Davis ATF_REQUIRE(status.signaled());
20708334c51SBrooks Davis if (!status.coredump())
20808334c51SBrooks Davis ATF_SKIP("Test failed to generate core dump");
20908334c51SBrooks Davis
21008334c51SBrooks Davis return exit_handle;
21108334c51SBrooks Davis }
21208334c51SBrooks Davis
21308334c51SBrooks Davis
21408334c51SBrooks Davis /// Creates a script.
21508334c51SBrooks Davis ///
21608334c51SBrooks Davis /// \param script Path to the script to create.
21708334c51SBrooks Davis /// \param contents Contents of the script.
21808334c51SBrooks Davis static void
create_script(const char * script,const std::string & contents)21908334c51SBrooks Davis create_script(const char* script, const std::string& contents)
22008334c51SBrooks Davis {
22108334c51SBrooks Davis atf::utils::create_file(script, "#! /bin/sh\n\n" + contents);
22208334c51SBrooks Davis ATF_REQUIRE(::chmod(script, 0755) != -1);
22308334c51SBrooks Davis }
22408334c51SBrooks Davis
22508334c51SBrooks Davis
22608334c51SBrooks Davis } // anonymous namespace
22708334c51SBrooks Davis
22808334c51SBrooks Davis
22908334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(unlimit_core_size);
ATF_TEST_CASE_BODY(unlimit_core_size)23008334c51SBrooks Davis ATF_TEST_CASE_BODY(unlimit_core_size)
23108334c51SBrooks Davis {
23208334c51SBrooks Davis utils::require_run_coredump_tests(this);
23308334c51SBrooks Davis
23408334c51SBrooks Davis struct rlimit rl;
23508334c51SBrooks Davis rl.rlim_cur = 0;
23608334c51SBrooks Davis rl.rlim_max = RLIM_INFINITY;
23708334c51SBrooks Davis if (::setrlimit(RLIMIT_CORE, &rl) == -1)
23808334c51SBrooks Davis skip("Failed to lower the core size limit");
23908334c51SBrooks Davis
24008334c51SBrooks Davis ATF_REQUIRE(utils::unlimit_core_size());
24108334c51SBrooks Davis
24208334c51SBrooks Davis const fs::path helper = fs::path(get_config_var("srcdir")) /
24308334c51SBrooks Davis "stacktrace_helper";
24408334c51SBrooks Davis const process::status status = process::child::fork_files(
24508334c51SBrooks Davis crash_me(helper),
24608334c51SBrooks Davis fs::path("unused.out"), fs::path("unused.err"))->wait();
24708334c51SBrooks Davis ATF_REQUIRE(status.signaled());
24808334c51SBrooks Davis if (!status.coredump())
24908334c51SBrooks Davis fail("Core not dumped as expected");
25008334c51SBrooks Davis }
25108334c51SBrooks Davis
25208334c51SBrooks Davis
25308334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(unlimit_core_size__hard_is_zero);
ATF_TEST_CASE_BODY(unlimit_core_size__hard_is_zero)25408334c51SBrooks Davis ATF_TEST_CASE_BODY(unlimit_core_size__hard_is_zero)
25508334c51SBrooks Davis {
25608334c51SBrooks Davis utils::require_run_coredump_tests(this);
25708334c51SBrooks Davis
25808334c51SBrooks Davis struct rlimit rl;
25908334c51SBrooks Davis rl.rlim_cur = 0;
26008334c51SBrooks Davis rl.rlim_max = 0;
26108334c51SBrooks Davis if (::setrlimit(RLIMIT_CORE, &rl) == -1)
26208334c51SBrooks Davis skip("Failed to lower the core size limit");
26308334c51SBrooks Davis
26408334c51SBrooks Davis ATF_REQUIRE(!utils::unlimit_core_size());
26508334c51SBrooks Davis
26608334c51SBrooks Davis const fs::path helper = fs::path(get_config_var("srcdir")) /
26708334c51SBrooks Davis "stacktrace_helper";
26808334c51SBrooks Davis const process::status status = process::child::fork_files(
26908334c51SBrooks Davis crash_me(helper),
27008334c51SBrooks Davis fs::path("unused.out"), fs::path("unused.err"))->wait();
27108334c51SBrooks Davis ATF_REQUIRE(status.signaled());
27208334c51SBrooks Davis ATF_REQUIRE(!status.coredump());
27308334c51SBrooks Davis }
27408334c51SBrooks Davis
27508334c51SBrooks Davis
27608334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_gdb__use_builtin);
ATF_TEST_CASE_BODY(find_gdb__use_builtin)27708334c51SBrooks Davis ATF_TEST_CASE_BODY(find_gdb__use_builtin)
27808334c51SBrooks Davis {
27908334c51SBrooks Davis utils::builtin_gdb = "/path/to/gdb";
28008334c51SBrooks Davis optional< fs::path > gdb = utils::find_gdb();
28108334c51SBrooks Davis ATF_REQUIRE(gdb);
28208334c51SBrooks Davis ATF_REQUIRE_EQ("/path/to/gdb", gdb.get().str());
28308334c51SBrooks Davis }
28408334c51SBrooks Davis
28508334c51SBrooks Davis
28608334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_gdb__search_builtin__ok);
ATF_TEST_CASE_BODY(find_gdb__search_builtin__ok)28708334c51SBrooks Davis ATF_TEST_CASE_BODY(find_gdb__search_builtin__ok)
28808334c51SBrooks Davis {
28908334c51SBrooks Davis atf::utils::create_file("custom-name", "");
29008334c51SBrooks Davis ATF_REQUIRE(::chmod("custom-name", 0755) != -1);
29108334c51SBrooks Davis const fs::path exp_gdb = fs::path("custom-name").to_absolute();
29208334c51SBrooks Davis
29308334c51SBrooks Davis utils::setenv("PATH", "/non-existent/location:.:/bin");
29408334c51SBrooks Davis
29508334c51SBrooks Davis utils::builtin_gdb = "custom-name";
29608334c51SBrooks Davis optional< fs::path > gdb = utils::find_gdb();
29708334c51SBrooks Davis ATF_REQUIRE(gdb);
29808334c51SBrooks Davis ATF_REQUIRE_EQ(exp_gdb, gdb.get());
29908334c51SBrooks Davis }
30008334c51SBrooks Davis
30108334c51SBrooks Davis
30208334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_gdb__search_builtin__fail);
ATF_TEST_CASE_BODY(find_gdb__search_builtin__fail)30308334c51SBrooks Davis ATF_TEST_CASE_BODY(find_gdb__search_builtin__fail)
30408334c51SBrooks Davis {
30508334c51SBrooks Davis utils::setenv("PATH", ".");
30608334c51SBrooks Davis utils::builtin_gdb = "foo";
30708334c51SBrooks Davis optional< fs::path > gdb = utils::find_gdb();
30808334c51SBrooks Davis ATF_REQUIRE(!gdb);
30908334c51SBrooks Davis }
31008334c51SBrooks Davis
31108334c51SBrooks Davis
31208334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_gdb__bogus_value);
ATF_TEST_CASE_BODY(find_gdb__bogus_value)31308334c51SBrooks Davis ATF_TEST_CASE_BODY(find_gdb__bogus_value)
31408334c51SBrooks Davis {
31508334c51SBrooks Davis utils::builtin_gdb = "";
31608334c51SBrooks Davis optional< fs::path > gdb = utils::find_gdb();
31708334c51SBrooks Davis ATF_REQUIRE(!gdb);
31808334c51SBrooks Davis }
31908334c51SBrooks Davis
32008334c51SBrooks Davis
32108334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_core__found__short);
ATF_TEST_CASE_BODY(find_core__found__short)32208334c51SBrooks Davis ATF_TEST_CASE_BODY(find_core__found__short)
32308334c51SBrooks Davis {
32408334c51SBrooks Davis const process::status status = generate_core(this, "short");
32508334c51SBrooks Davis INV(status.coredump());
32608334c51SBrooks Davis const optional< fs::path > core_name = utils::find_core(
32708334c51SBrooks Davis fs::path("short"), status, fs::path("."));
32808334c51SBrooks Davis if (!core_name)
32908334c51SBrooks Davis fail("Core dumped, but no candidates found");
33008334c51SBrooks Davis ATF_REQUIRE(core_name.get().str().find("core") != std::string::npos);
33108334c51SBrooks Davis ATF_REQUIRE(fs::exists(core_name.get()));
33208334c51SBrooks Davis }
33308334c51SBrooks Davis
33408334c51SBrooks Davis
33508334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_core__found__long);
ATF_TEST_CASE_BODY(find_core__found__long)33608334c51SBrooks Davis ATF_TEST_CASE_BODY(find_core__found__long)
33708334c51SBrooks Davis {
33808334c51SBrooks Davis const process::status status = generate_core(
33908334c51SBrooks Davis this, "long-name-that-may-be-truncated-in-some-systems");
34008334c51SBrooks Davis INV(status.coredump());
34108334c51SBrooks Davis const optional< fs::path > core_name = utils::find_core(
34208334c51SBrooks Davis fs::path("long-name-that-may-be-truncated-in-some-systems"),
34308334c51SBrooks Davis status, fs::path("."));
34408334c51SBrooks Davis if (!core_name)
34508334c51SBrooks Davis fail("Core dumped, but no candidates found");
34608334c51SBrooks Davis ATF_REQUIRE(core_name.get().str().find("core") != std::string::npos);
34708334c51SBrooks Davis ATF_REQUIRE(fs::exists(core_name.get()));
34808334c51SBrooks Davis }
34908334c51SBrooks Davis
35008334c51SBrooks Davis
35108334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(find_core__not_found);
ATF_TEST_CASE_BODY(find_core__not_found)35208334c51SBrooks Davis ATF_TEST_CASE_BODY(find_core__not_found)
35308334c51SBrooks Davis {
35408334c51SBrooks Davis const process::status status = process::status::fake_signaled(SIGILL, true);
35508334c51SBrooks Davis const optional< fs::path > core_name = utils::find_core(
35608334c51SBrooks Davis fs::path("missing"), status, fs::path("."));
35708334c51SBrooks Davis if (core_name)
35808334c51SBrooks Davis fail("Core not dumped, but candidate found: " + core_name.get().str());
35908334c51SBrooks Davis }
36008334c51SBrooks Davis
36108334c51SBrooks Davis
36208334c51SBrooks Davis ATF_TEST_CASE(dump_stacktrace__integration);
ATF_TEST_CASE_HEAD(dump_stacktrace__integration)36308334c51SBrooks Davis ATF_TEST_CASE_HEAD(dump_stacktrace__integration)
36408334c51SBrooks Davis {
36508334c51SBrooks Davis set_md_var("require.progs", utils::builtin_gdb);
36608334c51SBrooks Davis }
ATF_TEST_CASE_BODY(dump_stacktrace__integration)36708334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__integration)
36808334c51SBrooks Davis {
36908334c51SBrooks Davis executor::executor_handle handle = executor::setup();
37008334c51SBrooks Davis
37108334c51SBrooks Davis executor::exit_handle exit_handle = generate_core(this, "short", handle);
37208334c51SBrooks Davis INV(exit_handle.status());
37308334c51SBrooks Davis INV(exit_handle.status().get().coredump());
37408334c51SBrooks Davis
37508334c51SBrooks Davis std::ostringstream output;
37608334c51SBrooks Davis utils::dump_stacktrace(fs::path("short"), handle, exit_handle);
37708334c51SBrooks Davis
37808334c51SBrooks Davis // It is hard to validate the execution of an arbitrary GDB of which we do
37908334c51SBrooks Davis // not know anything. Just assume that the backtrace, at the very least,
38008334c51SBrooks Davis // prints a couple of frame identifiers.
38108334c51SBrooks Davis ATF_REQUIRE(!atf::utils::grep_file("#0", exit_handle.stdout_file().str()));
38208334c51SBrooks Davis ATF_REQUIRE( atf::utils::grep_file("#0", exit_handle.stderr_file().str()));
38308334c51SBrooks Davis ATF_REQUIRE(!atf::utils::grep_file("#1", exit_handle.stdout_file().str()));
38408334c51SBrooks Davis ATF_REQUIRE( atf::utils::grep_file("#1", exit_handle.stderr_file().str()));
38508334c51SBrooks Davis
38608334c51SBrooks Davis exit_handle.cleanup();
38708334c51SBrooks Davis handle.cleanup();
38808334c51SBrooks Davis }
38908334c51SBrooks Davis
39008334c51SBrooks Davis
39108334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__ok);
ATF_TEST_CASE_BODY(dump_stacktrace__ok)39208334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__ok)
39308334c51SBrooks Davis {
39408334c51SBrooks Davis utils::setenv("PATH", ".");
39508334c51SBrooks Davis create_script("fake-gdb", "echo 'frame 1'; echo 'frame 2'; "
39608334c51SBrooks Davis "echo 'some warning' 1>&2; exit 0");
39708334c51SBrooks Davis utils::builtin_gdb = "fake-gdb";
39808334c51SBrooks Davis
39908334c51SBrooks Davis executor::executor_handle handle = executor::setup();
40008334c51SBrooks Davis executor::exit_handle exit_handle = generate_core(this, "short", handle);
40108334c51SBrooks Davis INV(exit_handle.status());
40208334c51SBrooks Davis INV(exit_handle.status().get().coredump());
40308334c51SBrooks Davis
40408334c51SBrooks Davis utils::dump_stacktrace(fs::path("short"), handle, exit_handle);
40508334c51SBrooks Davis
40608334c51SBrooks Davis // Note how all output is expected on stderr even for the messages that the
40708334c51SBrooks Davis // script decided to send to stdout.
40808334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("exited with signal [0-9]* and dumped",
40908334c51SBrooks Davis exit_handle.stderr_file().str()));
41008334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("^frame 1$",
41108334c51SBrooks Davis exit_handle.stderr_file().str()));
41208334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("^frame 2$",
41308334c51SBrooks Davis exit_handle.stderr_file().str()));
41408334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("^some warning$",
41508334c51SBrooks Davis exit_handle.stderr_file().str()));
41608334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("GDB exited successfully",
41708334c51SBrooks Davis exit_handle.stderr_file().str()));
41808334c51SBrooks Davis
41908334c51SBrooks Davis exit_handle.cleanup();
42008334c51SBrooks Davis handle.cleanup();
42108334c51SBrooks Davis }
42208334c51SBrooks Davis
42308334c51SBrooks Davis
42408334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__cannot_find_core);
ATF_TEST_CASE_BODY(dump_stacktrace__cannot_find_core)42508334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__cannot_find_core)
42608334c51SBrooks Davis {
42708334c51SBrooks Davis // Make sure we can find a GDB binary so that we don't fail the test for
42808334c51SBrooks Davis // the wrong reason.
42908334c51SBrooks Davis utils::setenv("PATH", ".");
43008334c51SBrooks Davis utils::builtin_gdb = "fake-gdb";
43108334c51SBrooks Davis atf::utils::create_file("fake-gdb", "unused");
43208334c51SBrooks Davis
43308334c51SBrooks Davis executor::executor_handle handle = executor::setup();
43408334c51SBrooks Davis executor::exit_handle exit_handle = generate_core(this, "short", handle);
43508334c51SBrooks Davis
43608334c51SBrooks Davis const optional< fs::path > core_name = utils::find_core(
43708334c51SBrooks Davis fs::path("short"),
43808334c51SBrooks Davis exit_handle.status().get(),
43908334c51SBrooks Davis exit_handle.work_directory());
44008334c51SBrooks Davis if (core_name) {
44108334c51SBrooks Davis // This is needed even if we provide a different basename to
44208334c51SBrooks Davis // dump_stacktrace below because the system policies may be generating
44308334c51SBrooks Davis // core dumps by PID, not binary name.
44408334c51SBrooks Davis std::cout << "Removing core dump: " << core_name << '\n';
44508334c51SBrooks Davis fs::unlink(core_name.get());
44608334c51SBrooks Davis }
44708334c51SBrooks Davis
44808334c51SBrooks Davis utils::dump_stacktrace(fs::path("fake"), handle, exit_handle);
44908334c51SBrooks Davis
45008334c51SBrooks Davis atf::utils::cat_file(exit_handle.stdout_file().str(), "stdout: ");
45108334c51SBrooks Davis atf::utils::cat_file(exit_handle.stderr_file().str(), "stderr: ");
45208334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("Cannot find any core file",
45308334c51SBrooks Davis exit_handle.stderr_file().str()));
45408334c51SBrooks Davis
45508334c51SBrooks Davis exit_handle.cleanup();
45608334c51SBrooks Davis handle.cleanup();
45708334c51SBrooks Davis }
45808334c51SBrooks Davis
45908334c51SBrooks Davis
46008334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__cannot_find_gdb);
ATF_TEST_CASE_BODY(dump_stacktrace__cannot_find_gdb)46108334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__cannot_find_gdb)
46208334c51SBrooks Davis {
46308334c51SBrooks Davis utils::setenv("PATH", ".");
46408334c51SBrooks Davis utils::builtin_gdb = "missing-gdb";
46508334c51SBrooks Davis
46608334c51SBrooks Davis executor::executor_handle handle = executor::setup();
46708334c51SBrooks Davis executor::exit_handle exit_handle = generate_core(this, "short", handle);
46808334c51SBrooks Davis
46908334c51SBrooks Davis utils::dump_stacktrace(fs::path("fake"), handle, exit_handle);
47008334c51SBrooks Davis
47108334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file(
47208334c51SBrooks Davis "Cannot find GDB binary; builtin was 'missing-gdb'",
47308334c51SBrooks Davis exit_handle.stderr_file().str()));
47408334c51SBrooks Davis
47508334c51SBrooks Davis exit_handle.cleanup();
47608334c51SBrooks Davis handle.cleanup();
47708334c51SBrooks Davis }
47808334c51SBrooks Davis
47908334c51SBrooks Davis
48008334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__gdb_fail);
ATF_TEST_CASE_BODY(dump_stacktrace__gdb_fail)48108334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__gdb_fail)
48208334c51SBrooks Davis {
48308334c51SBrooks Davis utils::setenv("PATH", ".");
48408334c51SBrooks Davis create_script("fake-gdb", "echo 'foo'; echo 'bar' 1>&2; exit 1");
48508334c51SBrooks Davis const std::string gdb = (fs::current_path() / "fake-gdb").str();
48608334c51SBrooks Davis utils::builtin_gdb = gdb.c_str();
48708334c51SBrooks Davis
48808334c51SBrooks Davis executor::executor_handle handle = executor::setup();
48908334c51SBrooks Davis executor::exit_handle exit_handle = generate_core(this, "short", handle);
49008334c51SBrooks Davis
49108334c51SBrooks Davis atf::utils::create_file((exit_handle.work_directory() / "fake.core").str(),
49208334c51SBrooks Davis "Invalid core file, but not read");
49308334c51SBrooks Davis utils::dump_stacktrace(fs::path("fake"), handle, exit_handle);
49408334c51SBrooks Davis
49508334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("^foo$",
49608334c51SBrooks Davis exit_handle.stderr_file().str()));
49708334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("^bar$",
49808334c51SBrooks Davis exit_handle.stderr_file().str()));
49908334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("GDB failed; see output above",
50008334c51SBrooks Davis exit_handle.stderr_file().str()));
50108334c51SBrooks Davis
50208334c51SBrooks Davis exit_handle.cleanup();
50308334c51SBrooks Davis handle.cleanup();
50408334c51SBrooks Davis }
50508334c51SBrooks Davis
50608334c51SBrooks Davis
50708334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace__gdb_timeout);
ATF_TEST_CASE_BODY(dump_stacktrace__gdb_timeout)50808334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace__gdb_timeout)
50908334c51SBrooks Davis {
51008334c51SBrooks Davis utils::setenv("PATH", ".");
51108334c51SBrooks Davis create_script("fake-gdb", "while :; do sleep 1; done");
51208334c51SBrooks Davis const std::string gdb = (fs::current_path() / "fake-gdb").str();
51308334c51SBrooks Davis utils::builtin_gdb = gdb.c_str();
51408334c51SBrooks Davis utils::gdb_timeout = datetime::delta(1, 0);
51508334c51SBrooks Davis
51608334c51SBrooks Davis executor::executor_handle handle = executor::setup();
51708334c51SBrooks Davis executor::exit_handle exit_handle = generate_core(this, "short", handle);
51808334c51SBrooks Davis
51908334c51SBrooks Davis atf::utils::create_file((exit_handle.work_directory() / "fake.core").str(),
52008334c51SBrooks Davis "Invalid core file, but not read");
52108334c51SBrooks Davis utils::dump_stacktrace(fs::path("fake"), handle, exit_handle);
52208334c51SBrooks Davis
52308334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("GDB timed out",
52408334c51SBrooks Davis exit_handle.stderr_file().str()));
52508334c51SBrooks Davis
52608334c51SBrooks Davis exit_handle.cleanup();
52708334c51SBrooks Davis handle.cleanup();
52808334c51SBrooks Davis }
52908334c51SBrooks Davis
53008334c51SBrooks Davis
53108334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace_if_available__append);
ATF_TEST_CASE_BODY(dump_stacktrace_if_available__append)53208334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace_if_available__append)
53308334c51SBrooks Davis {
53408334c51SBrooks Davis utils::setenv("PATH", ".");
53508334c51SBrooks Davis create_script("fake-gdb", "echo 'frame 1'; exit 0");
53608334c51SBrooks Davis utils::builtin_gdb = "fake-gdb";
53708334c51SBrooks Davis
53808334c51SBrooks Davis executor::executor_handle handle = executor::setup();
53908334c51SBrooks Davis executor::exit_handle exit_handle = generate_core(this, "short", handle);
54008334c51SBrooks Davis
54108334c51SBrooks Davis atf::utils::create_file(exit_handle.stdout_file().str(), "Pre-stdout");
54208334c51SBrooks Davis atf::utils::create_file(exit_handle.stderr_file().str(), "Pre-stderr");
54308334c51SBrooks Davis
54408334c51SBrooks Davis utils::dump_stacktrace_if_available(fs::path("short"), handle, exit_handle);
54508334c51SBrooks Davis
54608334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("Pre-stdout",
54708334c51SBrooks Davis exit_handle.stdout_file().str()));
54808334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("Pre-stderr",
54908334c51SBrooks Davis exit_handle.stderr_file().str()));
55008334c51SBrooks Davis ATF_REQUIRE(atf::utils::grep_file("frame 1",
55108334c51SBrooks Davis exit_handle.stderr_file().str()));
55208334c51SBrooks Davis
55308334c51SBrooks Davis exit_handle.cleanup();
55408334c51SBrooks Davis handle.cleanup();
55508334c51SBrooks Davis }
55608334c51SBrooks Davis
55708334c51SBrooks Davis
55808334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace_if_available__no_status);
ATF_TEST_CASE_BODY(dump_stacktrace_if_available__no_status)55908334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace_if_available__no_status)
56008334c51SBrooks Davis {
56108334c51SBrooks Davis executor::executor_handle handle = executor::setup();
56208334c51SBrooks Davis const executor::exec_handle exec_handle = handle.spawn(
56308334c51SBrooks Davis child_pause, datetime::delta(0, 100000), none, none, none);
56408334c51SBrooks Davis executor::exit_handle exit_handle = handle.wait(exec_handle);
56508334c51SBrooks Davis INV(!exit_handle.status());
56608334c51SBrooks Davis
56708334c51SBrooks Davis utils::dump_stacktrace_if_available(fs::path("short"), handle, exit_handle);
56808334c51SBrooks Davis ATF_REQUIRE(atf::utils::compare_file(exit_handle.stdout_file().str(), ""));
56908334c51SBrooks Davis ATF_REQUIRE(atf::utils::compare_file(exit_handle.stderr_file().str(), ""));
57008334c51SBrooks Davis
57108334c51SBrooks Davis exit_handle.cleanup();
57208334c51SBrooks Davis handle.cleanup();
57308334c51SBrooks Davis }
57408334c51SBrooks Davis
57508334c51SBrooks Davis
57608334c51SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(dump_stacktrace_if_available__no_coredump);
ATF_TEST_CASE_BODY(dump_stacktrace_if_available__no_coredump)57708334c51SBrooks Davis ATF_TEST_CASE_BODY(dump_stacktrace_if_available__no_coredump)
57808334c51SBrooks Davis {
57908334c51SBrooks Davis executor::executor_handle handle = executor::setup();
58008334c51SBrooks Davis const executor::exec_handle exec_handle = handle.spawn(
58108334c51SBrooks Davis child_exit, datetime::delta(60, 0), none, none, none);
58208334c51SBrooks Davis executor::exit_handle exit_handle = handle.wait(exec_handle);
58308334c51SBrooks Davis INV(exit_handle.status());
58408334c51SBrooks Davis INV(exit_handle.status().get().exited());
58508334c51SBrooks Davis INV(exit_handle.status().get().exitstatus() == EXIT_SUCCESS);
58608334c51SBrooks Davis
58708334c51SBrooks Davis utils::dump_stacktrace_if_available(fs::path("short"), handle, exit_handle);
58808334c51SBrooks Davis ATF_REQUIRE(atf::utils::compare_file(exit_handle.stdout_file().str(), ""));
58908334c51SBrooks Davis ATF_REQUIRE(atf::utils::compare_file(exit_handle.stderr_file().str(), ""));
59008334c51SBrooks Davis
59108334c51SBrooks Davis exit_handle.cleanup();
59208334c51SBrooks Davis handle.cleanup();
59308334c51SBrooks Davis }
59408334c51SBrooks Davis
59508334c51SBrooks Davis
ATF_INIT_TEST_CASES(tcs)59608334c51SBrooks Davis ATF_INIT_TEST_CASES(tcs)
59708334c51SBrooks Davis {
59808334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, unlimit_core_size);
59908334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, unlimit_core_size__hard_is_zero);
60008334c51SBrooks Davis
60108334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, find_gdb__use_builtin);
60208334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, find_gdb__search_builtin__ok);
60308334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, find_gdb__search_builtin__fail);
60408334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, find_gdb__bogus_value);
60508334c51SBrooks Davis
60608334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, find_core__found__short);
60708334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, find_core__found__long);
60808334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, find_core__not_found);
60908334c51SBrooks Davis
61008334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, dump_stacktrace__integration);
61108334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, dump_stacktrace__ok);
61208334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, dump_stacktrace__cannot_find_core);
61308334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, dump_stacktrace__cannot_find_gdb);
61408334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, dump_stacktrace__gdb_fail);
61508334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, dump_stacktrace__gdb_timeout);
61608334c51SBrooks Davis
61708334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, dump_stacktrace_if_available__append);
61808334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, dump_stacktrace_if_available__no_status);
61908334c51SBrooks Davis ATF_ADD_TEST_CASE(tcs, dump_stacktrace_if_available__no_coredump);
62008334c51SBrooks Davis }
621