mirror of
https://mirrors.bfsu.edu.cn/git/linux.git
synced 2024-11-14 07:44:21 +08:00
samples: add an example of seccomp user trap
The idea here is just to give a demonstration of how one could safely use the SECCOMP_RET_USER_NOTIF feature to do mount policies. This particular policy is (as noted in the comment) not very interesting, but it serves to illustrate how one might apply a policy dodging the various TOCTOU issues. Signed-off-by: Tycho Andersen <tycho@tycho.ws> CC: Kees Cook <keescook@chromium.org> CC: Andy Lutomirski <luto@amacapital.net> CC: Oleg Nesterov <oleg@redhat.com> CC: Eric W. Biederman <ebiederm@xmission.com> CC: "Serge E. Hallyn" <serge@hallyn.com> CC: Christian Brauner <christian@brauner.io> CC: Tyler Hicks <tyhicks@canonical.com> CC: Akihiro Suda <suda.akihiro@lab.ntt.co.jp> Signed-off-by: Kees Cook <keescook@chromium.org>
This commit is contained in:
parent
6a21cc50f0
commit
fec7b66905
1
samples/seccomp/.gitignore
vendored
1
samples/seccomp/.gitignore
vendored
@ -1,3 +1,4 @@
|
|||||||
bpf-direct
|
bpf-direct
|
||||||
bpf-fancy
|
bpf-fancy
|
||||||
dropper
|
dropper
|
||||||
|
user-trap
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
# SPDX-License-Identifier: GPL-2.0
|
# SPDX-License-Identifier: GPL-2.0
|
||||||
ifndef CROSS_COMPILE
|
ifndef CROSS_COMPILE
|
||||||
hostprogs-$(CONFIG_SAMPLE_SECCOMP) := bpf-fancy dropper bpf-direct
|
hostprogs-$(CONFIG_SAMPLE_SECCOMP) := bpf-fancy dropper bpf-direct user-trap
|
||||||
|
|
||||||
HOSTCFLAGS_bpf-fancy.o += -I$(objtree)/usr/include
|
HOSTCFLAGS_bpf-fancy.o += -I$(objtree)/usr/include
|
||||||
HOSTCFLAGS_bpf-fancy.o += -idirafter $(objtree)/include
|
HOSTCFLAGS_bpf-fancy.o += -idirafter $(objtree)/include
|
||||||
@ -16,6 +16,10 @@ HOSTCFLAGS_bpf-direct.o += -I$(objtree)/usr/include
|
|||||||
HOSTCFLAGS_bpf-direct.o += -idirafter $(objtree)/include
|
HOSTCFLAGS_bpf-direct.o += -idirafter $(objtree)/include
|
||||||
bpf-direct-objs := bpf-direct.o
|
bpf-direct-objs := bpf-direct.o
|
||||||
|
|
||||||
|
HOSTCFLAGS_user-trap.o += -I$(objtree)/usr/include
|
||||||
|
HOSTCFLAGS_user-trap.o += -idirafter $(objtree)/include
|
||||||
|
user-trap-objs := user-trap.o
|
||||||
|
|
||||||
# Try to match the kernel target.
|
# Try to match the kernel target.
|
||||||
ifndef CONFIG_64BIT
|
ifndef CONFIG_64BIT
|
||||||
|
|
||||||
@ -33,6 +37,7 @@ HOSTCFLAGS_bpf-fancy.o += $(MFLAG)
|
|||||||
HOSTLDLIBS_bpf-direct += $(MFLAG)
|
HOSTLDLIBS_bpf-direct += $(MFLAG)
|
||||||
HOSTLDLIBS_bpf-fancy += $(MFLAG)
|
HOSTLDLIBS_bpf-fancy += $(MFLAG)
|
||||||
HOSTLDLIBS_dropper += $(MFLAG)
|
HOSTLDLIBS_dropper += $(MFLAG)
|
||||||
|
HOSTLDLIBS_user-trap += $(MFLAG)
|
||||||
endif
|
endif
|
||||||
always := $(hostprogs-m)
|
always := $(hostprogs-m)
|
||||||
endif
|
endif
|
||||||
|
375
samples/seccomp/user-trap.c
Normal file
375
samples/seccomp/user-trap.c
Normal file
@ -0,0 +1,375 @@
|
|||||||
|
#include <signal.h>
|
||||||
|
#include <stdio.h>
|
||||||
|
#include <stdlib.h>
|
||||||
|
#include <unistd.h>
|
||||||
|
#include <errno.h>
|
||||||
|
#include <fcntl.h>
|
||||||
|
#include <string.h>
|
||||||
|
#include <stddef.h>
|
||||||
|
#include <sys/sysmacros.h>
|
||||||
|
#include <sys/types.h>
|
||||||
|
#include <sys/wait.h>
|
||||||
|
#include <sys/socket.h>
|
||||||
|
#include <sys/stat.h>
|
||||||
|
#include <sys/mman.h>
|
||||||
|
#include <sys/syscall.h>
|
||||||
|
#include <sys/user.h>
|
||||||
|
#include <sys/ioctl.h>
|
||||||
|
#include <sys/ptrace.h>
|
||||||
|
#include <sys/mount.h>
|
||||||
|
#include <linux/limits.h>
|
||||||
|
#include <linux/filter.h>
|
||||||
|
#include <linux/seccomp.h>
|
||||||
|
|
||||||
|
#define ARRAY_SIZE(x) (sizeof(x) / sizeof(*(x)))
|
||||||
|
|
||||||
|
static int seccomp(unsigned int op, unsigned int flags, void *args)
|
||||||
|
{
|
||||||
|
errno = 0;
|
||||||
|
return syscall(__NR_seccomp, op, flags, args);
|
||||||
|
}
|
||||||
|
|
||||||
|
static int send_fd(int sock, int fd)
|
||||||
|
{
|
||||||
|
struct msghdr msg = {};
|
||||||
|
struct cmsghdr *cmsg;
|
||||||
|
char buf[CMSG_SPACE(sizeof(int))] = {0}, c = 'c';
|
||||||
|
struct iovec io = {
|
||||||
|
.iov_base = &c,
|
||||||
|
.iov_len = 1,
|
||||||
|
};
|
||||||
|
|
||||||
|
msg.msg_iov = &io;
|
||||||
|
msg.msg_iovlen = 1;
|
||||||
|
msg.msg_control = buf;
|
||||||
|
msg.msg_controllen = sizeof(buf);
|
||||||
|
cmsg = CMSG_FIRSTHDR(&msg);
|
||||||
|
cmsg->cmsg_level = SOL_SOCKET;
|
||||||
|
cmsg->cmsg_type = SCM_RIGHTS;
|
||||||
|
cmsg->cmsg_len = CMSG_LEN(sizeof(int));
|
||||||
|
*((int *)CMSG_DATA(cmsg)) = fd;
|
||||||
|
msg.msg_controllen = cmsg->cmsg_len;
|
||||||
|
|
||||||
|
if (sendmsg(sock, &msg, 0) < 0) {
|
||||||
|
perror("sendmsg");
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
static int recv_fd(int sock)
|
||||||
|
{
|
||||||
|
struct msghdr msg = {};
|
||||||
|
struct cmsghdr *cmsg;
|
||||||
|
char buf[CMSG_SPACE(sizeof(int))] = {0}, c = 'c';
|
||||||
|
struct iovec io = {
|
||||||
|
.iov_base = &c,
|
||||||
|
.iov_len = 1,
|
||||||
|
};
|
||||||
|
|
||||||
|
msg.msg_iov = &io;
|
||||||
|
msg.msg_iovlen = 1;
|
||||||
|
msg.msg_control = buf;
|
||||||
|
msg.msg_controllen = sizeof(buf);
|
||||||
|
|
||||||
|
if (recvmsg(sock, &msg, 0) < 0) {
|
||||||
|
perror("recvmsg");
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
|
||||||
|
cmsg = CMSG_FIRSTHDR(&msg);
|
||||||
|
|
||||||
|
return *((int *)CMSG_DATA(cmsg));
|
||||||
|
}
|
||||||
|
|
||||||
|
static int user_trap_syscall(int nr, unsigned int flags)
|
||||||
|
{
|
||||||
|
struct sock_filter filter[] = {
|
||||||
|
BPF_STMT(BPF_LD+BPF_W+BPF_ABS,
|
||||||
|
offsetof(struct seccomp_data, nr)),
|
||||||
|
BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, nr, 0, 1),
|
||||||
|
BPF_STMT(BPF_RET+BPF_K, SECCOMP_RET_USER_NOTIF),
|
||||||
|
BPF_STMT(BPF_RET+BPF_K, SECCOMP_RET_ALLOW),
|
||||||
|
};
|
||||||
|
|
||||||
|
struct sock_fprog prog = {
|
||||||
|
.len = (unsigned short)ARRAY_SIZE(filter),
|
||||||
|
.filter = filter,
|
||||||
|
};
|
||||||
|
|
||||||
|
return seccomp(SECCOMP_SET_MODE_FILTER, flags, &prog);
|
||||||
|
}
|
||||||
|
|
||||||
|
static int handle_req(struct seccomp_notif *req,
|
||||||
|
struct seccomp_notif_resp *resp, int listener)
|
||||||
|
{
|
||||||
|
char path[PATH_MAX], source[PATH_MAX], target[PATH_MAX];
|
||||||
|
int ret = -1, mem;
|
||||||
|
|
||||||
|
resp->id = req->id;
|
||||||
|
resp->error = -EPERM;
|
||||||
|
resp->val = 0;
|
||||||
|
|
||||||
|
if (req->data.nr != __NR_mount) {
|
||||||
|
fprintf(stderr, "huh? trapped something besides mount? %d\n", req->data.nr);
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Only allow bind mounts. */
|
||||||
|
if (!(req->data.args[3] & MS_BIND))
|
||||||
|
return 0;
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Ok, let's read the task's memory to see where they wanted their
|
||||||
|
* mount to go.
|
||||||
|
*/
|
||||||
|
snprintf(path, sizeof(path), "/proc/%d/mem", req->pid);
|
||||||
|
mem = open(path, O_RDONLY);
|
||||||
|
if (mem < 0) {
|
||||||
|
perror("open mem");
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Now we avoid a TOCTOU: we referred to a pid by its pid, but since
|
||||||
|
* the pid that made the syscall may have died, we need to confirm that
|
||||||
|
* the pid is still valid after we open its /proc/pid/mem file. We can
|
||||||
|
* ask the listener fd this as follows.
|
||||||
|
*
|
||||||
|
* Note that this check should occur *after* any task-specific
|
||||||
|
* resources are opened, to make sure that the task has not died and
|
||||||
|
* we're not wrongly reading someone else's state in order to make
|
||||||
|
* decisions.
|
||||||
|
*/
|
||||||
|
if (ioctl(listener, SECCOMP_IOCTL_NOTIF_ID_VALID, &req->id) < 0) {
|
||||||
|
fprintf(stderr, "task died before we could map its memory\n");
|
||||||
|
goto out;
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Phew, we've got the right /proc/pid/mem. Now we can read it. Note
|
||||||
|
* that to avoid another TOCTOU, we should read all of the pointer args
|
||||||
|
* before we decide to allow the syscall.
|
||||||
|
*/
|
||||||
|
if (lseek(mem, req->data.args[0], SEEK_SET) < 0) {
|
||||||
|
perror("seek");
|
||||||
|
goto out;
|
||||||
|
}
|
||||||
|
|
||||||
|
ret = read(mem, source, sizeof(source));
|
||||||
|
if (ret < 0) {
|
||||||
|
perror("read");
|
||||||
|
goto out;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (lseek(mem, req->data.args[1], SEEK_SET) < 0) {
|
||||||
|
perror("seek");
|
||||||
|
goto out;
|
||||||
|
}
|
||||||
|
|
||||||
|
ret = read(mem, target, sizeof(target));
|
||||||
|
if (ret < 0) {
|
||||||
|
perror("read");
|
||||||
|
goto out;
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Our policy is to only allow bind mounts inside /tmp. This isn't very
|
||||||
|
* interesting, because we could do unprivlieged bind mounts with user
|
||||||
|
* namespaces already, but you get the idea.
|
||||||
|
*/
|
||||||
|
if (!strncmp(source, "/tmp/", 5) && !strncmp(target, "/tmp/", 5)) {
|
||||||
|
if (mount(source, target, NULL, req->data.args[3], NULL) < 0) {
|
||||||
|
ret = -1;
|
||||||
|
perror("actual mount");
|
||||||
|
goto out;
|
||||||
|
}
|
||||||
|
resp->error = 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Even if we didn't allow it because of policy, generating the
|
||||||
|
* response was be a success, because we want to tell the worker EPERM.
|
||||||
|
*/
|
||||||
|
ret = 0;
|
||||||
|
|
||||||
|
out:
|
||||||
|
close(mem);
|
||||||
|
return ret;
|
||||||
|
}
|
||||||
|
|
||||||
|
int main(void)
|
||||||
|
{
|
||||||
|
int sk_pair[2], ret = 1, status, listener;
|
||||||
|
pid_t worker = 0 , tracer = 0;
|
||||||
|
|
||||||
|
if (socketpair(PF_LOCAL, SOCK_SEQPACKET, 0, sk_pair) < 0) {
|
||||||
|
perror("socketpair");
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
worker = fork();
|
||||||
|
if (worker < 0) {
|
||||||
|
perror("fork");
|
||||||
|
goto close_pair;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (worker == 0) {
|
||||||
|
listener = user_trap_syscall(__NR_mount,
|
||||||
|
SECCOMP_FILTER_FLAG_NEW_LISTENER);
|
||||||
|
if (listener < 0) {
|
||||||
|
perror("seccomp");
|
||||||
|
exit(1);
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Drop privileges. We definitely can't mount as uid 1000.
|
||||||
|
*/
|
||||||
|
if (setuid(1000) < 0) {
|
||||||
|
perror("setuid");
|
||||||
|
exit(1);
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Send the listener to the parent; also serves as
|
||||||
|
* synchronization.
|
||||||
|
*/
|
||||||
|
if (send_fd(sk_pair[1], listener) < 0)
|
||||||
|
exit(1);
|
||||||
|
close(listener);
|
||||||
|
|
||||||
|
if (mkdir("/tmp/foo", 0755) < 0) {
|
||||||
|
perror("mkdir");
|
||||||
|
exit(1);
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Try a bad mount just for grins.
|
||||||
|
*/
|
||||||
|
if (mount("/dev/sda", "/tmp/foo", NULL, 0, NULL) != -1) {
|
||||||
|
fprintf(stderr, "huh? mounted /dev/sda?\n");
|
||||||
|
exit(1);
|
||||||
|
}
|
||||||
|
|
||||||
|
if (errno != EPERM) {
|
||||||
|
perror("bad error from mount");
|
||||||
|
exit(1);
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Ok, we expect this one to succeed.
|
||||||
|
*/
|
||||||
|
if (mount("/tmp/foo", "/tmp/foo", NULL, MS_BIND, NULL) < 0) {
|
||||||
|
perror("mount");
|
||||||
|
exit(1);
|
||||||
|
}
|
||||||
|
|
||||||
|
exit(0);
|
||||||
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Get the listener from the child.
|
||||||
|
*/
|
||||||
|
listener = recv_fd(sk_pair[0]);
|
||||||
|
if (listener < 0)
|
||||||
|
goto out_kill;
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Fork a task to handle the requests. This isn't strictly necessary,
|
||||||
|
* but it makes the particular writing of this sample easier, since we
|
||||||
|
* can just wait ofr the tracee to exit and kill the tracer.
|
||||||
|
*/
|
||||||
|
tracer = fork();
|
||||||
|
if (tracer < 0) {
|
||||||
|
perror("fork");
|
||||||
|
goto out_kill;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (tracer == 0) {
|
||||||
|
struct seccomp_notif *req;
|
||||||
|
struct seccomp_notif_resp *resp;
|
||||||
|
struct seccomp_notif_sizes sizes;
|
||||||
|
|
||||||
|
if (seccomp(SECCOMP_GET_NOTIF_SIZES, 0, &sizes) < 0) {
|
||||||
|
perror("seccomp(GET_NOTIF_SIZES)");
|
||||||
|
goto out_close;
|
||||||
|
}
|
||||||
|
|
||||||
|
req = malloc(sizes.seccomp_notif);
|
||||||
|
if (!req)
|
||||||
|
goto out_close;
|
||||||
|
memset(req, 0, sizeof(*req));
|
||||||
|
|
||||||
|
resp = malloc(sizes.seccomp_notif_resp);
|
||||||
|
if (!resp)
|
||||||
|
goto out_req;
|
||||||
|
memset(resp, 0, sizeof(*resp));
|
||||||
|
|
||||||
|
while (1) {
|
||||||
|
if (ioctl(listener, SECCOMP_IOCTL_NOTIF_RECV, req)) {
|
||||||
|
perror("ioctl recv");
|
||||||
|
goto out_resp;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (handle_req(req, resp, listener) < 0)
|
||||||
|
goto out_resp;
|
||||||
|
|
||||||
|
/*
|
||||||
|
* ENOENT here means that the task may have gotten a
|
||||||
|
* signal and restarted the syscall. It's up to the
|
||||||
|
* handler to decide what to do in this case, but for
|
||||||
|
* the sample code, we just ignore it. Probably
|
||||||
|
* something better should happen, like undoing the
|
||||||
|
* mount, or keeping track of the args to make sure we
|
||||||
|
* don't do it again.
|
||||||
|
*/
|
||||||
|
if (ioctl(listener, SECCOMP_IOCTL_NOTIF_SEND, resp) < 0 &&
|
||||||
|
errno != ENOENT) {
|
||||||
|
perror("ioctl send");
|
||||||
|
goto out_resp;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
out_resp:
|
||||||
|
free(resp);
|
||||||
|
out_req:
|
||||||
|
free(req);
|
||||||
|
out_close:
|
||||||
|
close(listener);
|
||||||
|
exit(1);
|
||||||
|
}
|
||||||
|
|
||||||
|
close(listener);
|
||||||
|
|
||||||
|
if (waitpid(worker, &status, 0) != worker) {
|
||||||
|
perror("waitpid");
|
||||||
|
goto out_kill;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (umount2("/tmp/foo", MNT_DETACH) < 0 && errno != EINVAL) {
|
||||||
|
perror("umount2");
|
||||||
|
goto out_kill;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (remove("/tmp/foo") < 0 && errno != ENOENT) {
|
||||||
|
perror("remove");
|
||||||
|
exit(1);
|
||||||
|
}
|
||||||
|
|
||||||
|
if (!WIFEXITED(status) || WEXITSTATUS(status)) {
|
||||||
|
fprintf(stderr, "worker exited nonzero\n");
|
||||||
|
goto out_kill;
|
||||||
|
}
|
||||||
|
|
||||||
|
ret = 0;
|
||||||
|
|
||||||
|
out_kill:
|
||||||
|
if (tracer > 0)
|
||||||
|
kill(tracer, SIGKILL);
|
||||||
|
if (worker > 0)
|
||||||
|
kill(worker, SIGKILL);
|
||||||
|
|
||||||
|
close_pair:
|
||||||
|
close(sk_pair[0]);
|
||||||
|
close(sk_pair[1]);
|
||||||
|
return ret;
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user