blob: cebf26445f9e7cdcb4ea3669fbbb55591c3d33a7 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * linux/kernel/seccomp.c
4 *
5 * Copyright 2004-2005 Andrea Arcangeli <andrea@cpushare.com>
6 *
Will Drewrye2cfabdf2012-04-12 16:47:57 -05007 * Copyright (C) 2012 Google, Inc.
8 * Will Drewry <wad@chromium.org>
9 *
10 * This defines a simple but solid secure-computing facility.
11 *
12 * Mode 1 uses a fixed list of allowed system calls.
13 * Mode 2 allows user-defined system call filters in the form
14 * of Berkeley Packet Filters/Linux Socket Filters.
Linus Torvalds1da177e2005-04-16 15:20:36 -070015 */
Kees Cooke68f9d42020-06-15 22:02:56 -070016#define pr_fmt(fmt) "seccomp: " fmt
Linus Torvalds1da177e2005-04-16 15:20:36 -070017
Kees Cook0b5fa222017-06-26 09:24:00 -070018#include <linux/refcount.h>
Eric Paris85e7bac32012-01-03 14:23:05 -050019#include <linux/audit.h>
Roland McGrath5b101742009-02-27 23:25:54 -080020#include <linux/compat.h>
Mike Frysingerb25e6712017-01-19 22:28:57 -060021#include <linux/coredump.h>
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +000022#include <linux/kmemleak.h>
Kees Cook5c307082018-05-01 15:07:31 -070023#include <linux/nospec.h>
24#include <linux/prctl.h>
Will Drewrye2cfabdf2012-04-12 16:47:57 -050025#include <linux/sched.h>
Ingo Molnar68db0cf2017-02-08 18:51:37 +010026#include <linux/sched/task_stack.h>
Will Drewrye2cfabdf2012-04-12 16:47:57 -050027#include <linux/seccomp.h>
Kees Cookc8bee432014-06-27 15:16:33 -070028#include <linux/slab.h>
Kees Cook48dc92b2014-06-25 16:08:24 -070029#include <linux/syscalls.h>
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +000030#include <linux/sysctl.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070031
Kees Cook495ac302022-02-07 20:21:13 -080032/* Not exposed in headers: strictly internal use only. */
33#define SECCOMP_MODE_DEAD (SECCOMP_MODE_FILTER + 1)
34
Andy Lutomirskia4412fc2014-07-21 18:49:14 -070035#ifdef CONFIG_HAVE_ARCH_SECCOMP_FILTER
Will Drewrye2cfabdf2012-04-12 16:47:57 -050036#include <asm/syscall.h>
Andy Lutomirskia4412fc2014-07-21 18:49:14 -070037#endif
Will Drewrye2cfabdf2012-04-12 16:47:57 -050038
39#ifdef CONFIG_SECCOMP_FILTER
Tycho Andersen6a21cc52018-12-09 11:24:13 -070040#include <linux/file.h>
Will Drewrye2cfabdf2012-04-12 16:47:57 -050041#include <linux/filter.h>
Kees Cookc2e1f2e2014-06-05 00:23:17 -070042#include <linux/pid.h>
Will Drewryfb0fadf2012-04-12 16:48:02 -050043#include <linux/ptrace.h>
Mickaël Salaünfb145282020-10-30 13:38:49 +010044#include <linux/capability.h>
Will Drewrye2cfabdf2012-04-12 16:47:57 -050045#include <linux/uaccess.h>
Tycho Andersen6a21cc52018-12-09 11:24:13 -070046#include <linux/anon_inodes.h>
Sargun Dhillon9f87dcf2020-06-01 04:25:32 -070047#include <linux/lockdep.h>
Tycho Andersen6a21cc52018-12-09 11:24:13 -070048
Kees Cook47e33c052020-06-15 15:42:46 -070049/*
50 * When SECCOMP_IOCTL_NOTIF_ID_VALID was first introduced, it had the
51 * wrong direction flag in the ioctl number. This is the broken one,
52 * which the kernel needs to keep supporting until all userspaces stop
53 * using the wrong command number.
54 */
55#define SECCOMP_IOCTL_NOTIF_ID_VALID_WRONG_DIR SECCOMP_IOR(2, __u64)
56
Tycho Andersen6a21cc52018-12-09 11:24:13 -070057enum notify_state {
58 SECCOMP_NOTIFY_INIT,
59 SECCOMP_NOTIFY_SENT,
60 SECCOMP_NOTIFY_REPLIED,
61};
62
63struct seccomp_knotif {
64 /* The struct pid of the task whose filter triggered the notification */
65 struct task_struct *task;
66
67 /* The "cookie" for this request; this is unique for this filter. */
68 u64 id;
69
70 /*
71 * The seccomp data. This pointer is valid the entire time this
72 * notification is active, since it comes from __seccomp_filter which
73 * eclipses the entire lifecycle here.
74 */
75 const struct seccomp_data *data;
76
77 /*
78 * Notification states. When SECCOMP_RET_USER_NOTIF is returned, a
79 * struct seccomp_knotif is created and starts out in INIT. Once the
80 * handler reads the notification off of an FD, it transitions to SENT.
81 * If a signal is received the state transitions back to INIT and
82 * another message is sent. When the userspace handler replies, state
83 * transitions to REPLIED.
84 */
85 enum notify_state state;
86
87 /* The return values, only valid when in SECCOMP_NOTIFY_REPLIED */
88 int error;
89 long val;
Christian Braunerfb3c53862019-09-20 10:30:05 +020090 u32 flags;
Tycho Andersen6a21cc52018-12-09 11:24:13 -070091
Sargun Dhillon7cf97b12020-06-02 18:10:43 -070092 /*
93 * Signals when this has changed states, such as the listener
94 * dying, a new seccomp addfd message, or changing to REPLIED
95 */
Tycho Andersen6a21cc52018-12-09 11:24:13 -070096 struct completion ready;
97
98 struct list_head list;
Sargun Dhillon7cf97b12020-06-02 18:10:43 -070099
100 /* outstanding addfd requests */
101 struct list_head addfd;
102};
103
104/**
105 * struct seccomp_kaddfd - container for seccomp_addfd ioctl messages
106 *
107 * @file: A reference to the file to install in the other task
108 * @fd: The fd number to install it at. If the fd number is -1, it means the
109 * installing process should allocate the fd as normal.
110 * @flags: The flags for the new file descriptor. At the moment, only O_CLOEXEC
111 * is allowed.
Rodrigo Campos0ae71c72021-05-17 12:39:07 -0700112 * @ioctl_flags: The flags used for the seccomp_addfd ioctl.
Sargun Dhillon7cf97b12020-06-02 18:10:43 -0700113 * @ret: The return value of the installing process. It is set to the fd num
114 * upon success (>= 0).
115 * @completion: Indicates that the installing process has completed fd
116 * installation, or gone away (either due to successful
117 * reply, or signal)
118 *
119 */
120struct seccomp_kaddfd {
121 struct file *file;
122 int fd;
123 unsigned int flags;
Rodrigo Campos0ae71c72021-05-17 12:39:07 -0700124 __u32 ioctl_flags;
Sargun Dhillon7cf97b12020-06-02 18:10:43 -0700125
Christoph Hellwig42eb0d52021-03-25 09:22:09 +0100126 union {
127 bool setfd;
128 /* To only be set on reply */
129 int ret;
130 };
Sargun Dhillon7cf97b12020-06-02 18:10:43 -0700131 struct completion completion;
132 struct list_head list;
Tycho Andersen6a21cc52018-12-09 11:24:13 -0700133};
134
135/**
136 * struct notification - container for seccomp userspace notifications. Since
137 * most seccomp filters will not have notification listeners attached and this
138 * structure is fairly large, we store the notification-specific stuff in a
139 * separate structure.
140 *
141 * @request: A semaphore that users of this notification can wait on for
142 * changes. Actual reads and writes are still controlled with
143 * filter->notify_lock.
144 * @next_id: The id of the next request.
145 * @notifications: A list of struct seccomp_knotif elements.
Tycho Andersen6a21cc52018-12-09 11:24:13 -0700146 */
147struct notification {
148 struct semaphore request;
149 u64 next_id;
150 struct list_head notifications;
Tycho Andersen6a21cc52018-12-09 11:24:13 -0700151};
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500152
YiFei Zhuf9d480b2020-10-11 10:47:42 -0500153#ifdef SECCOMP_ARCH_NATIVE
154/**
155 * struct action_cache - per-filter cache of seccomp actions per
156 * arch/syscall pair
157 *
158 * @allow_native: A bitmap where each bit represents whether the
159 * filter will always allow the syscall, for the
160 * native architecture.
161 * @allow_compat: A bitmap where each bit represents whether the
162 * filter will always allow the syscall, for the
163 * compat architecture.
164 */
165struct action_cache {
166 DECLARE_BITMAP(allow_native, SECCOMP_ARCH_NATIVE_NR);
167#ifdef SECCOMP_ARCH_COMPAT
168 DECLARE_BITMAP(allow_compat, SECCOMP_ARCH_COMPAT_NR);
169#endif
170};
171#else
172struct action_cache { };
173
174static inline bool seccomp_cache_check_allow(const struct seccomp_filter *sfilter,
175 const struct seccomp_data *sd)
176{
177 return false;
178}
YiFei Zhu8e01b512020-10-11 10:47:43 -0500179
180static inline void seccomp_cache_prepare(struct seccomp_filter *sfilter)
181{
182}
YiFei Zhuf9d480b2020-10-11 10:47:42 -0500183#endif /* SECCOMP_ARCH_NATIVE */
184
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500185/**
186 * struct seccomp_filter - container for seccomp BPF programs
187 *
Christian Braunerb707dde2020-05-31 13:50:28 +0200188 * @refs: Reference count to manage the object lifetime.
189 * A filter's reference count is incremented for each directly
190 * attached task, once for the dependent filter, and if
191 * requested for the user notifier. When @refs reaches zero,
192 * the filter can be freed.
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200193 * @users: A filter's @users count is incremented for each directly
194 * attached task (filter installation, fork(), thread_sync),
195 * and once for the dependent filter (tracked in filter->prev).
196 * When it reaches zero it indicates that no direct or indirect
197 * users of that filter exist. No new tasks can get associated with
198 * this filter after reaching 0. The @users count is always smaller
199 * or equal to @refs. Hence, reaching 0 for @users does not mean
200 * the filter can be freed.
YiFei Zhu8e01b512020-10-11 10:47:43 -0500201 * @cache: cache of arch/syscall mappings to actions
Tyler Hickse66a3992017-08-11 04:33:56 +0000202 * @log: true if all actions except for SECCOMP_RET_ALLOW should be logged
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -0700203 * @wait_killable_recv: Put notifying process in killable state once the
204 * notification is received by the userspace listener.
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500205 * @prev: points to a previously installed, or inherited, filter
Mickaël Salaün285fdfc2016-09-20 19:39:47 +0200206 * @prog: the BPF program to evaluate
Tycho Andersen6a21cc52018-12-09 11:24:13 -0700207 * @notif: the struct that holds all notification related information
208 * @notify_lock: A lock for all notification-related accesses.
Christian Brauner76194c42020-06-01 11:50:07 -0700209 * @wqh: A wait queue for poll if a notifier is in use.
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500210 *
211 * seccomp_filter objects are organized in a tree linked via the @prev
212 * pointer. For any task, it appears to be a singly-linked list starting
213 * with current->seccomp.filter, the most recently attached or inherited filter.
214 * However, multiple filters may share a @prev node, by way of fork(), which
215 * results in a unidirectional tree existing in memory. This is similar to
216 * how namespaces work.
217 *
218 * seccomp_filter objects should never be modified after being attached
Christian Braunerb707dde2020-05-31 13:50:28 +0200219 * to a task_struct (other than @refs).
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500220 */
221struct seccomp_filter {
Christian Braunerb707dde2020-05-31 13:50:28 +0200222 refcount_t refs;
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200223 refcount_t users;
Tyler Hickse66a3992017-08-11 04:33:56 +0000224 bool log;
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -0700225 bool wait_killable_recv;
YiFei Zhu8e01b512020-10-11 10:47:43 -0500226 struct action_cache cache;
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500227 struct seccomp_filter *prev;
Alexei Starovoitov7ae457c2014-07-30 20:34:16 -0700228 struct bpf_prog *prog;
Tycho Andersen6a21cc52018-12-09 11:24:13 -0700229 struct notification *notif;
230 struct mutex notify_lock;
Christian Brauner76194c42020-06-01 11:50:07 -0700231 wait_queue_head_t wqh;
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500232};
233
234/* Limit any path through the tree to 256KB worth of instructions. */
235#define MAX_INSNS_PER_PATH ((1 << 18) / sizeof(struct sock_filter))
236
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100237/*
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500238 * Endianness is explicitly ignored and left for BPF program authors to manage
239 * as per the specific architecture.
240 */
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100241static void populate_seccomp_data(struct seccomp_data *sd)
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500242{
Denis Efremov2d9ca262020-08-24 15:59:21 +0300243 /*
244 * Instead of using current_pt_reg(), we're already doing the work
245 * to safely fetch "current", so just use "task" everywhere below.
246 */
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100247 struct task_struct *task = current;
248 struct pt_regs *regs = task_pt_regs(task);
Daniel Borkmann2eac7642014-04-14 21:02:59 +0200249 unsigned long args[6];
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500250
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100251 sd->nr = syscall_get_nr(task, regs);
Dmitry V. Levin16add412019-03-18 02:30:18 +0300252 sd->arch = syscall_get_arch(task);
Steven Rostedt (Red Hat)b35f5492016-11-07 16:26:37 -0500253 syscall_get_arguments(task, regs, args);
Daniel Borkmann2eac7642014-04-14 21:02:59 +0200254 sd->args[0] = args[0];
255 sd->args[1] = args[1];
256 sd->args[2] = args[2];
257 sd->args[3] = args[3];
258 sd->args[4] = args[4];
259 sd->args[5] = args[5];
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100260 sd->instruction_pointer = KSTK_EIP(task);
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500261}
262
263/**
264 * seccomp_check_filter - verify seccomp filter code
265 * @filter: filter to verify
266 * @flen: length of filter
267 *
Alexei Starovoitov4df95ff2014-07-30 20:34:14 -0700268 * Takes a previously checked filter (by bpf_check_classic) and
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500269 * redirects all filter code that loads struct sk_buff data
270 * and related data through seccomp_bpf_load. It also
271 * enforces length and alignment checking of those loads.
272 *
273 * Returns 0 if the rule set is legal or -EINVAL if not.
274 */
275static int seccomp_check_filter(struct sock_filter *filter, unsigned int flen)
276{
277 int pc;
278 for (pc = 0; pc < flen; pc++) {
279 struct sock_filter *ftest = &filter[pc];
280 u16 code = ftest->code;
281 u32 k = ftest->k;
282
283 switch (code) {
Daniel Borkmann34805932014-05-29 10:22:50 +0200284 case BPF_LD | BPF_W | BPF_ABS:
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100285 ftest->code = BPF_LDX | BPF_W | BPF_ABS;
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500286 /* 32-bit aligned and not out of bounds. */
287 if (k >= sizeof(struct seccomp_data) || k & 3)
288 return -EINVAL;
289 continue;
Daniel Borkmann34805932014-05-29 10:22:50 +0200290 case BPF_LD | BPF_W | BPF_LEN:
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100291 ftest->code = BPF_LD | BPF_IMM;
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500292 ftest->k = sizeof(struct seccomp_data);
293 continue;
Daniel Borkmann34805932014-05-29 10:22:50 +0200294 case BPF_LDX | BPF_W | BPF_LEN:
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100295 ftest->code = BPF_LDX | BPF_IMM;
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500296 ftest->k = sizeof(struct seccomp_data);
297 continue;
298 /* Explicitly include allowed calls. */
Daniel Borkmann34805932014-05-29 10:22:50 +0200299 case BPF_RET | BPF_K:
300 case BPF_RET | BPF_A:
301 case BPF_ALU | BPF_ADD | BPF_K:
302 case BPF_ALU | BPF_ADD | BPF_X:
303 case BPF_ALU | BPF_SUB | BPF_K:
304 case BPF_ALU | BPF_SUB | BPF_X:
305 case BPF_ALU | BPF_MUL | BPF_K:
306 case BPF_ALU | BPF_MUL | BPF_X:
307 case BPF_ALU | BPF_DIV | BPF_K:
308 case BPF_ALU | BPF_DIV | BPF_X:
309 case BPF_ALU | BPF_AND | BPF_K:
310 case BPF_ALU | BPF_AND | BPF_X:
311 case BPF_ALU | BPF_OR | BPF_K:
312 case BPF_ALU | BPF_OR | BPF_X:
313 case BPF_ALU | BPF_XOR | BPF_K:
314 case BPF_ALU | BPF_XOR | BPF_X:
315 case BPF_ALU | BPF_LSH | BPF_K:
316 case BPF_ALU | BPF_LSH | BPF_X:
317 case BPF_ALU | BPF_RSH | BPF_K:
318 case BPF_ALU | BPF_RSH | BPF_X:
319 case BPF_ALU | BPF_NEG:
320 case BPF_LD | BPF_IMM:
321 case BPF_LDX | BPF_IMM:
322 case BPF_MISC | BPF_TAX:
323 case BPF_MISC | BPF_TXA:
324 case BPF_LD | BPF_MEM:
325 case BPF_LDX | BPF_MEM:
326 case BPF_ST:
327 case BPF_STX:
328 case BPF_JMP | BPF_JA:
329 case BPF_JMP | BPF_JEQ | BPF_K:
330 case BPF_JMP | BPF_JEQ | BPF_X:
331 case BPF_JMP | BPF_JGE | BPF_K:
332 case BPF_JMP | BPF_JGE | BPF_X:
333 case BPF_JMP | BPF_JGT | BPF_K:
334 case BPF_JMP | BPF_JGT | BPF_X:
335 case BPF_JMP | BPF_JSET | BPF_K:
336 case BPF_JMP | BPF_JSET | BPF_X:
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500337 continue;
338 default:
339 return -EINVAL;
340 }
341 }
342 return 0;
343}
344
YiFei Zhuf9d480b2020-10-11 10:47:42 -0500345#ifdef SECCOMP_ARCH_NATIVE
346static inline bool seccomp_cache_check_allow_bitmap(const void *bitmap,
347 size_t bitmap_size,
348 int syscall_nr)
349{
350 if (unlikely(syscall_nr < 0 || syscall_nr >= bitmap_size))
351 return false;
352 syscall_nr = array_index_nospec(syscall_nr, bitmap_size);
353
354 return test_bit(syscall_nr, bitmap);
355}
356
357/**
358 * seccomp_cache_check_allow - lookup seccomp cache
359 * @sfilter: The seccomp filter
360 * @sd: The seccomp data to lookup the cache with
361 *
362 * Returns true if the seccomp_data is cached and allowed.
363 */
364static inline bool seccomp_cache_check_allow(const struct seccomp_filter *sfilter,
365 const struct seccomp_data *sd)
366{
367 int syscall_nr = sd->nr;
368 const struct action_cache *cache = &sfilter->cache;
369
370#ifndef SECCOMP_ARCH_COMPAT
371 /* A native-only architecture doesn't need to check sd->arch. */
372 return seccomp_cache_check_allow_bitmap(cache->allow_native,
373 SECCOMP_ARCH_NATIVE_NR,
374 syscall_nr);
375#else
376 if (likely(sd->arch == SECCOMP_ARCH_NATIVE))
377 return seccomp_cache_check_allow_bitmap(cache->allow_native,
378 SECCOMP_ARCH_NATIVE_NR,
379 syscall_nr);
380 if (likely(sd->arch == SECCOMP_ARCH_COMPAT))
381 return seccomp_cache_check_allow_bitmap(cache->allow_compat,
382 SECCOMP_ARCH_COMPAT_NR,
383 syscall_nr);
384#endif /* SECCOMP_ARCH_COMPAT */
385
386 WARN_ON_ONCE(true);
387 return false;
388}
389#endif /* SECCOMP_ARCH_NATIVE */
390
Randy Dunlap0fb06242023-01-07 18:12:28 -0800391#define ACTION_ONLY(ret) ((s32)((ret) & (SECCOMP_RET_ACTION_FULL)))
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500392/**
Mickaël Salaün285fdfc2016-09-20 19:39:47 +0200393 * seccomp_run_filters - evaluates all seccomp filters against @sd
394 * @sd: optional seccomp data to be passed to filters
Kees Cookdeb4de82017-08-02 15:00:40 -0700395 * @match: stores struct seccomp_filter that resulted in the return value,
396 * unless filter returned SECCOMP_RET_ALLOW, in which case it will
397 * be unchanged.
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500398 *
399 * Returns valid seccomp BPF response codes.
400 */
Kees Cookdeb4de82017-08-02 15:00:40 -0700401static u32 seccomp_run_filters(const struct seccomp_data *sd,
402 struct seccomp_filter **match)
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500403{
Will Drewryacf3b2c2012-04-12 16:47:59 -0500404 u32 ret = SECCOMP_RET_ALLOW;
Pranith Kumar8225d382014-11-21 10:06:01 -0500405 /* Make sure cross-thread synced filter points somewhere sane. */
406 struct seccomp_filter *f =
Will Deacon506458e2017-10-24 11:22:48 +0100407 READ_ONCE(current->seccomp.filter);
Will Drewryacf3b2c2012-04-12 16:47:59 -0500408
409 /* Ensure unexpected behavior doesn't result in failing open. */
Igor Stoppa0d42d732018-09-05 23:34:43 +0300410 if (WARN_ON(f == NULL))
Kees Cook4d3b0b02017-08-11 13:01:39 -0700411 return SECCOMP_RET_KILL_PROCESS;
Will Drewryacf3b2c2012-04-12 16:47:59 -0500412
YiFei Zhuf9d480b2020-10-11 10:47:42 -0500413 if (seccomp_cache_check_allow(f, sd))
414 return SECCOMP_RET_ALLOW;
415
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500416 /*
417 * All filters in the list are evaluated and the lowest BPF return
Will Drewryacf3b2c2012-04-12 16:47:59 -0500418 * value always takes priority (ignoring the DATA).
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500419 */
Kees Cook3ba25302014-06-27 15:01:35 -0700420 for (; f; f = f->prev) {
David Miller3d9f773c2020-02-24 15:01:43 +0100421 u32 cur_ret = bpf_prog_run_pin_on_cpu(f->prog, sd);
Alexei Starovoitov8f577ca2014-05-13 19:50:47 -0700422
Kees Cook0466bdb2017-08-11 13:12:11 -0700423 if (ACTION_ONLY(cur_ret) < ACTION_ONLY(ret)) {
Will Drewryacf3b2c2012-04-12 16:47:59 -0500424 ret = cur_ret;
Kees Cookdeb4de82017-08-02 15:00:40 -0700425 *match = f;
426 }
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500427 }
428 return ret;
429}
Kees Cook1f41b4502014-06-25 15:38:02 -0700430#endif /* CONFIG_SECCOMP_FILTER */
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500431
Kees Cook1f41b4502014-06-25 15:38:02 -0700432static inline bool seccomp_may_assign_mode(unsigned long seccomp_mode)
433{
Guenter Roeck69f6a342014-08-10 20:50:30 -0700434 assert_spin_locked(&current->sighand->siglock);
Kees Cookdbd952122014-06-27 15:18:48 -0700435
Kees Cook1f41b4502014-06-25 15:38:02 -0700436 if (current->seccomp.mode && current->seccomp.mode != seccomp_mode)
437 return false;
438
439 return true;
440}
441
Thomas Gleixner8bf37d82018-05-04 15:12:06 +0200442void __weak arch_seccomp_spec_mitigate(struct task_struct *task) { }
Kees Cook5c307082018-05-01 15:07:31 -0700443
Kees Cook3ba25302014-06-27 15:01:35 -0700444static inline void seccomp_assign_mode(struct task_struct *task,
Kees Cook00a02d02018-05-03 14:56:12 -0700445 unsigned long seccomp_mode,
446 unsigned long flags)
Kees Cook1f41b4502014-06-25 15:38:02 -0700447{
Guenter Roeck69f6a342014-08-10 20:50:30 -0700448 assert_spin_locked(&task->sighand->siglock);
Kees Cookdbd952122014-06-27 15:18:48 -0700449
Kees Cook3ba25302014-06-27 15:01:35 -0700450 task->seccomp.mode = seccomp_mode;
451 /*
Gabriel Krisman Bertazi23d67a52020-11-16 12:42:00 -0500452 * Make sure SYSCALL_WORK_SECCOMP cannot be set before the mode (and
Kees Cook3ba25302014-06-27 15:01:35 -0700453 * filter) is set.
454 */
455 smp_mb__before_atomic();
Kees Cook00a02d02018-05-03 14:56:12 -0700456 /* Assume default seccomp processes want spec flaw mitigation. */
457 if ((flags & SECCOMP_FILTER_FLAG_SPEC_ALLOW) == 0)
Thomas Gleixner8bf37d82018-05-04 15:12:06 +0200458 arch_seccomp_spec_mitigate(task);
Gabriel Krisman Bertazi23d67a52020-11-16 12:42:00 -0500459 set_task_syscall_work(task, SECCOMP);
Kees Cook1f41b4502014-06-25 15:38:02 -0700460}
461
462#ifdef CONFIG_SECCOMP_FILTER
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700463/* Returns 1 if the parent is an ancestor of the child. */
464static int is_ancestor(struct seccomp_filter *parent,
465 struct seccomp_filter *child)
466{
467 /* NULL is the root ancestor. */
468 if (parent == NULL)
469 return 1;
470 for (; child; child = child->prev)
471 if (child == parent)
472 return 1;
473 return 0;
474}
475
476/**
477 * seccomp_can_sync_threads: checks if all threads can be synchronized
478 *
479 * Expects sighand and cred_guard_mutex locks to be held.
480 *
481 * Returns 0 on success, -ve on error, or the pid of a thread which was
Tycho Andersen6beff002019-03-06 13:14:12 -0700482 * either not in the correct seccomp mode or did not have an ancestral
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700483 * seccomp filter.
484 */
485static inline pid_t seccomp_can_sync_threads(void)
486{
487 struct task_struct *thread, *caller;
488
489 BUG_ON(!mutex_is_locked(&current->signal->cred_guard_mutex));
Guenter Roeck69f6a342014-08-10 20:50:30 -0700490 assert_spin_locked(&current->sighand->siglock);
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700491
492 /* Validate all threads being eligible for synchronization. */
493 caller = current;
494 for_each_thread(caller, thread) {
495 pid_t failed;
496
497 /* Skip current, since it is initiating the sync. */
498 if (thread == caller)
499 continue;
500
501 if (thread->seccomp.mode == SECCOMP_MODE_DISABLED ||
502 (thread->seccomp.mode == SECCOMP_MODE_FILTER &&
503 is_ancestor(thread->seccomp.filter,
504 caller->seccomp.filter)))
505 continue;
506
507 /* Return the first thread that cannot be synchronized. */
508 failed = task_pid_vnr(thread);
509 /* If the pid cannot be resolved, then return -ESRCH */
Igor Stoppa0d42d732018-09-05 23:34:43 +0300510 if (WARN_ON(failed == 0))
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700511 failed = -ESRCH;
512 return failed;
513 }
514
515 return 0;
516}
517
Christian Brauner3a15fb62020-05-31 13:50:29 +0200518static inline void seccomp_filter_free(struct seccomp_filter *filter)
519{
520 if (filter) {
521 bpf_prog_destroy(filter->prog);
522 kfree(filter);
523 }
524}
525
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200526static void __seccomp_filter_orphan(struct seccomp_filter *orig)
527{
528 while (orig && refcount_dec_and_test(&orig->users)) {
529 if (waitqueue_active(&orig->wqh))
530 wake_up_poll(&orig->wqh, EPOLLHUP);
531 orig = orig->prev;
532 }
533}
534
Christian Brauner3a15fb62020-05-31 13:50:29 +0200535static void __put_seccomp_filter(struct seccomp_filter *orig)
536{
537 /* Clean up single-reference branches iteratively. */
538 while (orig && refcount_dec_and_test(&orig->refs)) {
539 struct seccomp_filter *freeme = orig;
540 orig = orig->prev;
541 seccomp_filter_free(freeme);
542 }
543}
544
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200545static void __seccomp_filter_release(struct seccomp_filter *orig)
546{
547 /* Notify about any unused filters in the task's former filter tree. */
548 __seccomp_filter_orphan(orig);
549 /* Finally drop all references to the task's former tree. */
550 __put_seccomp_filter(orig);
551}
552
Christian Brauner3a15fb62020-05-31 13:50:29 +0200553/**
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200554 * seccomp_filter_release - Detach the task from its filter tree,
555 * drop its reference count, and notify
556 * about unused filters
Christian Brauner3a15fb62020-05-31 13:50:29 +0200557 *
558 * This function should only be called when the task is exiting as
559 * it detaches it from its filter tree. As such, READ_ONCE() and
560 * barriers are not needed here, as would normally be needed.
561 */
562void seccomp_filter_release(struct task_struct *tsk)
563{
564 struct seccomp_filter *orig = tsk->seccomp.filter;
565
YiFei Zhu0d8315d2020-11-11 07:33:54 -0600566 /* We are effectively holding the siglock by not having any sighand. */
567 WARN_ON(tsk->sighand != NULL);
568
Christian Brauner3a15fb62020-05-31 13:50:29 +0200569 /* Detach task from its filter tree. */
570 tsk->seccomp.filter = NULL;
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200571 __seccomp_filter_release(orig);
Christian Brauner3a15fb62020-05-31 13:50:29 +0200572}
573
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700574/**
575 * seccomp_sync_threads: sets all threads to use current's filter
576 *
577 * Expects sighand and cred_guard_mutex locks to be held, and for
578 * seccomp_can_sync_threads() to have returned success already
579 * without dropping the locks.
580 *
581 */
Kees Cook00a02d02018-05-03 14:56:12 -0700582static inline void seccomp_sync_threads(unsigned long flags)
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700583{
584 struct task_struct *thread, *caller;
585
586 BUG_ON(!mutex_is_locked(&current->signal->cred_guard_mutex));
Guenter Roeck69f6a342014-08-10 20:50:30 -0700587 assert_spin_locked(&current->sighand->siglock);
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700588
589 /* Synchronize all threads. */
590 caller = current;
591 for_each_thread(caller, thread) {
592 /* Skip current, since it needs no changes. */
593 if (thread == caller)
594 continue;
595
596 /* Get a task reference for the new leaf node. */
597 get_seccomp_filter(caller);
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200598
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700599 /*
600 * Drop the task reference to the shared ancestor since
601 * current's path will hold a reference. (This also
602 * allows a put before the assignment.)
603 */
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200604 __seccomp_filter_release(thread->seccomp.filter);
605
606 /* Make our new filter tree visible. */
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700607 smp_store_release(&thread->seccomp.filter,
608 caller->seccomp.filter);
Kees Cookc818c032020-05-13 14:11:26 -0700609 atomic_set(&thread->seccomp.filter_count,
Hsuan-Chi Kuob4d8a582021-03-04 17:37:08 -0600610 atomic_read(&caller->seccomp.filter_count));
Jann Horn103502a2015-12-26 06:00:48 +0100611
612 /*
613 * Don't let an unprivileged task work around
614 * the no_new_privs restriction by creating
615 * a thread that sets it up, enters seccomp,
616 * then dies.
617 */
618 if (task_no_new_privs(caller))
619 task_set_no_new_privs(thread);
620
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700621 /*
622 * Opt the other thread into seccomp if needed.
623 * As threads are considered to be trust-realm
624 * equivalent (see ptrace_may_access), it is safe to
625 * allow one thread to transition the other.
626 */
Jann Horn103502a2015-12-26 06:00:48 +0100627 if (thread->seccomp.mode == SECCOMP_MODE_DISABLED)
Kees Cook00a02d02018-05-03 14:56:12 -0700628 seccomp_assign_mode(thread, SECCOMP_MODE_FILTER,
629 flags);
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700630 }
631}
632
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500633/**
Kees Cookc8bee432014-06-27 15:16:33 -0700634 * seccomp_prepare_filter: Prepares a seccomp filter for use.
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500635 * @fprog: BPF program to install
636 *
Kees Cookc8bee432014-06-27 15:16:33 -0700637 * Returns filter on success or an ERR_PTR on failure.
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500638 */
Kees Cookc8bee432014-06-27 15:16:33 -0700639static struct seccomp_filter *seccomp_prepare_filter(struct sock_fprog *fprog)
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500640{
Daniel Borkmannac67eb22015-05-06 16:12:30 +0200641 struct seccomp_filter *sfilter;
642 int ret;
YiFei Zhu8e01b512020-10-11 10:47:43 -0500643 const bool save_orig =
644#if defined(CONFIG_CHECKPOINT_RESTORE) || defined(SECCOMP_ARCH_NATIVE)
645 true;
646#else
647 false;
648#endif
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500649
650 if (fprog->len == 0 || fprog->len > BPF_MAXINSNS)
Kees Cookc8bee432014-06-27 15:16:33 -0700651 return ERR_PTR(-EINVAL);
Nicolas Schichand9e12f42e2015-05-06 16:12:28 +0200652
Kees Cookc8bee432014-06-27 15:16:33 -0700653 BUG_ON(INT_MAX / fprog->len < sizeof(struct sock_filter));
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500654
655 /*
Fabian Frederick119ce5c2014-06-06 14:37:53 -0700656 * Installing a seccomp filter requires that the task has
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500657 * CAP_SYS_ADMIN in its namespace or be running with no_new_privs.
658 * This avoids scenarios where unprivileged tasks can affect the
659 * behavior of privileged children.
660 */
Kees Cook1d4457f2014-05-21 15:23:46 -0700661 if (!task_no_new_privs(current) &&
Mickaël Salaünfb145282020-10-30 13:38:49 +0100662 !ns_capable_noaudit(current_user_ns(), CAP_SYS_ADMIN))
Kees Cookc8bee432014-06-27 15:16:33 -0700663 return ERR_PTR(-EACCES);
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500664
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100665 /* Allocate a new seccomp_filter */
Daniel Borkmannac67eb22015-05-06 16:12:30 +0200666 sfilter = kzalloc(sizeof(*sfilter), GFP_KERNEL | __GFP_NOWARN);
667 if (!sfilter)
Nicolas Schichand9e12f42e2015-05-06 16:12:28 +0200668 return ERR_PTR(-ENOMEM);
Daniel Borkmannac67eb22015-05-06 16:12:30 +0200669
Tycho Andersen6a21cc52018-12-09 11:24:13 -0700670 mutex_init(&sfilter->notify_lock);
Daniel Borkmannac67eb22015-05-06 16:12:30 +0200671 ret = bpf_prog_create_from_user(&sfilter->prog, fprog,
Tycho Andersenf8e529ed2015-10-27 09:23:59 +0900672 seccomp_check_filter, save_orig);
Daniel Borkmannac67eb22015-05-06 16:12:30 +0200673 if (ret < 0) {
674 kfree(sfilter);
675 return ERR_PTR(ret);
Nicolas Schichand9e12f42e2015-05-06 16:12:28 +0200676 }
Alexei Starovoitovbd4cf0e2014-03-28 18:58:25 +0100677
Christian Braunerb707dde2020-05-31 13:50:28 +0200678 refcount_set(&sfilter->refs, 1);
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200679 refcount_set(&sfilter->users, 1);
Christian Brauner76194c42020-06-01 11:50:07 -0700680 init_waitqueue_head(&sfilter->wqh);
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500681
Daniel Borkmannac67eb22015-05-06 16:12:30 +0200682 return sfilter;
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500683}
684
685/**
Kees Cookc8bee432014-06-27 15:16:33 -0700686 * seccomp_prepare_user_filter - prepares a user-supplied sock_fprog
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500687 * @user_filter: pointer to the user data containing a sock_fprog.
688 *
689 * Returns 0 on success and non-zero otherwise.
690 */
Kees Cookc8bee432014-06-27 15:16:33 -0700691static struct seccomp_filter *
692seccomp_prepare_user_filter(const char __user *user_filter)
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500693{
694 struct sock_fprog fprog;
Kees Cookc8bee432014-06-27 15:16:33 -0700695 struct seccomp_filter *filter = ERR_PTR(-EFAULT);
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500696
697#ifdef CONFIG_COMPAT
Andy Lutomirski5c380652016-03-22 14:24:52 -0700698 if (in_compat_syscall()) {
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500699 struct compat_sock_fprog fprog32;
700 if (copy_from_user(&fprog32, user_filter, sizeof(fprog32)))
701 goto out;
702 fprog.len = fprog32.len;
703 fprog.filter = compat_ptr(fprog32.filter);
704 } else /* falls through to the if below. */
705#endif
706 if (copy_from_user(&fprog, user_filter, sizeof(fprog)))
707 goto out;
Kees Cookc8bee432014-06-27 15:16:33 -0700708 filter = seccomp_prepare_filter(&fprog);
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500709out:
Kees Cookc8bee432014-06-27 15:16:33 -0700710 return filter;
711}
712
YiFei Zhu8e01b512020-10-11 10:47:43 -0500713#ifdef SECCOMP_ARCH_NATIVE
714/**
715 * seccomp_is_const_allow - check if filter is constant allow with given data
716 * @fprog: The BPF programs
717 * @sd: The seccomp data to check against, only syscall number and arch
718 * number are considered constant.
719 */
720static bool seccomp_is_const_allow(struct sock_fprog_kern *fprog,
721 struct seccomp_data *sd)
722{
723 unsigned int reg_value = 0;
724 unsigned int pc;
725 bool op_res;
726
727 if (WARN_ON_ONCE(!fprog))
728 return false;
729
730 for (pc = 0; pc < fprog->len; pc++) {
731 struct sock_filter *insn = &fprog->filter[pc];
732 u16 code = insn->code;
733 u32 k = insn->k;
734
735 switch (code) {
736 case BPF_LD | BPF_W | BPF_ABS:
737 switch (k) {
738 case offsetof(struct seccomp_data, nr):
739 reg_value = sd->nr;
740 break;
741 case offsetof(struct seccomp_data, arch):
742 reg_value = sd->arch;
743 break;
744 default:
745 /* can't optimize (non-constant value load) */
746 return false;
747 }
748 break;
749 case BPF_RET | BPF_K:
750 /* reached return with constant values only, check allow */
751 return k == SECCOMP_RET_ALLOW;
752 case BPF_JMP | BPF_JA:
753 pc += insn->k;
754 break;
755 case BPF_JMP | BPF_JEQ | BPF_K:
756 case BPF_JMP | BPF_JGE | BPF_K:
757 case BPF_JMP | BPF_JGT | BPF_K:
758 case BPF_JMP | BPF_JSET | BPF_K:
759 switch (BPF_OP(code)) {
760 case BPF_JEQ:
761 op_res = reg_value == k;
762 break;
763 case BPF_JGE:
764 op_res = reg_value >= k;
765 break;
766 case BPF_JGT:
767 op_res = reg_value > k;
768 break;
769 case BPF_JSET:
770 op_res = !!(reg_value & k);
771 break;
772 default:
773 /* can't optimize (unknown jump) */
774 return false;
775 }
776
777 pc += op_res ? insn->jt : insn->jf;
778 break;
779 case BPF_ALU | BPF_AND | BPF_K:
780 reg_value &= k;
781 break;
782 default:
783 /* can't optimize (unknown insn) */
784 return false;
785 }
786 }
787
788 /* ran off the end of the filter?! */
789 WARN_ON(1);
790 return false;
791}
792
793static void seccomp_cache_prepare_bitmap(struct seccomp_filter *sfilter,
794 void *bitmap, const void *bitmap_prev,
795 size_t bitmap_size, int arch)
796{
797 struct sock_fprog_kern *fprog = sfilter->prog->orig_prog;
798 struct seccomp_data sd;
799 int nr;
800
801 if (bitmap_prev) {
802 /* The new filter must be as restrictive as the last. */
803 bitmap_copy(bitmap, bitmap_prev, bitmap_size);
804 } else {
805 /* Before any filters, all syscalls are always allowed. */
806 bitmap_fill(bitmap, bitmap_size);
807 }
808
809 for (nr = 0; nr < bitmap_size; nr++) {
810 /* No bitmap change: not a cacheable action. */
811 if (!test_bit(nr, bitmap))
812 continue;
813
814 sd.nr = nr;
815 sd.arch = arch;
816
817 /* No bitmap change: continue to always allow. */
818 if (seccomp_is_const_allow(fprog, &sd))
819 continue;
820
821 /*
822 * Not a cacheable action: always run filters.
823 * atomic clear_bit() not needed, filter not visible yet.
824 */
825 __clear_bit(nr, bitmap);
826 }
827}
828
829/**
Cui GaoShenga3fc7122021-03-30 23:07:24 -0400830 * seccomp_cache_prepare - emulate the filter to find cacheable syscalls
YiFei Zhu8e01b512020-10-11 10:47:43 -0500831 * @sfilter: The seccomp filter
832 *
833 * Returns 0 if successful or -errno if error occurred.
834 */
835static void seccomp_cache_prepare(struct seccomp_filter *sfilter)
836{
837 struct action_cache *cache = &sfilter->cache;
838 const struct action_cache *cache_prev =
839 sfilter->prev ? &sfilter->prev->cache : NULL;
840
841 seccomp_cache_prepare_bitmap(sfilter, cache->allow_native,
842 cache_prev ? cache_prev->allow_native : NULL,
843 SECCOMP_ARCH_NATIVE_NR,
844 SECCOMP_ARCH_NATIVE);
845
846#ifdef SECCOMP_ARCH_COMPAT
847 seccomp_cache_prepare_bitmap(sfilter, cache->allow_compat,
848 cache_prev ? cache_prev->allow_compat : NULL,
849 SECCOMP_ARCH_COMPAT_NR,
850 SECCOMP_ARCH_COMPAT);
851#endif /* SECCOMP_ARCH_COMPAT */
852}
853#endif /* SECCOMP_ARCH_NATIVE */
854
Kees Cookc8bee432014-06-27 15:16:33 -0700855/**
856 * seccomp_attach_filter: validate and attach filter
857 * @flags: flags to change filter behavior
858 * @filter: seccomp filter to add to the current process
859 *
Kees Cookdbd952122014-06-27 15:18:48 -0700860 * Caller must be holding current->sighand->siglock lock.
861 *
Tycho Andersen7a0df7f2019-03-06 13:14:13 -0700862 * Returns 0 on success, -ve on error, or
863 * - in TSYNC mode: the pid of a thread which was either not in the correct
864 * seccomp mode or did not have an ancestral seccomp filter
865 * - in NEW_LISTENER mode: the fd of the new listener
Kees Cookc8bee432014-06-27 15:16:33 -0700866 */
867static long seccomp_attach_filter(unsigned int flags,
868 struct seccomp_filter *filter)
869{
870 unsigned long total_insns;
871 struct seccomp_filter *walker;
872
Guenter Roeck69f6a342014-08-10 20:50:30 -0700873 assert_spin_locked(&current->sighand->siglock);
Kees Cookdbd952122014-06-27 15:18:48 -0700874
Kees Cookc8bee432014-06-27 15:16:33 -0700875 /* Validate resulting filter length. */
876 total_insns = filter->prog->len;
877 for (walker = current->seccomp.filter; walker; walker = walker->prev)
878 total_insns += walker->prog->len + 4; /* 4 instr penalty */
879 if (total_insns > MAX_INSNS_PER_PATH)
880 return -ENOMEM;
881
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700882 /* If thread sync has been requested, check that it is possible. */
883 if (flags & SECCOMP_FILTER_FLAG_TSYNC) {
884 int ret;
885
886 ret = seccomp_can_sync_threads();
Tycho Andersen51891492020-03-04 11:05:17 -0700887 if (ret) {
888 if (flags & SECCOMP_FILTER_FLAG_TSYNC_ESRCH)
889 return -ESRCH;
890 else
891 return ret;
892 }
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700893 }
894
Tyler Hickse66a3992017-08-11 04:33:56 +0000895 /* Set log flag, if present. */
896 if (flags & SECCOMP_FILTER_FLAG_LOG)
897 filter->log = true;
898
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -0700899 /* Set wait killable flag, if present. */
900 if (flags & SECCOMP_FILTER_FLAG_WAIT_KILLABLE_RECV)
901 filter->wait_killable_recv = true;
902
Kees Cookc8bee432014-06-27 15:16:33 -0700903 /*
904 * If there is an existing filter, make it the prev and don't drop its
905 * task reference.
906 */
907 filter->prev = current->seccomp.filter;
YiFei Zhu8e01b512020-10-11 10:47:43 -0500908 seccomp_cache_prepare(filter);
Kees Cookc8bee432014-06-27 15:16:33 -0700909 current->seccomp.filter = filter;
Kees Cookc818c032020-05-13 14:11:26 -0700910 atomic_inc(&current->seccomp.filter_count);
Kees Cookc8bee432014-06-27 15:16:33 -0700911
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700912 /* Now that the new filter is in place, synchronize to all threads. */
913 if (flags & SECCOMP_FILTER_FLAG_TSYNC)
Kees Cook00a02d02018-05-03 14:56:12 -0700914 seccomp_sync_threads(flags);
Kees Cookc2e1f2e2014-06-05 00:23:17 -0700915
Kees Cookc8bee432014-06-27 15:16:33 -0700916 return 0;
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500917}
918
Colin Ian King084f5602017-09-29 14:26:48 +0100919static void __get_seccomp_filter(struct seccomp_filter *filter)
Oleg Nesterov66a733e2017-09-27 09:25:30 -0600920{
Christian Braunerb707dde2020-05-31 13:50:28 +0200921 refcount_inc(&filter->refs);
Oleg Nesterov66a733e2017-09-27 09:25:30 -0600922}
923
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500924/* get_seccomp_filter - increments the reference count of the filter on @tsk */
925void get_seccomp_filter(struct task_struct *tsk)
926{
927 struct seccomp_filter *orig = tsk->seccomp.filter;
928 if (!orig)
929 return;
Oleg Nesterov66a733e2017-09-27 09:25:30 -0600930 __get_seccomp_filter(orig);
Christian Brauner99cdb8b2020-05-31 13:50:30 +0200931 refcount_inc(&orig->users);
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500932}
933
Will Drewrye2cfabdf2012-04-12 16:47:57 -0500934#endif /* CONFIG_SECCOMP_FILTER */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700935
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000936/* For use with seccomp_actions_logged */
Kees Cook4d3b0b02017-08-11 13:01:39 -0700937#define SECCOMP_LOG_KILL_PROCESS (1 << 0)
938#define SECCOMP_LOG_KILL_THREAD (1 << 1)
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000939#define SECCOMP_LOG_TRAP (1 << 2)
940#define SECCOMP_LOG_ERRNO (1 << 3)
941#define SECCOMP_LOG_TRACE (1 << 4)
Tyler Hicks59f5cf42017-08-11 04:33:57 +0000942#define SECCOMP_LOG_LOG (1 << 5)
943#define SECCOMP_LOG_ALLOW (1 << 6)
Tycho Andersen6a21cc52018-12-09 11:24:13 -0700944#define SECCOMP_LOG_USER_NOTIF (1 << 7)
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000945
Kees Cook4d3b0b02017-08-11 13:01:39 -0700946static u32 seccomp_actions_logged = SECCOMP_LOG_KILL_PROCESS |
947 SECCOMP_LOG_KILL_THREAD |
Kees Cookfd768752017-08-11 12:53:18 -0700948 SECCOMP_LOG_TRAP |
949 SECCOMP_LOG_ERRNO |
Tycho Andersen6a21cc52018-12-09 11:24:13 -0700950 SECCOMP_LOG_USER_NOTIF |
Kees Cookfd768752017-08-11 12:53:18 -0700951 SECCOMP_LOG_TRACE |
Tyler Hicks59f5cf42017-08-11 04:33:57 +0000952 SECCOMP_LOG_LOG;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000953
Tyler Hickse66a3992017-08-11 04:33:56 +0000954static inline void seccomp_log(unsigned long syscall, long signr, u32 action,
955 bool requested)
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000956{
957 bool log = false;
958
959 switch (action) {
960 case SECCOMP_RET_ALLOW:
Tyler Hickse66a3992017-08-11 04:33:56 +0000961 break;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000962 case SECCOMP_RET_TRAP:
Tyler Hickse66a3992017-08-11 04:33:56 +0000963 log = requested && seccomp_actions_logged & SECCOMP_LOG_TRAP;
964 break;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000965 case SECCOMP_RET_ERRNO:
Tyler Hickse66a3992017-08-11 04:33:56 +0000966 log = requested && seccomp_actions_logged & SECCOMP_LOG_ERRNO;
967 break;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000968 case SECCOMP_RET_TRACE:
Tyler Hickse66a3992017-08-11 04:33:56 +0000969 log = requested && seccomp_actions_logged & SECCOMP_LOG_TRACE;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000970 break;
Tycho Andersen6a21cc52018-12-09 11:24:13 -0700971 case SECCOMP_RET_USER_NOTIF:
972 log = requested && seccomp_actions_logged & SECCOMP_LOG_USER_NOTIF;
973 break;
Tyler Hicks59f5cf42017-08-11 04:33:57 +0000974 case SECCOMP_RET_LOG:
975 log = seccomp_actions_logged & SECCOMP_LOG_LOG;
976 break;
Kees Cookfd768752017-08-11 12:53:18 -0700977 case SECCOMP_RET_KILL_THREAD:
Kees Cookfd768752017-08-11 12:53:18 -0700978 log = seccomp_actions_logged & SECCOMP_LOG_KILL_THREAD;
Kees Cook4d3b0b02017-08-11 13:01:39 -0700979 break;
980 case SECCOMP_RET_KILL_PROCESS:
981 default:
982 log = seccomp_actions_logged & SECCOMP_LOG_KILL_PROCESS;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000983 }
984
985 /*
Tyler Hicks326bee02018-05-04 01:08:15 +0000986 * Emit an audit message when the action is RET_KILL_*, RET_LOG, or the
987 * FILTER_FLAG_LOG bit was set. The admin has the ability to silence
988 * any action from being logged by removing the action name from the
989 * seccomp_actions_logged sysctl.
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000990 */
Tyler Hicks326bee02018-05-04 01:08:15 +0000991 if (!log)
992 return;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000993
Tyler Hicks326bee02018-05-04 01:08:15 +0000994 audit_seccomp(syscall, signr, action);
Tyler Hicks0ddec0f2017-08-11 04:33:54 +0000995}
996
Linus Torvalds1da177e2005-04-16 15:20:36 -0700997/*
998 * Secure computing mode 1 allows only read/write/exit/sigreturn.
999 * To be fully secure this must be combined with rlimit
1000 * to limit the stack allocations too.
1001 */
Matt Redfearncb4253a2016-03-29 09:35:34 +01001002static const int mode1_syscalls[] = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001003 __NR_seccomp_read, __NR_seccomp_write, __NR_seccomp_exit, __NR_seccomp_sigreturn,
Kees Cookfe4bfff82020-06-19 12:20:15 -07001004 -1, /* negative terminated */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001005};
1006
Andy Lutomirskia4412fc2014-07-21 18:49:14 -07001007static void __secure_computing_strict(int this_syscall)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001008{
Kees Cookfe4bfff82020-06-19 12:20:15 -07001009 const int *allowed_syscalls = mode1_syscalls;
Andy Lutomirskia4412fc2014-07-21 18:49:14 -07001010#ifdef CONFIG_COMPAT
Andy Lutomirski5c380652016-03-22 14:24:52 -07001011 if (in_compat_syscall())
Kees Cookfe4bfff82020-06-19 12:20:15 -07001012 allowed_syscalls = get_compat_mode1_syscalls();
Andy Lutomirskia4412fc2014-07-21 18:49:14 -07001013#endif
1014 do {
Kees Cookfe4bfff82020-06-19 12:20:15 -07001015 if (*allowed_syscalls == this_syscall)
Andy Lutomirskia4412fc2014-07-21 18:49:14 -07001016 return;
Kees Cookfe4bfff82020-06-19 12:20:15 -07001017 } while (*++allowed_syscalls != -1);
Andy Lutomirskia4412fc2014-07-21 18:49:14 -07001018
1019#ifdef SECCOMP_DEBUG
1020 dump_stack();
1021#endif
Kees Cook495ac302022-02-07 20:21:13 -08001022 current->seccomp.mode = SECCOMP_MODE_DEAD;
Kees Cookfd768752017-08-11 12:53:18 -07001023 seccomp_log(this_syscall, SIGKILL, SECCOMP_RET_KILL_THREAD, true);
Andy Lutomirskia4412fc2014-07-21 18:49:14 -07001024 do_exit(SIGKILL);
1025}
1026
1027#ifndef CONFIG_HAVE_ARCH_SECCOMP_FILTER
1028void secure_computing_strict(int this_syscall)
1029{
1030 int mode = current->seccomp.mode;
1031
Masahiro Yamada97f26452016-08-03 13:45:50 -07001032 if (IS_ENABLED(CONFIG_CHECKPOINT_RESTORE) &&
Tycho Andersen13c4a902015-06-13 09:02:48 -06001033 unlikely(current->ptrace & PT_SUSPEND_SECCOMP))
1034 return;
1035
Kees Cook221272f2015-06-15 15:29:16 -07001036 if (mode == SECCOMP_MODE_DISABLED)
Andy Lutomirskia4412fc2014-07-21 18:49:14 -07001037 return;
1038 else if (mode == SECCOMP_MODE_STRICT)
1039 __secure_computing_strict(this_syscall);
1040 else
1041 BUG();
1042}
1043#else
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001044
1045#ifdef CONFIG_SECCOMP_FILTER
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001046static u64 seccomp_next_notify_id(struct seccomp_filter *filter)
1047{
1048 /*
1049 * Note: overflow is ok here, the id just needs to be unique per
1050 * filter.
1051 */
1052 lockdep_assert_held(&filter->notify_lock);
1053 return filter->notif->next_id++;
1054}
1055
Rodrigo Campos0ae71c72021-05-17 12:39:07 -07001056static void seccomp_handle_addfd(struct seccomp_kaddfd *addfd, struct seccomp_knotif *n)
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001057{
Rodrigo Campos0ae71c72021-05-17 12:39:07 -07001058 int fd;
1059
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001060 /*
1061 * Remove the notification, and reset the list pointers, indicating
1062 * that it has been handled.
1063 */
1064 list_del_init(&addfd->list);
Christoph Hellwig42eb0d52021-03-25 09:22:09 +01001065 if (!addfd->setfd)
Rodrigo Campos0ae71c72021-05-17 12:39:07 -07001066 fd = receive_fd(addfd->file, addfd->flags);
Christoph Hellwig42eb0d52021-03-25 09:22:09 +01001067 else
Rodrigo Campos0ae71c72021-05-17 12:39:07 -07001068 fd = receive_fd_replace(addfd->fd, addfd->file, addfd->flags);
1069 addfd->ret = fd;
1070
1071 if (addfd->ioctl_flags & SECCOMP_ADDFD_FLAG_SEND) {
1072 /* If we fail reset and return an error to the notifier */
1073 if (fd < 0) {
1074 n->state = SECCOMP_NOTIFY_SENT;
1075 } else {
1076 /* Return the FD we just added */
1077 n->flags = 0;
1078 n->error = 0;
1079 n->val = fd;
1080 }
1081 }
1082
1083 /*
1084 * Mark the notification as completed. From this point, addfd mem
1085 * might be invalidated and we can't safely read it anymore.
1086 */
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001087 complete(&addfd->completion);
1088}
1089
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -07001090static bool should_sleep_killable(struct seccomp_filter *match,
1091 struct seccomp_knotif *n)
1092{
1093 return match->wait_killable_recv && n->state == SECCOMP_NOTIFY_SENT;
1094}
1095
Christian Braunerfb3c53862019-09-20 10:30:05 +02001096static int seccomp_do_user_notification(int this_syscall,
1097 struct seccomp_filter *match,
1098 const struct seccomp_data *sd)
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001099{
1100 int err;
Christian Braunerfb3c53862019-09-20 10:30:05 +02001101 u32 flags = 0;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001102 long ret = 0;
1103 struct seccomp_knotif n = {};
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001104 struct seccomp_kaddfd *addfd, *tmp;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001105
1106 mutex_lock(&match->notify_lock);
1107 err = -ENOSYS;
1108 if (!match->notif)
1109 goto out;
1110
1111 n.task = current;
1112 n.state = SECCOMP_NOTIFY_INIT;
1113 n.data = sd;
1114 n.id = seccomp_next_notify_id(match);
1115 init_completion(&n.ready);
Sargun Dhillon4cbf6f62022-04-27 18:54:46 -07001116 list_add_tail(&n.list, &match->notif->notifications);
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001117 INIT_LIST_HEAD(&n.addfd);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001118
1119 up(&match->notif->request);
Christian Brauner76194c42020-06-01 11:50:07 -07001120 wake_up_poll(&match->wqh, EPOLLIN | EPOLLRDNORM);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001121
1122 /*
1123 * This is where we wait for a reply from userspace.
1124 */
Sargun Dhillonddc47392021-05-17 12:39:06 -07001125 do {
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -07001126 bool wait_killable = should_sleep_killable(match, &n);
1127
Sargun Dhillonddc47392021-05-17 12:39:06 -07001128 mutex_unlock(&match->notify_lock);
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -07001129 if (wait_killable)
1130 err = wait_for_completion_killable(&n.ready);
1131 else
1132 err = wait_for_completion_interruptible(&n.ready);
Sargun Dhillonddc47392021-05-17 12:39:06 -07001133 mutex_lock(&match->notify_lock);
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -07001134
1135 if (err != 0) {
1136 /*
1137 * Check to see if the notifcation got picked up and
1138 * whether we should switch to wait killable.
1139 */
1140 if (!wait_killable && should_sleep_killable(match, &n))
1141 continue;
1142
Sargun Dhillonddc47392021-05-17 12:39:06 -07001143 goto interrupted;
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -07001144 }
Sargun Dhillonddc47392021-05-17 12:39:06 -07001145
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001146 addfd = list_first_entry_or_null(&n.addfd,
1147 struct seccomp_kaddfd, list);
Sargun Dhillonddc47392021-05-17 12:39:06 -07001148 /* Check if we were woken up by a addfd message */
1149 if (addfd)
Rodrigo Campos0ae71c72021-05-17 12:39:07 -07001150 seccomp_handle_addfd(addfd, &n);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001151
Sargun Dhillonddc47392021-05-17 12:39:06 -07001152 } while (n.state != SECCOMP_NOTIFY_REPLIED);
1153
1154 ret = n.val;
1155 err = n.error;
1156 flags = n.flags;
1157
1158interrupted:
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001159 /* If there were any pending addfd calls, clear them out */
1160 list_for_each_entry_safe(addfd, tmp, &n.addfd, list) {
1161 /* The process went away before we got a chance to handle it */
1162 addfd->ret = -ESRCH;
1163 list_del_init(&addfd->list);
1164 complete(&addfd->completion);
1165 }
1166
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001167 /*
1168 * Note that it's possible the listener died in between the time when
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001169 * we were notified of a response (or a signal) and when we were able to
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001170 * re-acquire the lock, so only delete from the list if the
1171 * notification actually exists.
1172 *
1173 * Also note that this test is only valid because there's no way to
1174 * *reattach* to a notifier right now. If one is added, we'll need to
1175 * keep track of the notif itself and make sure they match here.
1176 */
1177 if (match->notif)
1178 list_del(&n.list);
1179out:
1180 mutex_unlock(&match->notify_lock);
Christian Braunerfb3c53862019-09-20 10:30:05 +02001181
1182 /* Userspace requests to continue the syscall. */
1183 if (flags & SECCOMP_USER_NOTIF_FLAG_CONTINUE)
1184 return 0;
1185
Denis Efremov2d9ca262020-08-24 15:59:21 +03001186 syscall_set_return_value(current, current_pt_regs(),
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001187 err, ret);
Christian Braunerfb3c53862019-09-20 10:30:05 +02001188 return -1;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001189}
1190
Kees Cookce6526e2016-06-01 19:29:15 -07001191static int __seccomp_filter(int this_syscall, const struct seccomp_data *sd,
1192 const bool recheck_after_trace)
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001193{
1194 u32 filter_ret, action;
Kees Cookdeb4de82017-08-02 15:00:40 -07001195 struct seccomp_filter *match = NULL;
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001196 int data;
Tycho Andersendb511392018-12-09 11:24:11 -07001197 struct seccomp_data sd_local;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001198
Kees Cook3ba25302014-06-27 15:01:35 -07001199 /*
1200 * Make sure that any changes to mode from another thread have
Gabriel Krisman Bertazi23d67a52020-11-16 12:42:00 -05001201 * been seen after SYSCALL_WORK_SECCOMP was seen.
Kees Cook3ba25302014-06-27 15:01:35 -07001202 */
wanghongzhea381b702021-02-05 11:34:09 +08001203 smp_rmb();
Kees Cook3ba25302014-06-27 15:01:35 -07001204
Tycho Andersendb511392018-12-09 11:24:11 -07001205 if (!sd) {
1206 populate_seccomp_data(&sd_local);
1207 sd = &sd_local;
1208 }
1209
Kees Cookdeb4de82017-08-02 15:00:40 -07001210 filter_ret = seccomp_run_filters(sd, &match);
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001211 data = filter_ret & SECCOMP_RET_DATA;
Kees Cook0466bdb2017-08-11 13:12:11 -07001212 action = filter_ret & SECCOMP_RET_ACTION_FULL;
Andy Lutomirski87b526d2012-10-01 11:40:45 -07001213
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001214 switch (action) {
1215 case SECCOMP_RET_ERRNO:
Kees Cook580c57f2015-02-17 13:48:00 -08001216 /* Set low-order bits as an errno, capped at MAX_ERRNO. */
1217 if (data > MAX_ERRNO)
1218 data = MAX_ERRNO;
Denis Efremov2d9ca262020-08-24 15:59:21 +03001219 syscall_set_return_value(current, current_pt_regs(),
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001220 -data, 0);
1221 goto skip;
1222
1223 case SECCOMP_RET_TRAP:
1224 /* Show the handler the original registers. */
Denis Efremov2d9ca262020-08-24 15:59:21 +03001225 syscall_rollback(current, current_pt_regs());
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001226 /* Let the filter pass back 16 bits of data. */
Eric W. Biederman307d5222021-06-23 16:44:32 -05001227 force_sig_seccomp(this_syscall, data, false);
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001228 goto skip;
1229
1230 case SECCOMP_RET_TRACE:
Kees Cookce6526e2016-06-01 19:29:15 -07001231 /* We've been put in this state by the ptracer already. */
1232 if (recheck_after_trace)
1233 return 0;
1234
Kees Cook8112c4f2016-06-01 16:02:17 -07001235 /* ENOSYS these calls if there is no tracer attached. */
1236 if (!ptrace_event_enabled(current, PTRACE_EVENT_SECCOMP)) {
1237 syscall_set_return_value(current,
Denis Efremov2d9ca262020-08-24 15:59:21 +03001238 current_pt_regs(),
Kees Cook8112c4f2016-06-01 16:02:17 -07001239 -ENOSYS, 0);
1240 goto skip;
1241 }
1242
1243 /* Allow the BPF to provide the event message */
1244 ptrace_event(PTRACE_EVENT_SECCOMP, data);
1245 /*
1246 * The delivery of a fatal signal during event
Kees Cook485a2522016-08-10 16:28:09 -07001247 * notification may silently skip tracer notification,
1248 * which could leave us with a potentially unmodified
1249 * syscall that the tracer would have liked to have
1250 * changed. Since the process is about to die, we just
1251 * force the syscall to be skipped and let the signal
1252 * kill the process and correctly handle any tracer exit
1253 * notifications.
Kees Cook8112c4f2016-06-01 16:02:17 -07001254 */
1255 if (fatal_signal_pending(current))
Kees Cook485a2522016-08-10 16:28:09 -07001256 goto skip;
Kees Cook8112c4f2016-06-01 16:02:17 -07001257 /* Check if the tracer forced the syscall to be skipped. */
Denis Efremov2d9ca262020-08-24 15:59:21 +03001258 this_syscall = syscall_get_nr(current, current_pt_regs());
Kees Cook8112c4f2016-06-01 16:02:17 -07001259 if (this_syscall < 0)
1260 goto skip;
1261
Kees Cookce6526e2016-06-01 19:29:15 -07001262 /*
1263 * Recheck the syscall, since it may have changed. This
1264 * intentionally uses a NULL struct seccomp_data to force
1265 * a reload of all registers. This does not goto skip since
1266 * a skip would have already been reported.
1267 */
1268 if (__seccomp_filter(this_syscall, NULL, true))
1269 return -1;
1270
Kees Cook8112c4f2016-06-01 16:02:17 -07001271 return 0;
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001272
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001273 case SECCOMP_RET_USER_NOTIF:
Christian Braunerfb3c53862019-09-20 10:30:05 +02001274 if (seccomp_do_user_notification(this_syscall, match, sd))
1275 goto skip;
1276
1277 return 0;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001278
Tyler Hicks59f5cf42017-08-11 04:33:57 +00001279 case SECCOMP_RET_LOG:
1280 seccomp_log(this_syscall, 0, action, true);
1281 return 0;
1282
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001283 case SECCOMP_RET_ALLOW:
Kees Cookdeb4de82017-08-02 15:00:40 -07001284 /*
1285 * Note that the "match" filter will always be NULL for
1286 * this action since SECCOMP_RET_ALLOW is the starting
1287 * state in seccomp_run_filters().
1288 */
Kees Cook8112c4f2016-06-01 16:02:17 -07001289 return 0;
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001290
Kees Cookfd768752017-08-11 12:53:18 -07001291 case SECCOMP_RET_KILL_THREAD:
Kees Cook4d3b0b02017-08-11 13:01:39 -07001292 case SECCOMP_RET_KILL_PROCESS:
Kees Cook131b6352017-02-23 09:24:24 -08001293 default:
Kees Cook495ac302022-02-07 20:21:13 -08001294 current->seccomp.mode = SECCOMP_MODE_DEAD;
Tyler Hickse66a3992017-08-11 04:33:56 +00001295 seccomp_log(this_syscall, SIGSYS, action, true);
Kees Cookd7276e32017-02-07 15:18:51 -08001296 /* Dump core only if this is the last remaining thread. */
Rich Felker4d671d92020-08-28 21:56:13 -04001297 if (action != SECCOMP_RET_KILL_THREAD ||
Eric W. Biedermand21918e2021-06-23 16:51:49 -05001298 (atomic_read(&current->signal->live) == 1)) {
Kees Cookd7276e32017-02-07 15:18:51 -08001299 /* Show the original registers in the dump. */
Denis Efremov2d9ca262020-08-24 15:59:21 +03001300 syscall_rollback(current, current_pt_regs());
Eric W. Biederman307d5222021-06-23 16:44:32 -05001301 /* Trigger a coredump with SIGSYS */
1302 force_sig_seccomp(this_syscall, data, true);
1303 } else {
Kees Cook4d3b0b02017-08-11 13:01:39 -07001304 do_exit(SIGSYS);
Eric W. Biederman307d5222021-06-23 16:44:32 -05001305 }
1306 return -1; /* skip the syscall go directly to signal handling */
Will Drewry8156b452012-04-17 14:48:58 -05001307 }
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001308
1309 unreachable();
1310
1311skip:
Tyler Hickse66a3992017-08-11 04:33:56 +00001312 seccomp_log(this_syscall, 0, action, match ? match->log : false);
Kees Cook8112c4f2016-06-01 16:02:17 -07001313 return -1;
1314}
1315#else
Kees Cookce6526e2016-06-01 19:29:15 -07001316static int __seccomp_filter(int this_syscall, const struct seccomp_data *sd,
1317 const bool recheck_after_trace)
Kees Cook8112c4f2016-06-01 16:02:17 -07001318{
1319 BUG();
Paul Cercueil04b38d02021-01-11 17:28:39 +00001320
1321 return -1;
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001322}
1323#endif
1324
Kees Cook8112c4f2016-06-01 16:02:17 -07001325int __secure_computing(const struct seccomp_data *sd)
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001326{
1327 int mode = current->seccomp.mode;
Kees Cook8112c4f2016-06-01 16:02:17 -07001328 int this_syscall;
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001329
Masahiro Yamada97f26452016-08-03 13:45:50 -07001330 if (IS_ENABLED(CONFIG_CHECKPOINT_RESTORE) &&
Tycho Andersen13c4a902015-06-13 09:02:48 -06001331 unlikely(current->ptrace & PT_SUSPEND_SECCOMP))
Kees Cook8112c4f2016-06-01 16:02:17 -07001332 return 0;
1333
1334 this_syscall = sd ? sd->nr :
Denis Efremov2d9ca262020-08-24 15:59:21 +03001335 syscall_get_nr(current, current_pt_regs());
Tycho Andersen13c4a902015-06-13 09:02:48 -06001336
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001337 switch (mode) {
1338 case SECCOMP_MODE_STRICT:
1339 __secure_computing_strict(this_syscall); /* may call do_exit */
Kees Cook8112c4f2016-06-01 16:02:17 -07001340 return 0;
Andy Lutomirski13aa72f2014-07-21 18:49:15 -07001341 case SECCOMP_MODE_FILTER:
Kees Cookce6526e2016-06-01 19:29:15 -07001342 return __seccomp_filter(this_syscall, sd, false);
Kees Cook495ac302022-02-07 20:21:13 -08001343 /* Surviving SECCOMP_RET_KILL_* must be proactively impossible. */
1344 case SECCOMP_MODE_DEAD:
1345 WARN_ON_ONCE(1);
1346 do_exit(SIGKILL);
1347 return -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001348 default:
1349 BUG();
1350 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001351}
Andy Lutomirskia4412fc2014-07-21 18:49:14 -07001352#endif /* CONFIG_HAVE_ARCH_SECCOMP_FILTER */
Andrea Arcangeli1d9d02f2007-07-15 23:41:32 -07001353
1354long prctl_get_seccomp(void)
1355{
1356 return current->seccomp.mode;
1357}
1358
Will Drewrye2cfabdf2012-04-12 16:47:57 -05001359/**
Kees Cook3b23dd12014-06-25 15:55:25 -07001360 * seccomp_set_mode_strict: internal function for setting strict seccomp
Will Drewrye2cfabdf2012-04-12 16:47:57 -05001361 *
1362 * Once current->seccomp.mode is non-zero, it may not be changed.
1363 *
1364 * Returns 0 on success or -EINVAL on failure.
1365 */
Kees Cook3b23dd12014-06-25 15:55:25 -07001366static long seccomp_set_mode_strict(void)
Andrea Arcangeli1d9d02f2007-07-15 23:41:32 -07001367{
Kees Cook3b23dd12014-06-25 15:55:25 -07001368 const unsigned long seccomp_mode = SECCOMP_MODE_STRICT;
Will Drewrye2cfabdf2012-04-12 16:47:57 -05001369 long ret = -EINVAL;
Andrea Arcangeli1d9d02f2007-07-15 23:41:32 -07001370
Kees Cookdbd952122014-06-27 15:18:48 -07001371 spin_lock_irq(&current->sighand->siglock);
1372
Kees Cook1f41b4502014-06-25 15:38:02 -07001373 if (!seccomp_may_assign_mode(seccomp_mode))
Andrea Arcangeli1d9d02f2007-07-15 23:41:32 -07001374 goto out;
1375
Andrea Arcangelicf99aba2007-07-15 23:41:33 -07001376#ifdef TIF_NOTSC
Kees Cook3b23dd12014-06-25 15:55:25 -07001377 disable_TSC();
Andrea Arcangelicf99aba2007-07-15 23:41:33 -07001378#endif
Kees Cook00a02d02018-05-03 14:56:12 -07001379 seccomp_assign_mode(current, seccomp_mode, 0);
Kees Cook3b23dd12014-06-25 15:55:25 -07001380 ret = 0;
1381
1382out:
Kees Cookdbd952122014-06-27 15:18:48 -07001383 spin_unlock_irq(&current->sighand->siglock);
Kees Cook3b23dd12014-06-25 15:55:25 -07001384
1385 return ret;
1386}
1387
Will Drewrye2cfabdf2012-04-12 16:47:57 -05001388#ifdef CONFIG_SECCOMP_FILTER
Tycho Andersene8393172020-09-02 08:09:53 -06001389static void seccomp_notify_free(struct seccomp_filter *filter)
1390{
1391 kfree(filter->notif);
1392 filter->notif = NULL;
1393}
1394
Tycho Andersena566a902020-09-01 19:40:16 -06001395static void seccomp_notify_detach(struct seccomp_filter *filter)
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001396{
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001397 struct seccomp_knotif *knotif;
1398
Tycho Andersena811dc62019-01-12 11:24:20 -07001399 if (!filter)
Tycho Andersena566a902020-09-01 19:40:16 -06001400 return;
Tycho Andersena811dc62019-01-12 11:24:20 -07001401
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001402 mutex_lock(&filter->notify_lock);
1403
1404 /*
1405 * If this file is being closed because e.g. the task who owned it
1406 * died, let's wake everyone up who was waiting on us.
1407 */
1408 list_for_each_entry(knotif, &filter->notif->notifications, list) {
1409 if (knotif->state == SECCOMP_NOTIFY_REPLIED)
1410 continue;
1411
1412 knotif->state = SECCOMP_NOTIFY_REPLIED;
1413 knotif->error = -ENOSYS;
1414 knotif->val = 0;
1415
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001416 /*
1417 * We do not need to wake up any pending addfd messages, as
1418 * the notifier will do that for us, as this just looks
1419 * like a standard reply.
1420 */
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001421 complete(&knotif->ready);
1422 }
1423
Tycho Andersene8393172020-09-02 08:09:53 -06001424 seccomp_notify_free(filter);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001425 mutex_unlock(&filter->notify_lock);
Tycho Andersena566a902020-09-01 19:40:16 -06001426}
1427
1428static int seccomp_notify_release(struct inode *inode, struct file *file)
1429{
1430 struct seccomp_filter *filter = file->private_data;
1431
1432 seccomp_notify_detach(filter);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001433 __put_seccomp_filter(filter);
1434 return 0;
1435}
1436
Sargun Dhillon9f87dcf2020-06-01 04:25:32 -07001437/* must be called with notif_lock held */
1438static inline struct seccomp_knotif *
1439find_notification(struct seccomp_filter *filter, u64 id)
1440{
1441 struct seccomp_knotif *cur;
1442
1443 lockdep_assert_held(&filter->notify_lock);
1444
1445 list_for_each_entry(cur, &filter->notif->notifications, list) {
1446 if (cur->id == id)
1447 return cur;
1448 }
1449
1450 return NULL;
1451}
1452
1453
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001454static long seccomp_notify_recv(struct seccomp_filter *filter,
1455 void __user *buf)
1456{
1457 struct seccomp_knotif *knotif = NULL, *cur;
1458 struct seccomp_notif unotif;
1459 ssize_t ret;
1460
Sargun Dhillon2882d532019-12-28 22:24:50 -08001461 /* Verify that we're not given garbage to keep struct extensible. */
1462 ret = check_zeroed_user(buf, sizeof(unotif));
1463 if (ret < 0)
1464 return ret;
1465 if (!ret)
1466 return -EINVAL;
1467
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001468 memset(&unotif, 0, sizeof(unotif));
1469
1470 ret = down_interruptible(&filter->notif->request);
1471 if (ret < 0)
1472 return ret;
1473
1474 mutex_lock(&filter->notify_lock);
1475 list_for_each_entry(cur, &filter->notif->notifications, list) {
1476 if (cur->state == SECCOMP_NOTIFY_INIT) {
1477 knotif = cur;
1478 break;
1479 }
1480 }
1481
1482 /*
1483 * If we didn't find a notification, it could be that the task was
1484 * interrupted by a fatal signal between the time we were woken and
1485 * when we were able to acquire the rw lock.
1486 */
1487 if (!knotif) {
1488 ret = -ENOENT;
1489 goto out;
1490 }
1491
1492 unotif.id = knotif->id;
1493 unotif.pid = task_pid_vnr(knotif->task);
1494 unotif.data = *(knotif->data);
1495
1496 knotif->state = SECCOMP_NOTIFY_SENT;
Christian Brauner76194c42020-06-01 11:50:07 -07001497 wake_up_poll(&filter->wqh, EPOLLOUT | EPOLLWRNORM);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001498 ret = 0;
1499out:
1500 mutex_unlock(&filter->notify_lock);
1501
1502 if (ret == 0 && copy_to_user(buf, &unotif, sizeof(unotif))) {
1503 ret = -EFAULT;
1504
1505 /*
1506 * Userspace screwed up. To make sure that we keep this
1507 * notification alive, let's reset it back to INIT. It
1508 * may have died when we released the lock, so we need to make
1509 * sure it's still around.
1510 */
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001511 mutex_lock(&filter->notify_lock);
Sargun Dhillon9f87dcf2020-06-01 04:25:32 -07001512 knotif = find_notification(filter, unotif.id);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001513 if (knotif) {
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -07001514 /* Reset the process to make sure it's not stuck */
1515 if (should_sleep_killable(filter, knotif))
1516 complete(&knotif->ready);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001517 knotif->state = SECCOMP_NOTIFY_INIT;
1518 up(&filter->notif->request);
1519 }
1520 mutex_unlock(&filter->notify_lock);
1521 }
1522
1523 return ret;
1524}
1525
1526static long seccomp_notify_send(struct seccomp_filter *filter,
1527 void __user *buf)
1528{
1529 struct seccomp_notif_resp resp = {};
Sargun Dhillon9f87dcf2020-06-01 04:25:32 -07001530 struct seccomp_knotif *knotif;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001531 long ret;
1532
1533 if (copy_from_user(&resp, buf, sizeof(resp)))
1534 return -EFAULT;
1535
Christian Braunerfb3c53862019-09-20 10:30:05 +02001536 if (resp.flags & ~SECCOMP_USER_NOTIF_FLAG_CONTINUE)
1537 return -EINVAL;
1538
1539 if ((resp.flags & SECCOMP_USER_NOTIF_FLAG_CONTINUE) &&
1540 (resp.error || resp.val))
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001541 return -EINVAL;
1542
1543 ret = mutex_lock_interruptible(&filter->notify_lock);
1544 if (ret < 0)
1545 return ret;
1546
Sargun Dhillon9f87dcf2020-06-01 04:25:32 -07001547 knotif = find_notification(filter, resp.id);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001548 if (!knotif) {
1549 ret = -ENOENT;
1550 goto out;
1551 }
1552
1553 /* Allow exactly one reply. */
1554 if (knotif->state != SECCOMP_NOTIFY_SENT) {
1555 ret = -EINPROGRESS;
1556 goto out;
1557 }
1558
1559 ret = 0;
1560 knotif->state = SECCOMP_NOTIFY_REPLIED;
1561 knotif->error = resp.error;
1562 knotif->val = resp.val;
Christian Braunerfb3c53862019-09-20 10:30:05 +02001563 knotif->flags = resp.flags;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001564 complete(&knotif->ready);
1565out:
1566 mutex_unlock(&filter->notify_lock);
1567 return ret;
1568}
1569
1570static long seccomp_notify_id_valid(struct seccomp_filter *filter,
1571 void __user *buf)
1572{
Sargun Dhillon9f87dcf2020-06-01 04:25:32 -07001573 struct seccomp_knotif *knotif;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001574 u64 id;
1575 long ret;
1576
1577 if (copy_from_user(&id, buf, sizeof(id)))
1578 return -EFAULT;
1579
1580 ret = mutex_lock_interruptible(&filter->notify_lock);
1581 if (ret < 0)
1582 return ret;
1583
Sargun Dhillon9f87dcf2020-06-01 04:25:32 -07001584 knotif = find_notification(filter, id);
1585 if (knotif && knotif->state == SECCOMP_NOTIFY_SENT)
1586 ret = 0;
1587 else
1588 ret = -ENOENT;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001589
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001590 mutex_unlock(&filter->notify_lock);
1591 return ret;
1592}
1593
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001594static long seccomp_notify_addfd(struct seccomp_filter *filter,
1595 struct seccomp_notif_addfd __user *uaddfd,
1596 unsigned int size)
1597{
1598 struct seccomp_notif_addfd addfd;
1599 struct seccomp_knotif *knotif;
1600 struct seccomp_kaddfd kaddfd;
1601 int ret;
1602
1603 BUILD_BUG_ON(sizeof(addfd) < SECCOMP_NOTIFY_ADDFD_SIZE_VER0);
1604 BUILD_BUG_ON(sizeof(addfd) != SECCOMP_NOTIFY_ADDFD_SIZE_LATEST);
1605
1606 if (size < SECCOMP_NOTIFY_ADDFD_SIZE_VER0 || size >= PAGE_SIZE)
1607 return -EINVAL;
1608
1609 ret = copy_struct_from_user(&addfd, sizeof(addfd), uaddfd, size);
1610 if (ret)
1611 return ret;
1612
1613 if (addfd.newfd_flags & ~O_CLOEXEC)
1614 return -EINVAL;
1615
Rodrigo Campos0ae71c72021-05-17 12:39:07 -07001616 if (addfd.flags & ~(SECCOMP_ADDFD_FLAG_SETFD | SECCOMP_ADDFD_FLAG_SEND))
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001617 return -EINVAL;
1618
1619 if (addfd.newfd && !(addfd.flags & SECCOMP_ADDFD_FLAG_SETFD))
1620 return -EINVAL;
1621
1622 kaddfd.file = fget(addfd.srcfd);
1623 if (!kaddfd.file)
1624 return -EBADF;
1625
Rodrigo Campos0ae71c72021-05-17 12:39:07 -07001626 kaddfd.ioctl_flags = addfd.flags;
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001627 kaddfd.flags = addfd.newfd_flags;
Christoph Hellwig42eb0d52021-03-25 09:22:09 +01001628 kaddfd.setfd = addfd.flags & SECCOMP_ADDFD_FLAG_SETFD;
1629 kaddfd.fd = addfd.newfd;
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001630 init_completion(&kaddfd.completion);
1631
1632 ret = mutex_lock_interruptible(&filter->notify_lock);
1633 if (ret < 0)
1634 goto out;
1635
1636 knotif = find_notification(filter, addfd.id);
1637 if (!knotif) {
1638 ret = -ENOENT;
1639 goto out_unlock;
1640 }
1641
1642 /*
1643 * We do not want to allow for FD injection to occur before the
1644 * notification has been picked up by a userspace handler, or after
1645 * the notification has been replied to.
1646 */
1647 if (knotif->state != SECCOMP_NOTIFY_SENT) {
1648 ret = -EINPROGRESS;
1649 goto out_unlock;
1650 }
1651
Rodrigo Campos0ae71c72021-05-17 12:39:07 -07001652 if (addfd.flags & SECCOMP_ADDFD_FLAG_SEND) {
1653 /*
1654 * Disallow queuing an atomic addfd + send reply while there are
1655 * some addfd requests still to process.
1656 *
1657 * There is no clear reason to support it and allows us to keep
1658 * the loop on the other side straight-forward.
1659 */
1660 if (!list_empty(&knotif->addfd)) {
1661 ret = -EBUSY;
1662 goto out_unlock;
1663 }
1664
1665 /* Allow exactly only one reply */
1666 knotif->state = SECCOMP_NOTIFY_REPLIED;
1667 }
1668
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001669 list_add(&kaddfd.list, &knotif->addfd);
1670 complete(&knotif->ready);
1671 mutex_unlock(&filter->notify_lock);
1672
1673 /* Now we wait for it to be processed or be interrupted */
1674 ret = wait_for_completion_interruptible(&kaddfd.completion);
1675 if (ret == 0) {
1676 /*
1677 * We had a successful completion. The other side has already
1678 * removed us from the addfd queue, and
1679 * wait_for_completion_interruptible has a memory barrier upon
1680 * success that lets us read this value directly without
1681 * locking.
1682 */
1683 ret = kaddfd.ret;
1684 goto out;
1685 }
1686
1687 mutex_lock(&filter->notify_lock);
1688 /*
1689 * Even though we were woken up by a signal and not a successful
1690 * completion, a completion may have happened in the mean time.
1691 *
1692 * We need to check again if the addfd request has been handled,
1693 * and if not, we will remove it from the queue.
1694 */
1695 if (list_empty(&kaddfd.list))
1696 ret = kaddfd.ret;
1697 else
1698 list_del(&kaddfd.list);
1699
1700out_unlock:
1701 mutex_unlock(&filter->notify_lock);
1702out:
1703 fput(kaddfd.file);
1704
1705 return ret;
1706}
1707
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001708static long seccomp_notify_ioctl(struct file *file, unsigned int cmd,
1709 unsigned long arg)
1710{
1711 struct seccomp_filter *filter = file->private_data;
1712 void __user *buf = (void __user *)arg;
1713
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001714 /* Fixed-size ioctls */
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001715 switch (cmd) {
1716 case SECCOMP_IOCTL_NOTIF_RECV:
1717 return seccomp_notify_recv(filter, buf);
1718 case SECCOMP_IOCTL_NOTIF_SEND:
1719 return seccomp_notify_send(filter, buf);
Kees Cook47e33c052020-06-15 15:42:46 -07001720 case SECCOMP_IOCTL_NOTIF_ID_VALID_WRONG_DIR:
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001721 case SECCOMP_IOCTL_NOTIF_ID_VALID:
1722 return seccomp_notify_id_valid(filter, buf);
Sargun Dhillon7cf97b12020-06-02 18:10:43 -07001723 }
1724
1725 /* Extensible Argument ioctls */
1726#define EA_IOCTL(cmd) ((cmd) & ~(IOC_INOUT | IOCSIZE_MASK))
1727 switch (EA_IOCTL(cmd)) {
1728 case EA_IOCTL(SECCOMP_IOCTL_NOTIF_ADDFD):
1729 return seccomp_notify_addfd(filter, buf, _IOC_SIZE(cmd));
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001730 default:
1731 return -EINVAL;
1732 }
1733}
1734
1735static __poll_t seccomp_notify_poll(struct file *file,
1736 struct poll_table_struct *poll_tab)
1737{
1738 struct seccomp_filter *filter = file->private_data;
1739 __poll_t ret = 0;
1740 struct seccomp_knotif *cur;
1741
Christian Brauner76194c42020-06-01 11:50:07 -07001742 poll_wait(file, &filter->wqh, poll_tab);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001743
Tycho Andersen319deec2018-12-12 19:46:54 -07001744 if (mutex_lock_interruptible(&filter->notify_lock) < 0)
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001745 return EPOLLERR;
1746
1747 list_for_each_entry(cur, &filter->notif->notifications, list) {
1748 if (cur->state == SECCOMP_NOTIFY_INIT)
1749 ret |= EPOLLIN | EPOLLRDNORM;
1750 if (cur->state == SECCOMP_NOTIFY_SENT)
1751 ret |= EPOLLOUT | EPOLLWRNORM;
1752 if ((ret & EPOLLIN) && (ret & EPOLLOUT))
1753 break;
1754 }
1755
1756 mutex_unlock(&filter->notify_lock);
1757
Christian Brauner99cdb8b2020-05-31 13:50:30 +02001758 if (refcount_read(&filter->users) == 0)
1759 ret |= EPOLLHUP;
1760
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001761 return ret;
1762}
1763
1764static const struct file_operations seccomp_notify_ops = {
1765 .poll = seccomp_notify_poll,
1766 .release = seccomp_notify_release,
1767 .unlocked_ioctl = seccomp_notify_ioctl,
Sven Schnelle3db81af2020-03-10 13:33:32 +01001768 .compat_ioctl = seccomp_notify_ioctl,
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001769};
1770
1771static struct file *init_listener(struct seccomp_filter *filter)
1772{
Jann Horndfe719f2020-10-05 03:44:01 +02001773 struct file *ret;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001774
1775 ret = ERR_PTR(-ENOMEM);
1776 filter->notif = kzalloc(sizeof(*(filter->notif)), GFP_KERNEL);
1777 if (!filter->notif)
1778 goto out;
1779
1780 sema_init(&filter->notif->request, 0);
1781 filter->notif->next_id = get_random_u64();
1782 INIT_LIST_HEAD(&filter->notif->notifications);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001783
1784 ret = anon_inode_getfile("seccomp notify", &seccomp_notify_ops,
1785 filter, O_RDWR);
1786 if (IS_ERR(ret))
1787 goto out_notif;
1788
1789 /* The file has a reference to it now */
1790 __get_seccomp_filter(filter);
1791
1792out_notif:
1793 if (IS_ERR(ret))
Tycho Andersene8393172020-09-02 08:09:53 -06001794 seccomp_notify_free(filter);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001795out:
1796 return ret;
1797}
1798
Jann Horndfe719f2020-10-05 03:44:01 +02001799/*
1800 * Does @new_child have a listener while an ancestor also has a listener?
1801 * If so, we'll want to reject this filter.
1802 * This only has to be tested for the current process, even in the TSYNC case,
1803 * because TSYNC installs @child with the same parent on all threads.
1804 * Note that @new_child is not hooked up to its parent at this point yet, so
1805 * we use current->seccomp.filter.
1806 */
1807static bool has_duplicate_listener(struct seccomp_filter *new_child)
1808{
1809 struct seccomp_filter *cur;
1810
1811 /* must be protected against concurrent TSYNC */
1812 lockdep_assert_held(&current->sighand->siglock);
1813
1814 if (!new_child->notif)
1815 return false;
1816 for (cur = current->seccomp.filter; cur; cur = cur->prev) {
1817 if (cur->notif)
1818 return true;
1819 }
1820
1821 return false;
1822}
1823
Kees Cook3b23dd12014-06-25 15:55:25 -07001824/**
1825 * seccomp_set_mode_filter: internal function for setting seccomp filter
Kees Cook48dc92b2014-06-25 16:08:24 -07001826 * @flags: flags to change filter behavior
Kees Cook3b23dd12014-06-25 15:55:25 -07001827 * @filter: struct sock_fprog containing filter
1828 *
1829 * This function may be called repeatedly to install additional filters.
1830 * Every filter successfully installed will be evaluated (in reverse order)
1831 * for each system call the task makes.
1832 *
1833 * Once current->seccomp.mode is non-zero, it may not be changed.
1834 *
1835 * Returns 0 on success or -EINVAL on failure.
1836 */
Kees Cook48dc92b2014-06-25 16:08:24 -07001837static long seccomp_set_mode_filter(unsigned int flags,
1838 const char __user *filter)
Kees Cook3b23dd12014-06-25 15:55:25 -07001839{
1840 const unsigned long seccomp_mode = SECCOMP_MODE_FILTER;
Kees Cookc8bee432014-06-27 15:16:33 -07001841 struct seccomp_filter *prepared = NULL;
Kees Cook3b23dd12014-06-25 15:55:25 -07001842 long ret = -EINVAL;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001843 int listener = -1;
1844 struct file *listener_f = NULL;
Kees Cook3b23dd12014-06-25 15:55:25 -07001845
Kees Cook48dc92b2014-06-25 16:08:24 -07001846 /* Validate flags. */
Kees Cookc2e1f2e2014-06-05 00:23:17 -07001847 if (flags & ~SECCOMP_FILTER_FLAG_MASK)
Kees Cookdbd952122014-06-27 15:18:48 -07001848 return -EINVAL;
Kees Cook48dc92b2014-06-25 16:08:24 -07001849
Tycho Andersen7a0df7f2019-03-06 13:14:13 -07001850 /*
1851 * In the successful case, NEW_LISTENER returns the new listener fd.
1852 * But in the failure case, TSYNC returns the thread that died. If you
1853 * combine these two flags, there's no way to tell whether something
Tycho Andersen51891492020-03-04 11:05:17 -07001854 * succeeded or failed. So, let's disallow this combination if the user
1855 * has not explicitly requested no errors from TSYNC.
Tycho Andersen7a0df7f2019-03-06 13:14:13 -07001856 */
1857 if ((flags & SECCOMP_FILTER_FLAG_TSYNC) &&
Tycho Andersen51891492020-03-04 11:05:17 -07001858 (flags & SECCOMP_FILTER_FLAG_NEW_LISTENER) &&
1859 ((flags & SECCOMP_FILTER_FLAG_TSYNC_ESRCH) == 0))
Tycho Andersen7a0df7f2019-03-06 13:14:13 -07001860 return -EINVAL;
1861
Sargun Dhillonc2aa2df2022-05-03 01:09:56 -07001862 /*
1863 * The SECCOMP_FILTER_FLAG_WAIT_KILLABLE_SENT flag doesn't make sense
1864 * without the SECCOMP_FILTER_FLAG_NEW_LISTENER flag.
1865 */
1866 if ((flags & SECCOMP_FILTER_FLAG_WAIT_KILLABLE_RECV) &&
1867 ((flags & SECCOMP_FILTER_FLAG_NEW_LISTENER) == 0))
1868 return -EINVAL;
1869
Kees Cookc8bee432014-06-27 15:16:33 -07001870 /* Prepare the new filter before holding any locks. */
1871 prepared = seccomp_prepare_user_filter(filter);
1872 if (IS_ERR(prepared))
1873 return PTR_ERR(prepared);
1874
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001875 if (flags & SECCOMP_FILTER_FLAG_NEW_LISTENER) {
1876 listener = get_unused_fd_flags(O_CLOEXEC);
1877 if (listener < 0) {
1878 ret = listener;
1879 goto out_free;
1880 }
1881
1882 listener_f = init_listener(prepared);
1883 if (IS_ERR(listener_f)) {
1884 put_unused_fd(listener);
1885 ret = PTR_ERR(listener_f);
1886 goto out_free;
1887 }
1888 }
1889
Kees Cookc2e1f2e2014-06-05 00:23:17 -07001890 /*
1891 * Make sure we cannot change seccomp or nnp state via TSYNC
1892 * while another thread is in the middle of calling exec.
1893 */
1894 if (flags & SECCOMP_FILTER_FLAG_TSYNC &&
1895 mutex_lock_killable(&current->signal->cred_guard_mutex))
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001896 goto out_put_fd;
Kees Cookc2e1f2e2014-06-05 00:23:17 -07001897
Kees Cookdbd952122014-06-27 15:18:48 -07001898 spin_lock_irq(&current->sighand->siglock);
1899
Kees Cook3b23dd12014-06-25 15:55:25 -07001900 if (!seccomp_may_assign_mode(seccomp_mode))
Will Drewrye2cfabdf2012-04-12 16:47:57 -05001901 goto out;
Kees Cook3b23dd12014-06-25 15:55:25 -07001902
Jann Horndfe719f2020-10-05 03:44:01 +02001903 if (has_duplicate_listener(prepared)) {
1904 ret = -EBUSY;
1905 goto out;
1906 }
1907
Kees Cookc8bee432014-06-27 15:16:33 -07001908 ret = seccomp_attach_filter(flags, prepared);
Kees Cook3b23dd12014-06-25 15:55:25 -07001909 if (ret)
1910 goto out;
Kees Cookc8bee432014-06-27 15:16:33 -07001911 /* Do not free the successfully attached filter. */
1912 prepared = NULL;
Andrea Arcangeli1d9d02f2007-07-15 23:41:32 -07001913
Kees Cook00a02d02018-05-03 14:56:12 -07001914 seccomp_assign_mode(current, seccomp_mode, flags);
Will Drewrye2cfabdf2012-04-12 16:47:57 -05001915out:
Kees Cookdbd952122014-06-27 15:18:48 -07001916 spin_unlock_irq(&current->sighand->siglock);
Kees Cookc2e1f2e2014-06-05 00:23:17 -07001917 if (flags & SECCOMP_FILTER_FLAG_TSYNC)
1918 mutex_unlock(&current->signal->cred_guard_mutex);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001919out_put_fd:
1920 if (flags & SECCOMP_FILTER_FLAG_NEW_LISTENER) {
Tycho Andersen7a0df7f2019-03-06 13:14:13 -07001921 if (ret) {
Tycho Andersena811dc62019-01-12 11:24:20 -07001922 listener_f->private_data = NULL;
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001923 fput(listener_f);
1924 put_unused_fd(listener);
Tycho Andersena566a902020-09-01 19:40:16 -06001925 seccomp_notify_detach(prepared);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001926 } else {
1927 fd_install(listener, listener_f);
1928 ret = listener;
1929 }
1930 }
Kees Cookc2e1f2e2014-06-05 00:23:17 -07001931out_free:
Kees Cookc8bee432014-06-27 15:16:33 -07001932 seccomp_filter_free(prepared);
Andrea Arcangeli1d9d02f2007-07-15 23:41:32 -07001933 return ret;
1934}
Kees Cook3b23dd12014-06-25 15:55:25 -07001935#else
Kees Cook48dc92b2014-06-25 16:08:24 -07001936static inline long seccomp_set_mode_filter(unsigned int flags,
1937 const char __user *filter)
Kees Cook3b23dd12014-06-25 15:55:25 -07001938{
1939 return -EINVAL;
1940}
1941#endif
Kees Cookd78ab022014-05-21 15:02:11 -07001942
Tyler Hicksd612b1f2017-08-11 04:33:53 +00001943static long seccomp_get_action_avail(const char __user *uaction)
1944{
1945 u32 action;
1946
1947 if (copy_from_user(&action, uaction, sizeof(action)))
1948 return -EFAULT;
1949
1950 switch (action) {
Kees Cook0466bdb2017-08-11 13:12:11 -07001951 case SECCOMP_RET_KILL_PROCESS:
Kees Cookfd768752017-08-11 12:53:18 -07001952 case SECCOMP_RET_KILL_THREAD:
Tyler Hicksd612b1f2017-08-11 04:33:53 +00001953 case SECCOMP_RET_TRAP:
1954 case SECCOMP_RET_ERRNO:
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001955 case SECCOMP_RET_USER_NOTIF:
Tyler Hicksd612b1f2017-08-11 04:33:53 +00001956 case SECCOMP_RET_TRACE:
Tyler Hicks59f5cf42017-08-11 04:33:57 +00001957 case SECCOMP_RET_LOG:
Tyler Hicksd612b1f2017-08-11 04:33:53 +00001958 case SECCOMP_RET_ALLOW:
1959 break;
1960 default:
1961 return -EOPNOTSUPP;
1962 }
1963
1964 return 0;
1965}
1966
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001967static long seccomp_get_notif_sizes(void __user *usizes)
1968{
1969 struct seccomp_notif_sizes sizes = {
1970 .seccomp_notif = sizeof(struct seccomp_notif),
1971 .seccomp_notif_resp = sizeof(struct seccomp_notif_resp),
1972 .seccomp_data = sizeof(struct seccomp_data),
1973 };
1974
1975 if (copy_to_user(usizes, &sizes, sizeof(sizes)))
1976 return -EFAULT;
1977
1978 return 0;
1979}
1980
Kees Cook48dc92b2014-06-25 16:08:24 -07001981/* Common entry point for both prctl and syscall. */
1982static long do_seccomp(unsigned int op, unsigned int flags,
Tycho Andersena5662e42018-12-09 11:24:12 -07001983 void __user *uargs)
Kees Cook48dc92b2014-06-25 16:08:24 -07001984{
1985 switch (op) {
1986 case SECCOMP_SET_MODE_STRICT:
1987 if (flags != 0 || uargs != NULL)
1988 return -EINVAL;
1989 return seccomp_set_mode_strict();
1990 case SECCOMP_SET_MODE_FILTER:
1991 return seccomp_set_mode_filter(flags, uargs);
Tyler Hicksd612b1f2017-08-11 04:33:53 +00001992 case SECCOMP_GET_ACTION_AVAIL:
1993 if (flags != 0)
1994 return -EINVAL;
1995
1996 return seccomp_get_action_avail(uargs);
Tycho Andersen6a21cc52018-12-09 11:24:13 -07001997 case SECCOMP_GET_NOTIF_SIZES:
1998 if (flags != 0)
1999 return -EINVAL;
2000
2001 return seccomp_get_notif_sizes(uargs);
Kees Cook48dc92b2014-06-25 16:08:24 -07002002 default:
2003 return -EINVAL;
2004 }
2005}
2006
2007SYSCALL_DEFINE3(seccomp, unsigned int, op, unsigned int, flags,
Tycho Andersena5662e42018-12-09 11:24:12 -07002008 void __user *, uargs)
Kees Cook48dc92b2014-06-25 16:08:24 -07002009{
2010 return do_seccomp(op, flags, uargs);
2011}
2012
Kees Cookd78ab022014-05-21 15:02:11 -07002013/**
2014 * prctl_set_seccomp: configures current->seccomp.mode
2015 * @seccomp_mode: requested mode to use
2016 * @filter: optional struct sock_fprog for use with SECCOMP_MODE_FILTER
2017 *
2018 * Returns 0 on success or -EINVAL on failure.
2019 */
Tycho Andersena5662e42018-12-09 11:24:12 -07002020long prctl_set_seccomp(unsigned long seccomp_mode, void __user *filter)
Kees Cookd78ab022014-05-21 15:02:11 -07002021{
Kees Cook48dc92b2014-06-25 16:08:24 -07002022 unsigned int op;
Tycho Andersena5662e42018-12-09 11:24:12 -07002023 void __user *uargs;
Kees Cook48dc92b2014-06-25 16:08:24 -07002024
Kees Cook3b23dd12014-06-25 15:55:25 -07002025 switch (seccomp_mode) {
2026 case SECCOMP_MODE_STRICT:
Kees Cook48dc92b2014-06-25 16:08:24 -07002027 op = SECCOMP_SET_MODE_STRICT;
2028 /*
2029 * Setting strict mode through prctl always ignored filter,
2030 * so make sure it is always NULL here to pass the internal
2031 * check in do_seccomp().
2032 */
2033 uargs = NULL;
2034 break;
Kees Cook3b23dd12014-06-25 15:55:25 -07002035 case SECCOMP_MODE_FILTER:
Kees Cook48dc92b2014-06-25 16:08:24 -07002036 op = SECCOMP_SET_MODE_FILTER;
2037 uargs = filter;
2038 break;
Kees Cook3b23dd12014-06-25 15:55:25 -07002039 default:
2040 return -EINVAL;
2041 }
Kees Cook48dc92b2014-06-25 16:08:24 -07002042
2043 /* prctl interface doesn't have flags, so they are always zero. */
2044 return do_seccomp(op, 0, uargs);
Kees Cookd78ab022014-05-21 15:02:11 -07002045}
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002046
2047#if defined(CONFIG_SECCOMP_FILTER) && defined(CONFIG_CHECKPOINT_RESTORE)
Tycho Andersenf06eae82017-10-11 09:39:20 -06002048static struct seccomp_filter *get_nth_filter(struct task_struct *task,
2049 unsigned long filter_off)
2050{
2051 struct seccomp_filter *orig, *filter;
2052 unsigned long count;
2053
2054 /*
2055 * Note: this is only correct because the caller should be the (ptrace)
2056 * tracer of the task, otherwise lock_task_sighand is needed.
2057 */
2058 spin_lock_irq(&task->sighand->siglock);
2059
2060 if (task->seccomp.mode != SECCOMP_MODE_FILTER) {
2061 spin_unlock_irq(&task->sighand->siglock);
2062 return ERR_PTR(-EINVAL);
2063 }
2064
2065 orig = task->seccomp.filter;
2066 __get_seccomp_filter(orig);
2067 spin_unlock_irq(&task->sighand->siglock);
2068
2069 count = 0;
2070 for (filter = orig; filter; filter = filter->prev)
2071 count++;
2072
2073 if (filter_off >= count) {
2074 filter = ERR_PTR(-ENOENT);
2075 goto out;
2076 }
2077
2078 count -= filter_off;
2079 for (filter = orig; filter && count > 1; filter = filter->prev)
2080 count--;
2081
2082 if (WARN_ON(count != 1 || !filter)) {
2083 filter = ERR_PTR(-ENOENT);
2084 goto out;
2085 }
2086
2087 __get_seccomp_filter(filter);
2088
2089out:
2090 __put_seccomp_filter(orig);
2091 return filter;
2092}
2093
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002094long seccomp_get_filter(struct task_struct *task, unsigned long filter_off,
2095 void __user *data)
2096{
2097 struct seccomp_filter *filter;
2098 struct sock_fprog_kern *fprog;
2099 long ret;
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002100
2101 if (!capable(CAP_SYS_ADMIN) ||
2102 current->seccomp.mode != SECCOMP_MODE_DISABLED) {
2103 return -EACCES;
2104 }
2105
Tycho Andersenf06eae82017-10-11 09:39:20 -06002106 filter = get_nth_filter(task, filter_off);
2107 if (IS_ERR(filter))
2108 return PTR_ERR(filter);
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002109
2110 fprog = filter->prog->orig_prog;
2111 if (!fprog) {
Mickaël Salaün470bf1f2016-03-24 02:46:33 +01002112 /* This must be a new non-cBPF filter, since we save
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002113 * every cBPF filter's orig_prog above when
2114 * CONFIG_CHECKPOINT_RESTORE is enabled.
2115 */
2116 ret = -EMEDIUMTYPE;
2117 goto out;
2118 }
2119
2120 ret = fprog->len;
2121 if (!data)
2122 goto out;
2123
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002124 if (copy_to_user(data, fprog->filter, bpf_classic_proglen(fprog)))
2125 ret = -EFAULT;
2126
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002127out:
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +00002128 __put_seccomp_filter(filter);
2129 return ret;
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002130}
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002131
Tycho Andersen26500472017-10-11 09:39:21 -06002132long seccomp_get_metadata(struct task_struct *task,
2133 unsigned long size, void __user *data)
2134{
2135 long ret;
2136 struct seccomp_filter *filter;
2137 struct seccomp_metadata kmd = {};
2138
2139 if (!capable(CAP_SYS_ADMIN) ||
2140 current->seccomp.mode != SECCOMP_MODE_DISABLED) {
2141 return -EACCES;
2142 }
2143
2144 size = min_t(unsigned long, size, sizeof(kmd));
2145
Tycho Andersen63bb0042018-02-20 19:47:46 -07002146 if (size < sizeof(kmd.filter_off))
2147 return -EINVAL;
2148
2149 if (copy_from_user(&kmd.filter_off, data, sizeof(kmd.filter_off)))
Tycho Andersen26500472017-10-11 09:39:21 -06002150 return -EFAULT;
2151
2152 filter = get_nth_filter(task, kmd.filter_off);
2153 if (IS_ERR(filter))
2154 return PTR_ERR(filter);
2155
Tycho Andersen26500472017-10-11 09:39:21 -06002156 if (filter->log)
2157 kmd.flags |= SECCOMP_FILTER_FLAG_LOG;
2158
2159 ret = size;
2160 if (copy_to_user(data, &kmd, size))
2161 ret = -EFAULT;
2162
2163 __put_seccomp_filter(filter);
Tycho Andersenf8e529ed2015-10-27 09:23:59 +09002164 return ret;
2165}
2166#endif
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +00002167
2168#ifdef CONFIG_SYSCTL
2169
2170/* Human readable action names for friendly sysctl interaction */
Kees Cook0466bdb2017-08-11 13:12:11 -07002171#define SECCOMP_RET_KILL_PROCESS_NAME "kill_process"
Kees Cookfd768752017-08-11 12:53:18 -07002172#define SECCOMP_RET_KILL_THREAD_NAME "kill_thread"
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +00002173#define SECCOMP_RET_TRAP_NAME "trap"
2174#define SECCOMP_RET_ERRNO_NAME "errno"
Tycho Andersen6a21cc52018-12-09 11:24:13 -07002175#define SECCOMP_RET_USER_NOTIF_NAME "user_notif"
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +00002176#define SECCOMP_RET_TRACE_NAME "trace"
Tyler Hicks59f5cf42017-08-11 04:33:57 +00002177#define SECCOMP_RET_LOG_NAME "log"
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +00002178#define SECCOMP_RET_ALLOW_NAME "allow"
2179
Kees Cookfd768752017-08-11 12:53:18 -07002180static const char seccomp_actions_avail[] =
Kees Cook0466bdb2017-08-11 13:12:11 -07002181 SECCOMP_RET_KILL_PROCESS_NAME " "
Kees Cookfd768752017-08-11 12:53:18 -07002182 SECCOMP_RET_KILL_THREAD_NAME " "
2183 SECCOMP_RET_TRAP_NAME " "
2184 SECCOMP_RET_ERRNO_NAME " "
Tycho Andersen6a21cc52018-12-09 11:24:13 -07002185 SECCOMP_RET_USER_NOTIF_NAME " "
Kees Cookfd768752017-08-11 12:53:18 -07002186 SECCOMP_RET_TRACE_NAME " "
2187 SECCOMP_RET_LOG_NAME " "
2188 SECCOMP_RET_ALLOW_NAME;
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +00002189
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002190struct seccomp_log_name {
2191 u32 log;
2192 const char *name;
2193};
2194
2195static const struct seccomp_log_name seccomp_log_names[] = {
Kees Cook0466bdb2017-08-11 13:12:11 -07002196 { SECCOMP_LOG_KILL_PROCESS, SECCOMP_RET_KILL_PROCESS_NAME },
Kees Cookfd768752017-08-11 12:53:18 -07002197 { SECCOMP_LOG_KILL_THREAD, SECCOMP_RET_KILL_THREAD_NAME },
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002198 { SECCOMP_LOG_TRAP, SECCOMP_RET_TRAP_NAME },
2199 { SECCOMP_LOG_ERRNO, SECCOMP_RET_ERRNO_NAME },
Tycho Andersen6a21cc52018-12-09 11:24:13 -07002200 { SECCOMP_LOG_USER_NOTIF, SECCOMP_RET_USER_NOTIF_NAME },
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002201 { SECCOMP_LOG_TRACE, SECCOMP_RET_TRACE_NAME },
Tyler Hicks59f5cf42017-08-11 04:33:57 +00002202 { SECCOMP_LOG_LOG, SECCOMP_RET_LOG_NAME },
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002203 { SECCOMP_LOG_ALLOW, SECCOMP_RET_ALLOW_NAME },
2204 { }
2205};
2206
2207static bool seccomp_names_from_actions_logged(char *names, size_t size,
Tyler Hicksbeb44ac2018-05-04 01:08:13 +00002208 u32 actions_logged,
2209 const char *sep)
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002210{
2211 const struct seccomp_log_name *cur;
Tyler Hicksbeb44ac2018-05-04 01:08:13 +00002212 bool append_sep = false;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002213
2214 for (cur = seccomp_log_names; cur->name && size; cur++) {
2215 ssize_t ret;
2216
2217 if (!(actions_logged & cur->log))
2218 continue;
2219
Tyler Hicksbeb44ac2018-05-04 01:08:13 +00002220 if (append_sep) {
2221 ret = strscpy(names, sep, size);
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002222 if (ret < 0)
2223 return false;
2224
2225 names += ret;
2226 size -= ret;
2227 } else
Tyler Hicksbeb44ac2018-05-04 01:08:13 +00002228 append_sep = true;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002229
2230 ret = strscpy(names, cur->name, size);
2231 if (ret < 0)
2232 return false;
2233
2234 names += ret;
2235 size -= ret;
2236 }
2237
2238 return true;
2239}
2240
2241static bool seccomp_action_logged_from_name(u32 *action_logged,
2242 const char *name)
2243{
2244 const struct seccomp_log_name *cur;
2245
2246 for (cur = seccomp_log_names; cur->name; cur++) {
2247 if (!strcmp(cur->name, name)) {
2248 *action_logged = cur->log;
2249 return true;
2250 }
2251 }
2252
2253 return false;
2254}
2255
2256static bool seccomp_actions_logged_from_names(u32 *actions_logged, char *names)
2257{
2258 char *name;
2259
2260 *actions_logged = 0;
2261 while ((name = strsep(&names, " ")) && *name) {
2262 u32 action_logged = 0;
2263
2264 if (!seccomp_action_logged_from_name(&action_logged, name))
2265 return false;
2266
2267 *actions_logged |= action_logged;
2268 }
2269
2270 return true;
2271}
2272
Jann Hornfab686e2020-11-20 18:05:45 +01002273static int read_actions_logged(struct ctl_table *ro_table, void *buffer,
Tyler Hicksd013db02018-05-04 01:08:12 +00002274 size_t *lenp, loff_t *ppos)
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002275{
2276 char names[sizeof(seccomp_actions_avail)];
2277 struct ctl_table table;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002278
2279 memset(names, 0, sizeof(names));
2280
Tyler Hicksd013db02018-05-04 01:08:12 +00002281 if (!seccomp_names_from_actions_logged(names, sizeof(names),
Tyler Hicksbeb44ac2018-05-04 01:08:13 +00002282 seccomp_actions_logged, " "))
Tyler Hicksd013db02018-05-04 01:08:12 +00002283 return -EINVAL;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002284
2285 table = *ro_table;
2286 table.data = names;
2287 table.maxlen = sizeof(names);
Tyler Hicksd013db02018-05-04 01:08:12 +00002288 return proc_dostring(&table, 0, buffer, lenp, ppos);
2289}
2290
Jann Hornfab686e2020-11-20 18:05:45 +01002291static int write_actions_logged(struct ctl_table *ro_table, void *buffer,
Tyler Hicksea6eca72018-05-04 01:08:14 +00002292 size_t *lenp, loff_t *ppos, u32 *actions_logged)
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002293{
2294 char names[sizeof(seccomp_actions_avail)];
2295 struct ctl_table table;
2296 int ret;
2297
Tyler Hicksd013db02018-05-04 01:08:12 +00002298 if (!capable(CAP_SYS_ADMIN))
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002299 return -EPERM;
2300
2301 memset(names, 0, sizeof(names));
2302
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002303 table = *ro_table;
2304 table.data = names;
2305 table.maxlen = sizeof(names);
Tyler Hicksd013db02018-05-04 01:08:12 +00002306 ret = proc_dostring(&table, 1, buffer, lenp, ppos);
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002307 if (ret)
2308 return ret;
2309
Tyler Hicksea6eca72018-05-04 01:08:14 +00002310 if (!seccomp_actions_logged_from_names(actions_logged, table.data))
Tyler Hicksd013db02018-05-04 01:08:12 +00002311 return -EINVAL;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002312
Tyler Hicksea6eca72018-05-04 01:08:14 +00002313 if (*actions_logged & SECCOMP_LOG_ALLOW)
Tyler Hicksd013db02018-05-04 01:08:12 +00002314 return -EINVAL;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002315
Tyler Hicksea6eca72018-05-04 01:08:14 +00002316 seccomp_actions_logged = *actions_logged;
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002317 return 0;
2318}
2319
Tyler Hicksea6eca72018-05-04 01:08:14 +00002320static void audit_actions_logged(u32 actions_logged, u32 old_actions_logged,
2321 int ret)
2322{
2323 char names[sizeof(seccomp_actions_avail)];
2324 char old_names[sizeof(seccomp_actions_avail)];
2325 const char *new = names;
2326 const char *old = old_names;
2327
2328 if (!audit_enabled)
2329 return;
2330
2331 memset(names, 0, sizeof(names));
2332 memset(old_names, 0, sizeof(old_names));
2333
2334 if (ret)
2335 new = "?";
2336 else if (!actions_logged)
2337 new = "(none)";
2338 else if (!seccomp_names_from_actions_logged(names, sizeof(names),
2339 actions_logged, ","))
2340 new = "?";
2341
2342 if (!old_actions_logged)
2343 old = "(none)";
2344 else if (!seccomp_names_from_actions_logged(old_names,
2345 sizeof(old_names),
2346 old_actions_logged, ","))
2347 old = "?";
2348
2349 return audit_seccomp_actions_logged(new, old, !ret);
2350}
2351
Tyler Hicksd013db02018-05-04 01:08:12 +00002352static int seccomp_actions_logged_handler(struct ctl_table *ro_table, int write,
Christoph Hellwig32927392020-04-24 08:43:38 +02002353 void *buffer, size_t *lenp,
Tyler Hicksd013db02018-05-04 01:08:12 +00002354 loff_t *ppos)
2355{
Tyler Hicksea6eca72018-05-04 01:08:14 +00002356 int ret;
2357
2358 if (write) {
2359 u32 actions_logged = 0;
2360 u32 old_actions_logged = seccomp_actions_logged;
2361
2362 ret = write_actions_logged(ro_table, buffer, lenp, ppos,
2363 &actions_logged);
2364 audit_actions_logged(actions_logged, old_actions_logged, ret);
2365 } else
2366 ret = read_actions_logged(ro_table, buffer, lenp, ppos);
2367
2368 return ret;
Tyler Hicksd013db02018-05-04 01:08:12 +00002369}
2370
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +00002371static struct ctl_path seccomp_sysctl_path[] = {
2372 { .procname = "kernel", },
2373 { .procname = "seccomp", },
2374 { }
2375};
2376
2377static struct ctl_table seccomp_sysctl_table[] = {
2378 {
2379 .procname = "actions_avail",
2380 .data = (void *) &seccomp_actions_avail,
2381 .maxlen = sizeof(seccomp_actions_avail),
2382 .mode = 0444,
2383 .proc_handler = proc_dostring,
2384 },
Tyler Hicks0ddec0f2017-08-11 04:33:54 +00002385 {
2386 .procname = "actions_logged",
2387 .mode = 0644,
2388 .proc_handler = seccomp_actions_logged_handler,
2389 },
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +00002390 { }
2391};
2392
2393static int __init seccomp_sysctl_init(void)
2394{
2395 struct ctl_table_header *hdr;
2396
2397 hdr = register_sysctl_paths(seccomp_sysctl_path, seccomp_sysctl_table);
2398 if (!hdr)
Kees Cooke68f9d42020-06-15 22:02:56 -07002399 pr_warn("sysctl registration failed\n");
Tyler Hicks8e5f1ad2017-08-11 04:33:52 +00002400 else
2401 kmemleak_not_leak(hdr);
2402
2403 return 0;
2404}
2405
2406device_initcall(seccomp_sysctl_init)
2407
2408#endif /* CONFIG_SYSCTL */
YiFei Zhu0d8315d2020-11-11 07:33:54 -06002409
2410#ifdef CONFIG_SECCOMP_CACHE_DEBUG
2411/* Currently CONFIG_SECCOMP_CACHE_DEBUG implies SECCOMP_ARCH_NATIVE */
2412static void proc_pid_seccomp_cache_arch(struct seq_file *m, const char *name,
2413 const void *bitmap, size_t bitmap_size)
2414{
2415 int nr;
2416
2417 for (nr = 0; nr < bitmap_size; nr++) {
2418 bool cached = test_bit(nr, bitmap);
2419 char *status = cached ? "ALLOW" : "FILTER";
2420
2421 seq_printf(m, "%s %d %s\n", name, nr, status);
2422 }
2423}
2424
2425int proc_pid_seccomp_cache(struct seq_file *m, struct pid_namespace *ns,
2426 struct pid *pid, struct task_struct *task)
2427{
2428 struct seccomp_filter *f;
2429 unsigned long flags;
2430
2431 /*
2432 * We don't want some sandboxed process to know what their seccomp
2433 * filters consist of.
2434 */
2435 if (!file_ns_capable(m->file, &init_user_ns, CAP_SYS_ADMIN))
2436 return -EACCES;
2437
2438 if (!lock_task_sighand(task, &flags))
2439 return -ESRCH;
2440
2441 f = READ_ONCE(task->seccomp.filter);
2442 if (!f) {
2443 unlock_task_sighand(task, &flags);
2444 return 0;
2445 }
2446
2447 /* prevent filter from being freed while we are printing it */
2448 __get_seccomp_filter(f);
2449 unlock_task_sighand(task, &flags);
2450
2451 proc_pid_seccomp_cache_arch(m, SECCOMP_ARCH_NATIVE_NAME,
2452 f->cache.allow_native,
2453 SECCOMP_ARCH_NATIVE_NR);
2454
2455#ifdef SECCOMP_ARCH_COMPAT
2456 proc_pid_seccomp_cache_arch(m, SECCOMP_ARCH_COMPAT_NAME,
2457 f->cache.allow_compat,
2458 SECCOMP_ARCH_COMPAT_NR);
2459#endif /* SECCOMP_ARCH_COMPAT */
2460
2461 __put_seccomp_filter(f);
2462 return 0;
2463}
2464#endif /* CONFIG_SECCOMP_CACHE_DEBUG */