Linux Audio

Check our new training course

Loading...
Note: File does not exist in v4.6.
  1// SPDX-License-Identifier: GPL-2.0
  2
  3/*
  4 * Copyright (C) 2020 Google LLC.
  5 */
  6
  7#include <linux/filter.h>
  8#include <linux/bpf.h>
  9#include <linux/btf.h>
 10#include <linux/binfmts.h>
 11#include <linux/lsm_hooks.h>
 12#include <linux/bpf_lsm.h>
 13#include <linux/kallsyms.h>
 14#include <net/bpf_sk_storage.h>
 15#include <linux/bpf_local_storage.h>
 16#include <linux/btf_ids.h>
 17#include <linux/ima.h>
 18#include <linux/bpf-cgroup.h>
 19
 20/* For every LSM hook that allows attachment of BPF programs, declare a nop
 21 * function where a BPF program can be attached.
 22 */
 23#define LSM_HOOK(RET, DEFAULT, NAME, ...)	\
 24noinline RET bpf_lsm_##NAME(__VA_ARGS__)	\
 25{						\
 26	return DEFAULT;				\
 27}
 28
 29#include <linux/lsm_hook_defs.h>
 30#undef LSM_HOOK
 31
 32#define LSM_HOOK(RET, DEFAULT, NAME, ...) BTF_ID(func, bpf_lsm_##NAME)
 33BTF_SET_START(bpf_lsm_hooks)
 34#include <linux/lsm_hook_defs.h>
 35#undef LSM_HOOK
 36BTF_SET_END(bpf_lsm_hooks)
 37
 38BTF_SET_START(bpf_lsm_disabled_hooks)
 39BTF_ID(func, bpf_lsm_vm_enough_memory)
 40BTF_ID(func, bpf_lsm_inode_need_killpriv)
 41BTF_ID(func, bpf_lsm_inode_getsecurity)
 42BTF_ID(func, bpf_lsm_inode_listsecurity)
 43BTF_ID(func, bpf_lsm_inode_copy_up_xattr)
 44BTF_ID(func, bpf_lsm_getselfattr)
 45BTF_ID(func, bpf_lsm_getprocattr)
 46BTF_ID(func, bpf_lsm_setprocattr)
 47#ifdef CONFIG_KEYS
 48BTF_ID(func, bpf_lsm_key_getsecurity)
 49#endif
 50#ifdef CONFIG_AUDIT
 51BTF_ID(func, bpf_lsm_audit_rule_match)
 52#endif
 53BTF_ID(func, bpf_lsm_ismaclabel)
 54BTF_SET_END(bpf_lsm_disabled_hooks)
 55
 56/* List of LSM hooks that should operate on 'current' cgroup regardless
 57 * of function signature.
 58 */
 59BTF_SET_START(bpf_lsm_current_hooks)
 60/* operate on freshly allocated sk without any cgroup association */
 61#ifdef CONFIG_SECURITY_NETWORK
 62BTF_ID(func, bpf_lsm_sk_alloc_security)
 63BTF_ID(func, bpf_lsm_sk_free_security)
 64#endif
 65BTF_SET_END(bpf_lsm_current_hooks)
 66
 67/* List of LSM hooks that trigger while the socket is properly locked.
 68 */
 69BTF_SET_START(bpf_lsm_locked_sockopt_hooks)
 70#ifdef CONFIG_SECURITY_NETWORK
 71BTF_ID(func, bpf_lsm_sock_graft)
 72BTF_ID(func, bpf_lsm_inet_csk_clone)
 73BTF_ID(func, bpf_lsm_inet_conn_established)
 74#endif
 75BTF_SET_END(bpf_lsm_locked_sockopt_hooks)
 76
 77/* List of LSM hooks that trigger while the socket is _not_ locked,
 78 * but it's ok to call bpf_{g,s}etsockopt because the socket is still
 79 * in the early init phase.
 80 */
 81BTF_SET_START(bpf_lsm_unlocked_sockopt_hooks)
 82#ifdef CONFIG_SECURITY_NETWORK
 83BTF_ID(func, bpf_lsm_socket_post_create)
 84BTF_ID(func, bpf_lsm_socket_socketpair)
 85#endif
 86BTF_SET_END(bpf_lsm_unlocked_sockopt_hooks)
 87
 88#ifdef CONFIG_CGROUP_BPF
 89void bpf_lsm_find_cgroup_shim(const struct bpf_prog *prog,
 90			     bpf_func_t *bpf_func)
 91{
 92	const struct btf_param *args __maybe_unused;
 93
 94	if (btf_type_vlen(prog->aux->attach_func_proto) < 1 ||
 95	    btf_id_set_contains(&bpf_lsm_current_hooks,
 96				prog->aux->attach_btf_id)) {
 97		*bpf_func = __cgroup_bpf_run_lsm_current;
 98		return;
 99	}
100
101#ifdef CONFIG_NET
102	args = btf_params(prog->aux->attach_func_proto);
103
104	if (args[0].type == btf_sock_ids[BTF_SOCK_TYPE_SOCKET])
105		*bpf_func = __cgroup_bpf_run_lsm_socket;
106	else if (args[0].type == btf_sock_ids[BTF_SOCK_TYPE_SOCK])
107		*bpf_func = __cgroup_bpf_run_lsm_sock;
108	else
109#endif
110		*bpf_func = __cgroup_bpf_run_lsm_current;
111}
112#endif
113
114int bpf_lsm_verify_prog(struct bpf_verifier_log *vlog,
115			const struct bpf_prog *prog)
116{
117	u32 btf_id = prog->aux->attach_btf_id;
118	const char *func_name = prog->aux->attach_func_name;
119
120	if (!prog->gpl_compatible) {
121		bpf_log(vlog,
122			"LSM programs must have a GPL compatible license\n");
123		return -EINVAL;
124	}
125
126	if (btf_id_set_contains(&bpf_lsm_disabled_hooks, btf_id)) {
127		bpf_log(vlog, "attach_btf_id %u points to disabled hook %s\n",
128			btf_id, func_name);
129		return -EINVAL;
130	}
131
132	if (!btf_id_set_contains(&bpf_lsm_hooks, btf_id)) {
133		bpf_log(vlog, "attach_btf_id %u points to wrong type name %s\n",
134			btf_id, func_name);
135		return -EINVAL;
136	}
137
138	return 0;
139}
140
141/* Mask for all the currently supported BPRM option flags */
142#define BPF_F_BRPM_OPTS_MASK	BPF_F_BPRM_SECUREEXEC
143
144BPF_CALL_2(bpf_bprm_opts_set, struct linux_binprm *, bprm, u64, flags)
145{
146	if (flags & ~BPF_F_BRPM_OPTS_MASK)
147		return -EINVAL;
148
149	bprm->secureexec = (flags & BPF_F_BPRM_SECUREEXEC);
150	return 0;
151}
152
153BTF_ID_LIST_SINGLE(bpf_bprm_opts_set_btf_ids, struct, linux_binprm)
154
155static const struct bpf_func_proto bpf_bprm_opts_set_proto = {
156	.func		= bpf_bprm_opts_set,
157	.gpl_only	= false,
158	.ret_type	= RET_INTEGER,
159	.arg1_type	= ARG_PTR_TO_BTF_ID,
160	.arg1_btf_id	= &bpf_bprm_opts_set_btf_ids[0],
161	.arg2_type	= ARG_ANYTHING,
162};
163
164BPF_CALL_3(bpf_ima_inode_hash, struct inode *, inode, void *, dst, u32, size)
165{
166	return ima_inode_hash(inode, dst, size);
167}
168
169static bool bpf_ima_inode_hash_allowed(const struct bpf_prog *prog)
170{
171	return bpf_lsm_is_sleepable_hook(prog->aux->attach_btf_id);
172}
173
174BTF_ID_LIST_SINGLE(bpf_ima_inode_hash_btf_ids, struct, inode)
175
176static const struct bpf_func_proto bpf_ima_inode_hash_proto = {
177	.func		= bpf_ima_inode_hash,
178	.gpl_only	= false,
179	.might_sleep	= true,
180	.ret_type	= RET_INTEGER,
181	.arg1_type	= ARG_PTR_TO_BTF_ID,
182	.arg1_btf_id	= &bpf_ima_inode_hash_btf_ids[0],
183	.arg2_type	= ARG_PTR_TO_UNINIT_MEM,
184	.arg3_type	= ARG_CONST_SIZE,
185	.allowed	= bpf_ima_inode_hash_allowed,
186};
187
188BPF_CALL_3(bpf_ima_file_hash, struct file *, file, void *, dst, u32, size)
189{
190	return ima_file_hash(file, dst, size);
191}
192
193BTF_ID_LIST_SINGLE(bpf_ima_file_hash_btf_ids, struct, file)
194
195static const struct bpf_func_proto bpf_ima_file_hash_proto = {
196	.func		= bpf_ima_file_hash,
197	.gpl_only	= false,
198	.might_sleep	= true,
199	.ret_type	= RET_INTEGER,
200	.arg1_type	= ARG_PTR_TO_BTF_ID,
201	.arg1_btf_id	= &bpf_ima_file_hash_btf_ids[0],
202	.arg2_type	= ARG_PTR_TO_UNINIT_MEM,
203	.arg3_type	= ARG_CONST_SIZE,
204	.allowed	= bpf_ima_inode_hash_allowed,
205};
206
207BPF_CALL_1(bpf_get_attach_cookie, void *, ctx)
208{
209	struct bpf_trace_run_ctx *run_ctx;
210
211	run_ctx = container_of(current->bpf_ctx, struct bpf_trace_run_ctx, run_ctx);
212	return run_ctx->bpf_cookie;
213}
214
215static const struct bpf_func_proto bpf_get_attach_cookie_proto = {
216	.func		= bpf_get_attach_cookie,
217	.gpl_only	= false,
218	.ret_type	= RET_INTEGER,
219	.arg1_type	= ARG_PTR_TO_CTX,
220};
221
222static const struct bpf_func_proto *
223bpf_lsm_func_proto(enum bpf_func_id func_id, const struct bpf_prog *prog)
224{
225	const struct bpf_func_proto *func_proto;
226
227	if (prog->expected_attach_type == BPF_LSM_CGROUP) {
228		func_proto = cgroup_common_func_proto(func_id, prog);
229		if (func_proto)
230			return func_proto;
231	}
232
233	switch (func_id) {
234	case BPF_FUNC_inode_storage_get:
235		return &bpf_inode_storage_get_proto;
236	case BPF_FUNC_inode_storage_delete:
237		return &bpf_inode_storage_delete_proto;
238#ifdef CONFIG_NET
239	case BPF_FUNC_sk_storage_get:
240		return &bpf_sk_storage_get_proto;
241	case BPF_FUNC_sk_storage_delete:
242		return &bpf_sk_storage_delete_proto;
243#endif /* CONFIG_NET */
244	case BPF_FUNC_spin_lock:
245		return &bpf_spin_lock_proto;
246	case BPF_FUNC_spin_unlock:
247		return &bpf_spin_unlock_proto;
248	case BPF_FUNC_bprm_opts_set:
249		return &bpf_bprm_opts_set_proto;
250	case BPF_FUNC_ima_inode_hash:
251		return &bpf_ima_inode_hash_proto;
252	case BPF_FUNC_ima_file_hash:
253		return &bpf_ima_file_hash_proto;
254	case BPF_FUNC_get_attach_cookie:
255		return bpf_prog_has_trampoline(prog) ? &bpf_get_attach_cookie_proto : NULL;
256#ifdef CONFIG_NET
257	case BPF_FUNC_setsockopt:
258		if (prog->expected_attach_type != BPF_LSM_CGROUP)
259			return NULL;
260		if (btf_id_set_contains(&bpf_lsm_locked_sockopt_hooks,
261					prog->aux->attach_btf_id))
262			return &bpf_sk_setsockopt_proto;
263		if (btf_id_set_contains(&bpf_lsm_unlocked_sockopt_hooks,
264					prog->aux->attach_btf_id))
265			return &bpf_unlocked_sk_setsockopt_proto;
266		return NULL;
267	case BPF_FUNC_getsockopt:
268		if (prog->expected_attach_type != BPF_LSM_CGROUP)
269			return NULL;
270		if (btf_id_set_contains(&bpf_lsm_locked_sockopt_hooks,
271					prog->aux->attach_btf_id))
272			return &bpf_sk_getsockopt_proto;
273		if (btf_id_set_contains(&bpf_lsm_unlocked_sockopt_hooks,
274					prog->aux->attach_btf_id))
275			return &bpf_unlocked_sk_getsockopt_proto;
276		return NULL;
277#endif
278	default:
279		return tracing_prog_func_proto(func_id, prog);
280	}
281}
282
283/* The set of hooks which are called without pagefaults disabled and are allowed
284 * to "sleep" and thus can be used for sleepable BPF programs.
285 */
286BTF_SET_START(sleepable_lsm_hooks)
287BTF_ID(func, bpf_lsm_bpf)
288BTF_ID(func, bpf_lsm_bpf_map)
289BTF_ID(func, bpf_lsm_bpf_map_create)
290BTF_ID(func, bpf_lsm_bpf_map_free)
291BTF_ID(func, bpf_lsm_bpf_prog)
292BTF_ID(func, bpf_lsm_bpf_prog_load)
293BTF_ID(func, bpf_lsm_bpf_prog_free)
294BTF_ID(func, bpf_lsm_bpf_token_create)
295BTF_ID(func, bpf_lsm_bpf_token_free)
296BTF_ID(func, bpf_lsm_bpf_token_cmd)
297BTF_ID(func, bpf_lsm_bpf_token_capable)
298BTF_ID(func, bpf_lsm_bprm_check_security)
299BTF_ID(func, bpf_lsm_bprm_committed_creds)
300BTF_ID(func, bpf_lsm_bprm_committing_creds)
301BTF_ID(func, bpf_lsm_bprm_creds_for_exec)
302BTF_ID(func, bpf_lsm_bprm_creds_from_file)
303BTF_ID(func, bpf_lsm_capget)
304BTF_ID(func, bpf_lsm_capset)
305BTF_ID(func, bpf_lsm_cred_prepare)
306BTF_ID(func, bpf_lsm_file_ioctl)
307BTF_ID(func, bpf_lsm_file_lock)
308BTF_ID(func, bpf_lsm_file_open)
309BTF_ID(func, bpf_lsm_file_post_open)
310BTF_ID(func, bpf_lsm_file_receive)
311
312BTF_ID(func, bpf_lsm_inode_create)
313BTF_ID(func, bpf_lsm_inode_free_security)
314BTF_ID(func, bpf_lsm_inode_getattr)
315BTF_ID(func, bpf_lsm_inode_getxattr)
316BTF_ID(func, bpf_lsm_inode_mknod)
317BTF_ID(func, bpf_lsm_inode_need_killpriv)
318BTF_ID(func, bpf_lsm_inode_post_setxattr)
319BTF_ID(func, bpf_lsm_inode_readlink)
320BTF_ID(func, bpf_lsm_inode_rename)
321BTF_ID(func, bpf_lsm_inode_rmdir)
322BTF_ID(func, bpf_lsm_inode_setattr)
323BTF_ID(func, bpf_lsm_inode_setxattr)
324BTF_ID(func, bpf_lsm_inode_symlink)
325BTF_ID(func, bpf_lsm_inode_unlink)
326BTF_ID(func, bpf_lsm_kernel_module_request)
327BTF_ID(func, bpf_lsm_kernel_read_file)
328BTF_ID(func, bpf_lsm_kernfs_init_security)
329
330#ifdef CONFIG_SECURITY_PATH
331BTF_ID(func, bpf_lsm_path_unlink)
332BTF_ID(func, bpf_lsm_path_mkdir)
333BTF_ID(func, bpf_lsm_path_rmdir)
334BTF_ID(func, bpf_lsm_path_truncate)
335BTF_ID(func, bpf_lsm_path_symlink)
336BTF_ID(func, bpf_lsm_path_link)
337BTF_ID(func, bpf_lsm_path_rename)
338BTF_ID(func, bpf_lsm_path_chmod)
339BTF_ID(func, bpf_lsm_path_chown)
340#endif /* CONFIG_SECURITY_PATH */
341
342BTF_ID(func, bpf_lsm_mmap_file)
343BTF_ID(func, bpf_lsm_netlink_send)
344BTF_ID(func, bpf_lsm_path_notify)
345BTF_ID(func, bpf_lsm_release_secctx)
346BTF_ID(func, bpf_lsm_sb_alloc_security)
347BTF_ID(func, bpf_lsm_sb_eat_lsm_opts)
348BTF_ID(func, bpf_lsm_sb_kern_mount)
349BTF_ID(func, bpf_lsm_sb_mount)
350BTF_ID(func, bpf_lsm_sb_remount)
351BTF_ID(func, bpf_lsm_sb_set_mnt_opts)
352BTF_ID(func, bpf_lsm_sb_show_options)
353BTF_ID(func, bpf_lsm_sb_statfs)
354BTF_ID(func, bpf_lsm_sb_umount)
355BTF_ID(func, bpf_lsm_settime)
356
357#ifdef CONFIG_SECURITY_NETWORK
358BTF_ID(func, bpf_lsm_inet_conn_established)
359
360BTF_ID(func, bpf_lsm_socket_accept)
361BTF_ID(func, bpf_lsm_socket_bind)
362BTF_ID(func, bpf_lsm_socket_connect)
363BTF_ID(func, bpf_lsm_socket_create)
364BTF_ID(func, bpf_lsm_socket_getpeername)
365BTF_ID(func, bpf_lsm_socket_getpeersec_dgram)
366BTF_ID(func, bpf_lsm_socket_getsockname)
367BTF_ID(func, bpf_lsm_socket_getsockopt)
368BTF_ID(func, bpf_lsm_socket_listen)
369BTF_ID(func, bpf_lsm_socket_post_create)
370BTF_ID(func, bpf_lsm_socket_recvmsg)
371BTF_ID(func, bpf_lsm_socket_sendmsg)
372BTF_ID(func, bpf_lsm_socket_shutdown)
373BTF_ID(func, bpf_lsm_socket_socketpair)
374#endif /* CONFIG_SECURITY_NETWORK */
375
376BTF_ID(func, bpf_lsm_syslog)
377BTF_ID(func, bpf_lsm_task_alloc)
378BTF_ID(func, bpf_lsm_task_prctl)
379BTF_ID(func, bpf_lsm_task_setscheduler)
380BTF_ID(func, bpf_lsm_task_to_inode)
381BTF_ID(func, bpf_lsm_userns_create)
382BTF_SET_END(sleepable_lsm_hooks)
383
384BTF_SET_START(untrusted_lsm_hooks)
385BTF_ID(func, bpf_lsm_bpf_map_free)
386BTF_ID(func, bpf_lsm_bpf_prog_free)
387BTF_ID(func, bpf_lsm_file_alloc_security)
388BTF_ID(func, bpf_lsm_file_free_security)
389#ifdef CONFIG_SECURITY_NETWORK
390BTF_ID(func, bpf_lsm_sk_alloc_security)
391BTF_ID(func, bpf_lsm_sk_free_security)
392#endif /* CONFIG_SECURITY_NETWORK */
393BTF_ID(func, bpf_lsm_task_free)
394BTF_SET_END(untrusted_lsm_hooks)
395
396bool bpf_lsm_is_sleepable_hook(u32 btf_id)
397{
398	return btf_id_set_contains(&sleepable_lsm_hooks, btf_id);
399}
400
401bool bpf_lsm_is_trusted(const struct bpf_prog *prog)
402{
403	return !btf_id_set_contains(&untrusted_lsm_hooks, prog->aux->attach_btf_id);
404}
405
406const struct bpf_prog_ops lsm_prog_ops = {
407};
408
409const struct bpf_verifier_ops lsm_verifier_ops = {
410	.get_func_proto = bpf_lsm_func_proto,
411	.is_valid_access = btf_ctx_access,
412};
413
414/* hooks return 0 or 1 */
415BTF_SET_START(bool_lsm_hooks)
416#ifdef CONFIG_SECURITY_NETWORK_XFRM
417BTF_ID(func, bpf_lsm_xfrm_state_pol_flow_match)
418#endif
419#ifdef CONFIG_AUDIT
420BTF_ID(func, bpf_lsm_audit_rule_known)
421#endif
422BTF_ID(func, bpf_lsm_inode_xattr_skipcap)
423BTF_SET_END(bool_lsm_hooks)
424
425int bpf_lsm_get_retval_range(const struct bpf_prog *prog,
426			     struct bpf_retval_range *retval_range)
427{
428	/* no return value range for void hooks */
429	if (!prog->aux->attach_func_proto->type)
430		return -EINVAL;
431
432	if (btf_id_set_contains(&bool_lsm_hooks, prog->aux->attach_btf_id)) {
433		retval_range->minval = 0;
434		retval_range->maxval = 1;
435	} else {
436		/* All other available LSM hooks, except task_prctl, return 0
437		 * on success and negative error code on failure.
438		 * To keep things simple, we only allow bpf progs to return 0
439		 * or negative errno for task_prctl too.
440		 */
441		retval_range->minval = -MAX_ERRNO;
442		retval_range->maxval = 0;
443	}
444	return 0;
445}