PT_KILL
LINUX_PTRACE_KILL, PT_KILL,
PT_KILL, -1, PT_ATTACH, PT_DETACH,
PT_KILL, -1, PT_ATTACH, PT_DETACH,
case PT_KILL:
case PT_KILL:
case PT_KILL:
if (req != PT_KILL && req != PT_STOP &&
case PT_KILL:
if (req != PT_KILL || signo != SIGKILL)
KASSERT(req == PT_KILL || req == PT_STOP || req == PT_ATTACH);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, (void *)1, 0) != -1);
op = kill_process ? PT_KILL : PT_DETACH;
op = kill_process ? PT_KILL : PT_DETACH;
op = kill_process ? PT_KILL : PT_DETACH;
op = kill_process ? PT_KILL : PT_DETACH;
SYSCALL(ptrace(PT_KILL, pid, NULL, 0), 0);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, (void*)1, 0) != -1);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, NULL, 0) != -1);
ptrace(PT_KILL, child, NULL, 0);
FORKEE_ASSERT(ptrace(PT_KILL, tracee, NULL, 0) != -1);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, NULL, 0) != -1);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, NULL, 0) != -1);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, NULL, 0) != -1);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, NULL, 0) != -1);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, NULL, 0) != -1);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, (void *)1, 0) != -1);
SYSCALL_REQUIRE(ptrace(PT_KILL, child, NULL, 0) != -1);