#include <sys/cdefs.h>
#include <assert.h>
#include <atf-c.h>
#include <errno.h>
#include <signal.h>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <unistd.h>
#include <sys/procctl.h>
#include <sys/ptrace.h>
#include <sys/signal.h>
#include <sys/types.h>
static void
dummy_signal_handler(int signum)
{
}
ATF_TC_WITHOUT_HEAD(arg_validation);
ATF_TC_BODY(arg_validation, tc)
{
int signum;
int rc;
signum = 8888;
rc = procctl(P_PID, 0, PROC_PDEATHSIG_CTL, &signum);
ATF_CHECK_EQ(-1, rc);
ATF_CHECK_EQ(EINVAL, errno);
signum = SIGINFO;
rc = procctl(8888, 0, PROC_PDEATHSIG_CTL, &signum);
ATF_CHECK_EQ(-1, rc);
ATF_CHECK_EQ(EINVAL, errno);
signum = SIGINFO;
rc = procctl(P_PID, (((getpid() + 1) % 10) + 100),
PROC_PDEATHSIG_CTL, &signum);
ATF_CHECK_EQ(-1, rc);
ATF_CHECK_EQ(EINVAL, errno);
signum = SIGINFO;
rc = procctl(P_PID, 0, PROC_PDEATHSIG_CTL, NULL);
ATF_CHECK_EQ(-1, rc);
ATF_CHECK_EQ(EFAULT, errno);
signum = SIGINFO;
rc = procctl(P_PID, 0, PROC_PDEATHSIG_CTL, &signum);
ATF_CHECK_EQ(0, rc);
signum = SIGINFO;
rc = procctl(P_PID, getpid(), PROC_PDEATHSIG_CTL, &signum);
ATF_CHECK_EQ(0, rc);
signum = 0xdeadbeef;
rc = procctl(P_PID, 0, PROC_PDEATHSIG_STATUS, &signum);
ATF_CHECK_EQ(0, rc);
ATF_CHECK_EQ(SIGINFO, signum);
}
ATF_TC_WITHOUT_HEAD(fork_no_inherit);
ATF_TC_BODY(fork_no_inherit, tc)
{
int status;
int signum;
int rc;
signum = SIGINFO;
rc = procctl(P_PID, 0, PROC_PDEATHSIG_CTL, &signum);
rc = fork();
ATF_REQUIRE(rc != -1);
if (rc == 0) {
signum = 0xdeadbeef;
rc = procctl(P_PID, 0, PROC_PDEATHSIG_STATUS, &signum);
assert(rc == 0);
assert(signum == 0);
_exit(0);
}
waitpid(rc, &status, 0);
ATF_CHECK_EQ(0, status);
}
ATF_TC_WITHOUT_HEAD(exec_inherit);
ATF_TC_BODY(exec_inherit, tc)
{
int status;
int rc;
rc = fork();
ATF_REQUIRE(rc != -1);
if (rc == 0) {
char exec_path[1024];
int signum;
snprintf(exec_path, sizeof(exec_path), "%s/pdeathsig_helper",
atf_tc_get_config_var(tc, "srcdir"));
signum = SIGINFO;
rc = procctl(P_PID, 0, PROC_PDEATHSIG_CTL, &signum);
assert(rc == 0);
rc = execl(exec_path, exec_path, NULL);
assert(rc == 0);
_exit(0);
}
waitpid(rc, &status, 0);
ATF_CHECK_EQ(0, status);
}
ATF_TC_WITHOUT_HEAD(signal_delivered);
ATF_TC_BODY(signal_delivered, tc)
{
sigset_t sigset;
int signum;
int rc;
int pipe_ca[2];
int pipe_cb[2];
char buffer;
rc = pipe(pipe_ca);
ATF_REQUIRE(rc == 0);
rc = pipe(pipe_cb);
ATF_REQUIRE(rc == 0);
rc = fork();
ATF_REQUIRE(rc != -1);
if (rc == 0) {
rc = fork();
assert(rc >= 0);
if (rc == 0) {
signum = SIGINFO;
rc = sigfillset(&sigset);
assert(rc == 0);
rc = sigprocmask(SIG_SETMASK, &sigset, NULL);
assert(rc == 0);
signal(signum, dummy_signal_handler);
rc = procctl(P_PID, 0, PROC_PDEATHSIG_CTL, &signum);
assert(rc == 0);
rc = write(pipe_cb[1], ".", 1);
assert(rc == 1);
signum = 0xdeadbeef;
rc = sigwait(&sigset, &signum);
assert(rc == 0);
assert(signum == SIGINFO);
rc = write(pipe_ca[1], ".", 1);
assert(rc == 1);
_exit(0);
}
rc = read(pipe_cb[0], &buffer, 1);
assert(rc == 1);
_exit(0);
}
rc = read(pipe_ca[0], &buffer, 1);
ATF_CHECK_EQ(1, rc);
}
ATF_TC_WITHOUT_HEAD(signal_delivered_ptrace);
ATF_TC_BODY(signal_delivered_ptrace, tc)
{
sigset_t sigset;
int signum;
int rc;
int pipe_ca[2];
int pipe_db[2];
int pipe_cd[2];
char buffer;
int status;
rc = pipe(pipe_ca);
ATF_REQUIRE(rc == 0);
rc = pipe(pipe_db);
ATF_REQUIRE(rc == 0);
rc = pipe(pipe_cd);
assert(rc == 0);
rc = fork();
ATF_REQUIRE(rc != -1);
if (rc == 0) {
pid_t c_pid;
rc = fork();
assert(rc >= 0);
if (rc == 0) {
signum = SIGINFO;
rc = sigfillset(&sigset);
assert(rc == 0);
rc = sigprocmask(SIG_SETMASK, &sigset, NULL);
assert(rc == 0);
signal(signum, dummy_signal_handler);
rc = procctl(P_PID, 0, PROC_PDEATHSIG_CTL, &signum);
assert(rc == 0);
rc = write(pipe_cd[1], "x", 1);
assert(rc == 1);
signum = 0xdeadbeef;
rc = sigwait(&sigset, &signum);
assert(rc == 0);
assert(signum == SIGINFO);
rc = write(pipe_ca[1], ".", 1);
assert(rc == 1);
_exit(0);
}
c_pid = rc;
rc = fork();
assert(rc >= 0);
if (rc == 0) {
rc = ptrace(PT_ATTACH, c_pid, 0, 0);
assert(rc == 0);
waitpid(c_pid, &status, 0);
assert(WIFSTOPPED(status));
assert(WSTOPSIG(status) == SIGSTOP);
rc = ptrace(PT_CONTINUE, c_pid, (caddr_t) 1, 0);
assert(rc == 0);
rc = read(pipe_cd[0], &buffer, 1);
assert(rc == 1);
rc = write(pipe_db[1], ".", 1);
assert(rc == 1);
waitpid(c_pid, &status, 0);
assert(WIFSTOPPED(status));
assert(WSTOPSIG(status) == SIGINFO);
rc = ptrace(PT_CONTINUE, c_pid, (caddr_t) 1,
WSTOPSIG(status));
assert(rc == 0);
waitpid(c_pid, &status, 0);
if (!WIFEXITED(status))
ptrace(PT_DETACH, c_pid, 0, 0);
_exit(0);
}
rc = read(pipe_db[0], &buffer, 1);
assert(rc == 1);
_exit(0);
}
rc = read(pipe_ca[0], &buffer, 1);
ATF_CHECK_EQ(1, rc);
}
ATF_TP_ADD_TCS(tp)
{
ATF_TP_ADD_TC(tp, arg_validation);
ATF_TP_ADD_TC(tp, fork_no_inherit);
ATF_TP_ADD_TC(tp, exec_inherit);
ATF_TP_ADD_TC(tp, signal_delivered);
ATF_TP_ADD_TC(tp, signal_delivered_ptrace);
return (atf_no_error());
}