blob: 3fff82ca68fa3739fe4b4a4a2cf30c6ca5805d55 [file] [log] [blame]
Alexei Starovoitov99c55f72014-09-26 00:16:57 -07001/* Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com
2 *
3 * This program is free software; you can redistribute it and/or
4 * modify it under the terms of version 2 of the GNU General Public
5 * License as published by the Free Software Foundation.
6 *
7 * This program is distributed in the hope that it will be useful, but
8 * WITHOUT ANY WARRANTY; without even the implied warranty of
9 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
10 * General Public License for more details.
11 */
12#include <linux/bpf.h>
13#include <linux/syscalls.h>
14#include <linux/slab.h>
15#include <linux/anon_inodes.h>
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -070016#include <linux/file.h>
Alexei Starovoitov09756af2014-09-26 00:17:00 -070017#include <linux/license.h>
18#include <linux/filter.h>
Alexei Starovoitov25415172015-03-25 12:49:20 -070019#include <linux/version.h>
Alexei Starovoitov99c55f72014-09-26 00:16:57 -070020
Alexei Starovoitov1be7f752015-10-07 22:23:21 -070021int sysctl_unprivileged_bpf_disabled __read_mostly;
22
Alexei Starovoitov99c55f72014-09-26 00:16:57 -070023static LIST_HEAD(bpf_map_types);
24
25static struct bpf_map *find_and_alloc_map(union bpf_attr *attr)
26{
27 struct bpf_map_type_list *tl;
28 struct bpf_map *map;
29
30 list_for_each_entry(tl, &bpf_map_types, list_node) {
31 if (tl->type == attr->map_type) {
32 map = tl->ops->map_alloc(attr);
33 if (IS_ERR(map))
34 return map;
35 map->ops = tl->ops;
36 map->map_type = attr->map_type;
37 return map;
38 }
39 }
40 return ERR_PTR(-EINVAL);
41}
42
43/* boot time registration of different map implementations */
44void bpf_register_map_type(struct bpf_map_type_list *tl)
45{
46 list_add(&tl->list_node, &bpf_map_types);
47}
48
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -070049static int bpf_map_charge_memlock(struct bpf_map *map)
50{
51 struct user_struct *user = get_current_user();
52 unsigned long memlock_limit;
53
54 memlock_limit = rlimit(RLIMIT_MEMLOCK) >> PAGE_SHIFT;
55
56 atomic_long_add(map->pages, &user->locked_vm);
57
58 if (atomic_long_read(&user->locked_vm) > memlock_limit) {
59 atomic_long_sub(map->pages, &user->locked_vm);
60 free_uid(user);
61 return -EPERM;
62 }
63 map->user = user;
64 return 0;
65}
66
67static void bpf_map_uncharge_memlock(struct bpf_map *map)
68{
69 struct user_struct *user = map->user;
70
71 atomic_long_sub(map->pages, &user->locked_vm);
72 free_uid(user);
73}
74
Alexei Starovoitov99c55f72014-09-26 00:16:57 -070075/* called from workqueue */
76static void bpf_map_free_deferred(struct work_struct *work)
77{
78 struct bpf_map *map = container_of(work, struct bpf_map, work);
79
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -070080 bpf_map_uncharge_memlock(map);
Alexei Starovoitov99c55f72014-09-26 00:16:57 -070081 /* implementation dependent freeing */
82 map->ops->map_free(map);
83}
84
85/* decrement map refcnt and schedule it for freeing via workqueue
86 * (unrelying map implementation ops->map_free() might sleep)
87 */
88void bpf_map_put(struct bpf_map *map)
89{
90 if (atomic_dec_and_test(&map->refcnt)) {
91 INIT_WORK(&map->work, bpf_map_free_deferred);
92 schedule_work(&map->work);
93 }
94}
95
96static int bpf_map_release(struct inode *inode, struct file *filp)
97{
98 struct bpf_map *map = filp->private_data;
99
Alexei Starovoitov04fd61a2015-05-19 16:59:03 -0700100 if (map->map_type == BPF_MAP_TYPE_PROG_ARRAY)
101 /* prog_array stores refcnt-ed bpf_prog pointers
102 * release them all when user space closes prog_array_fd
103 */
Wang Nan2a36f0b2015-08-06 07:02:33 +0000104 bpf_fd_array_map_clear(map);
Alexei Starovoitov04fd61a2015-05-19 16:59:03 -0700105
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700106 bpf_map_put(map);
107 return 0;
108}
109
110static const struct file_operations bpf_map_fops = {
111 .release = bpf_map_release,
112};
113
Daniel Borkmannaa797812015-10-29 14:58:06 +0100114static int bpf_map_new_fd(struct bpf_map *map)
115{
116 return anon_inode_getfd("bpf-map", &bpf_map_fops, map,
117 O_RDWR | O_CLOEXEC);
118}
119
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700120/* helper macro to check that unused fields 'union bpf_attr' are zero */
121#define CHECK_ATTR(CMD) \
122 memchr_inv((void *) &attr->CMD##_LAST_FIELD + \
123 sizeof(attr->CMD##_LAST_FIELD), 0, \
124 sizeof(*attr) - \
125 offsetof(union bpf_attr, CMD##_LAST_FIELD) - \
126 sizeof(attr->CMD##_LAST_FIELD)) != NULL
127
128#define BPF_MAP_CREATE_LAST_FIELD max_entries
129/* called via syscall */
130static int map_create(union bpf_attr *attr)
131{
132 struct bpf_map *map;
133 int err;
134
135 err = CHECK_ATTR(BPF_MAP_CREATE);
136 if (err)
137 return -EINVAL;
138
139 /* find map type and init map: hashtable vs rbtree vs bloom vs ... */
140 map = find_and_alloc_map(attr);
141 if (IS_ERR(map))
142 return PTR_ERR(map);
143
144 atomic_set(&map->refcnt, 1);
145
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700146 err = bpf_map_charge_memlock(map);
147 if (err)
148 goto free_map;
149
Daniel Borkmannaa797812015-10-29 14:58:06 +0100150 err = bpf_map_new_fd(map);
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700151 if (err < 0)
152 /* failed to allocate fd */
153 goto free_map;
154
155 return err;
156
157free_map:
158 map->ops->map_free(map);
159 return err;
160}
161
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700162/* if error is returned, fd is released.
163 * On success caller should complete fd access with matching fdput()
164 */
Daniel Borkmannc2101292015-10-29 14:58:07 +0100165struct bpf_map *__bpf_map_get(struct fd f)
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700166{
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700167 if (!f.file)
168 return ERR_PTR(-EBADF);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700169 if (f.file->f_op != &bpf_map_fops) {
170 fdput(f);
171 return ERR_PTR(-EINVAL);
172 }
173
Daniel Borkmannc2101292015-10-29 14:58:07 +0100174 return f.file->private_data;
175}
176
177static struct bpf_map *bpf_map_get(u32 ufd)
178{
179 struct fd f = fdget(ufd);
180 struct bpf_map *map;
181
182 map = __bpf_map_get(f);
183 if (IS_ERR(map))
184 return map;
185
186 atomic_inc(&map->refcnt);
187 fdput(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700188
189 return map;
190}
191
192/* helper to convert user pointers passed inside __aligned_u64 fields */
193static void __user *u64_to_ptr(__u64 val)
194{
195 return (void __user *) (unsigned long) val;
196}
197
198/* last field in 'union bpf_attr' used by this command */
199#define BPF_MAP_LOOKUP_ELEM_LAST_FIELD value
200
201static int map_lookup_elem(union bpf_attr *attr)
202{
203 void __user *ukey = u64_to_ptr(attr->key);
204 void __user *uvalue = u64_to_ptr(attr->value);
205 int ufd = attr->map_fd;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700206 struct bpf_map *map;
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800207 void *key, *value, *ptr;
Daniel Borkmann592867b2015-09-08 18:00:09 +0200208 struct fd f;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700209 int err;
210
211 if (CHECK_ATTR(BPF_MAP_LOOKUP_ELEM))
212 return -EINVAL;
213
Daniel Borkmann592867b2015-09-08 18:00:09 +0200214 f = fdget(ufd);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100215 map = __bpf_map_get(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700216 if (IS_ERR(map))
217 return PTR_ERR(map);
218
219 err = -ENOMEM;
220 key = kmalloc(map->key_size, GFP_USER);
221 if (!key)
222 goto err_put;
223
224 err = -EFAULT;
225 if (copy_from_user(key, ukey, map->key_size) != 0)
226 goto free_key;
227
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800228 err = -ENOMEM;
229 value = kmalloc(map->value_size, GFP_USER);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700230 if (!value)
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800231 goto free_key;
232
233 rcu_read_lock();
234 ptr = map->ops->map_lookup_elem(map, key);
235 if (ptr)
236 memcpy(value, ptr, map->value_size);
237 rcu_read_unlock();
238
239 err = -ENOENT;
240 if (!ptr)
241 goto free_value;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700242
243 err = -EFAULT;
244 if (copy_to_user(uvalue, value, map->value_size) != 0)
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800245 goto free_value;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700246
247 err = 0;
248
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800249free_value:
250 kfree(value);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700251free_key:
252 kfree(key);
253err_put:
254 fdput(f);
255 return err;
256}
257
Alexei Starovoitov3274f522014-11-13 17:36:44 -0800258#define BPF_MAP_UPDATE_ELEM_LAST_FIELD flags
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700259
260static int map_update_elem(union bpf_attr *attr)
261{
262 void __user *ukey = u64_to_ptr(attr->key);
263 void __user *uvalue = u64_to_ptr(attr->value);
264 int ufd = attr->map_fd;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700265 struct bpf_map *map;
266 void *key, *value;
Daniel Borkmann592867b2015-09-08 18:00:09 +0200267 struct fd f;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700268 int err;
269
270 if (CHECK_ATTR(BPF_MAP_UPDATE_ELEM))
271 return -EINVAL;
272
Daniel Borkmann592867b2015-09-08 18:00:09 +0200273 f = fdget(ufd);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100274 map = __bpf_map_get(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700275 if (IS_ERR(map))
276 return PTR_ERR(map);
277
278 err = -ENOMEM;
279 key = kmalloc(map->key_size, GFP_USER);
280 if (!key)
281 goto err_put;
282
283 err = -EFAULT;
284 if (copy_from_user(key, ukey, map->key_size) != 0)
285 goto free_key;
286
287 err = -ENOMEM;
288 value = kmalloc(map->value_size, GFP_USER);
289 if (!value)
290 goto free_key;
291
292 err = -EFAULT;
293 if (copy_from_user(value, uvalue, map->value_size) != 0)
294 goto free_value;
295
296 /* eBPF program that use maps are running under rcu_read_lock(),
297 * therefore all map accessors rely on this fact, so do the same here
298 */
299 rcu_read_lock();
Alexei Starovoitov3274f522014-11-13 17:36:44 -0800300 err = map->ops->map_update_elem(map, key, value, attr->flags);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700301 rcu_read_unlock();
302
303free_value:
304 kfree(value);
305free_key:
306 kfree(key);
307err_put:
308 fdput(f);
309 return err;
310}
311
312#define BPF_MAP_DELETE_ELEM_LAST_FIELD key
313
314static int map_delete_elem(union bpf_attr *attr)
315{
316 void __user *ukey = u64_to_ptr(attr->key);
317 int ufd = attr->map_fd;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700318 struct bpf_map *map;
Daniel Borkmann592867b2015-09-08 18:00:09 +0200319 struct fd f;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700320 void *key;
321 int err;
322
323 if (CHECK_ATTR(BPF_MAP_DELETE_ELEM))
324 return -EINVAL;
325
Daniel Borkmann592867b2015-09-08 18:00:09 +0200326 f = fdget(ufd);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100327 map = __bpf_map_get(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700328 if (IS_ERR(map))
329 return PTR_ERR(map);
330
331 err = -ENOMEM;
332 key = kmalloc(map->key_size, GFP_USER);
333 if (!key)
334 goto err_put;
335
336 err = -EFAULT;
337 if (copy_from_user(key, ukey, map->key_size) != 0)
338 goto free_key;
339
340 rcu_read_lock();
341 err = map->ops->map_delete_elem(map, key);
342 rcu_read_unlock();
343
344free_key:
345 kfree(key);
346err_put:
347 fdput(f);
348 return err;
349}
350
351/* last field in 'union bpf_attr' used by this command */
352#define BPF_MAP_GET_NEXT_KEY_LAST_FIELD next_key
353
354static int map_get_next_key(union bpf_attr *attr)
355{
356 void __user *ukey = u64_to_ptr(attr->key);
357 void __user *unext_key = u64_to_ptr(attr->next_key);
358 int ufd = attr->map_fd;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700359 struct bpf_map *map;
360 void *key, *next_key;
Daniel Borkmann592867b2015-09-08 18:00:09 +0200361 struct fd f;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700362 int err;
363
364 if (CHECK_ATTR(BPF_MAP_GET_NEXT_KEY))
365 return -EINVAL;
366
Daniel Borkmann592867b2015-09-08 18:00:09 +0200367 f = fdget(ufd);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100368 map = __bpf_map_get(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700369 if (IS_ERR(map))
370 return PTR_ERR(map);
371
372 err = -ENOMEM;
373 key = kmalloc(map->key_size, GFP_USER);
374 if (!key)
375 goto err_put;
376
377 err = -EFAULT;
378 if (copy_from_user(key, ukey, map->key_size) != 0)
379 goto free_key;
380
381 err = -ENOMEM;
382 next_key = kmalloc(map->key_size, GFP_USER);
383 if (!next_key)
384 goto free_key;
385
386 rcu_read_lock();
387 err = map->ops->map_get_next_key(map, key, next_key);
388 rcu_read_unlock();
389 if (err)
390 goto free_next_key;
391
392 err = -EFAULT;
393 if (copy_to_user(unext_key, next_key, map->key_size) != 0)
394 goto free_next_key;
395
396 err = 0;
397
398free_next_key:
399 kfree(next_key);
400free_key:
401 kfree(key);
402err_put:
403 fdput(f);
404 return err;
405}
406
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700407static LIST_HEAD(bpf_prog_types);
408
409static int find_prog_type(enum bpf_prog_type type, struct bpf_prog *prog)
410{
411 struct bpf_prog_type_list *tl;
412
413 list_for_each_entry(tl, &bpf_prog_types, list_node) {
414 if (tl->type == type) {
415 prog->aux->ops = tl->ops;
Daniel Borkmann24701ec2015-03-01 12:31:47 +0100416 prog->type = type;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700417 return 0;
418 }
419 }
Daniel Borkmann24701ec2015-03-01 12:31:47 +0100420
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700421 return -EINVAL;
422}
423
424void bpf_register_prog_type(struct bpf_prog_type_list *tl)
425{
426 list_add(&tl->list_node, &bpf_prog_types);
427}
428
Alexei Starovoitov0a542a82014-09-26 00:17:01 -0700429/* fixup insn->imm field of bpf_call instructions:
430 * if (insn->imm == BPF_FUNC_map_lookup_elem)
431 * insn->imm = bpf_map_lookup_elem - __bpf_call_base;
432 * else if (insn->imm == BPF_FUNC_map_update_elem)
433 * insn->imm = bpf_map_update_elem - __bpf_call_base;
434 * else ...
435 *
436 * this function is called after eBPF program passed verification
437 */
438static void fixup_bpf_calls(struct bpf_prog *prog)
439{
440 const struct bpf_func_proto *fn;
441 int i;
442
443 for (i = 0; i < prog->len; i++) {
444 struct bpf_insn *insn = &prog->insnsi[i];
445
446 if (insn->code == (BPF_JMP | BPF_CALL)) {
447 /* we reach here when program has bpf_call instructions
448 * and it passed bpf_check(), means that
449 * ops->get_func_proto must have been supplied, check it
450 */
451 BUG_ON(!prog->aux->ops->get_func_proto);
452
Daniel Borkmannc46646d2015-09-30 01:41:51 +0200453 if (insn->imm == BPF_FUNC_get_route_realm)
454 prog->dst_needed = 1;
Daniel Borkmann3ad00402015-10-08 01:20:39 +0200455 if (insn->imm == BPF_FUNC_get_prandom_u32)
456 bpf_user_rnd_init_once();
Alexei Starovoitov04fd61a2015-05-19 16:59:03 -0700457 if (insn->imm == BPF_FUNC_tail_call) {
458 /* mark bpf_tail_call as different opcode
459 * to avoid conditional branch in
460 * interpeter for every normal call
461 * and to prevent accidental JITing by
462 * JIT compiler that doesn't support
463 * bpf_tail_call yet
464 */
465 insn->imm = 0;
466 insn->code |= BPF_X;
467 continue;
468 }
469
Alexei Starovoitov0a542a82014-09-26 00:17:01 -0700470 fn = prog->aux->ops->get_func_proto(insn->imm);
471 /* all functions that have prototype and verifier allowed
472 * programs to call them, must be real in-kernel functions
473 */
474 BUG_ON(!fn->func);
475 insn->imm = fn->func - __bpf_call_base;
476 }
477 }
478}
479
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700480/* drop refcnt on maps used by eBPF program and free auxilary data */
481static void free_used_maps(struct bpf_prog_aux *aux)
482{
483 int i;
484
485 for (i = 0; i < aux->used_map_cnt; i++)
486 bpf_map_put(aux->used_maps[i]);
487
488 kfree(aux->used_maps);
489}
490
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700491static int bpf_prog_charge_memlock(struct bpf_prog *prog)
492{
493 struct user_struct *user = get_current_user();
494 unsigned long memlock_limit;
495
496 memlock_limit = rlimit(RLIMIT_MEMLOCK) >> PAGE_SHIFT;
497
498 atomic_long_add(prog->pages, &user->locked_vm);
499 if (atomic_long_read(&user->locked_vm) > memlock_limit) {
500 atomic_long_sub(prog->pages, &user->locked_vm);
501 free_uid(user);
502 return -EPERM;
503 }
504 prog->aux->user = user;
505 return 0;
506}
507
508static void bpf_prog_uncharge_memlock(struct bpf_prog *prog)
509{
510 struct user_struct *user = prog->aux->user;
511
512 atomic_long_sub(prog->pages, &user->locked_vm);
513 free_uid(user);
514}
515
Alexei Starovoitovabf2e7d2015-05-28 19:26:02 -0700516static void __prog_put_rcu(struct rcu_head *rcu)
517{
518 struct bpf_prog_aux *aux = container_of(rcu, struct bpf_prog_aux, rcu);
519
520 free_used_maps(aux);
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700521 bpf_prog_uncharge_memlock(aux->prog);
Alexei Starovoitovabf2e7d2015-05-28 19:26:02 -0700522 bpf_prog_free(aux->prog);
523}
524
525/* version of bpf_prog_put() that is called after a grace period */
526void bpf_prog_put_rcu(struct bpf_prog *prog)
527{
528 if (atomic_dec_and_test(&prog->aux->refcnt)) {
529 prog->aux->prog = prog;
530 call_rcu(&prog->aux->rcu, __prog_put_rcu);
531 }
532}
533
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700534void bpf_prog_put(struct bpf_prog *prog)
535{
536 if (atomic_dec_and_test(&prog->aux->refcnt)) {
537 free_used_maps(prog->aux);
Tom Herbertac007372015-10-14 14:40:44 -0700538 bpf_prog_uncharge_memlock(prog);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700539 bpf_prog_free(prog);
540 }
541}
Daniel Borkmanne2e9b652015-03-01 12:31:48 +0100542EXPORT_SYMBOL_GPL(bpf_prog_put);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700543
544static int bpf_prog_release(struct inode *inode, struct file *filp)
545{
546 struct bpf_prog *prog = filp->private_data;
547
Alexei Starovoitovabf2e7d2015-05-28 19:26:02 -0700548 bpf_prog_put_rcu(prog);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700549 return 0;
550}
551
552static const struct file_operations bpf_prog_fops = {
553 .release = bpf_prog_release,
554};
555
Daniel Borkmannaa797812015-10-29 14:58:06 +0100556static int bpf_prog_new_fd(struct bpf_prog *prog)
557{
558 return anon_inode_getfd("bpf-prog", &bpf_prog_fops, prog,
559 O_RDWR | O_CLOEXEC);
560}
561
Daniel Borkmannc2101292015-10-29 14:58:07 +0100562static struct bpf_prog *__bpf_prog_get(struct fd f)
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700563{
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700564 if (!f.file)
565 return ERR_PTR(-EBADF);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700566 if (f.file->f_op != &bpf_prog_fops) {
567 fdput(f);
568 return ERR_PTR(-EINVAL);
569 }
570
Daniel Borkmannc2101292015-10-29 14:58:07 +0100571 return f.file->private_data;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700572}
573
574/* called by sockets/tracing/seccomp before attaching program to an event
575 * pairs with bpf_prog_put()
576 */
577struct bpf_prog *bpf_prog_get(u32 ufd)
578{
579 struct fd f = fdget(ufd);
580 struct bpf_prog *prog;
581
Daniel Borkmannc2101292015-10-29 14:58:07 +0100582 prog = __bpf_prog_get(f);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700583 if (IS_ERR(prog))
584 return prog;
585
586 atomic_inc(&prog->aux->refcnt);
587 fdput(f);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100588
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700589 return prog;
590}
Daniel Borkmanne2e9b652015-03-01 12:31:48 +0100591EXPORT_SYMBOL_GPL(bpf_prog_get);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700592
593/* last field in 'union bpf_attr' used by this command */
Alexei Starovoitov25415172015-03-25 12:49:20 -0700594#define BPF_PROG_LOAD_LAST_FIELD kern_version
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700595
596static int bpf_prog_load(union bpf_attr *attr)
597{
598 enum bpf_prog_type type = attr->prog_type;
599 struct bpf_prog *prog;
600 int err;
601 char license[128];
602 bool is_gpl;
603
604 if (CHECK_ATTR(BPF_PROG_LOAD))
605 return -EINVAL;
606
607 /* copy eBPF program license from user space */
608 if (strncpy_from_user(license, u64_to_ptr(attr->license),
609 sizeof(license) - 1) < 0)
610 return -EFAULT;
611 license[sizeof(license) - 1] = 0;
612
613 /* eBPF programs must be GPL compatible to use GPL-ed functions */
614 is_gpl = license_is_gpl_compatible(license);
615
616 if (attr->insn_cnt >= BPF_MAXINSNS)
617 return -EINVAL;
618
Alexei Starovoitov25415172015-03-25 12:49:20 -0700619 if (type == BPF_PROG_TYPE_KPROBE &&
620 attr->kern_version != LINUX_VERSION_CODE)
621 return -EINVAL;
622
Alexei Starovoitov1be7f752015-10-07 22:23:21 -0700623 if (type != BPF_PROG_TYPE_SOCKET_FILTER && !capable(CAP_SYS_ADMIN))
624 return -EPERM;
625
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700626 /* plain bpf_prog allocation */
627 prog = bpf_prog_alloc(bpf_prog_size(attr->insn_cnt), GFP_USER);
628 if (!prog)
629 return -ENOMEM;
630
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700631 err = bpf_prog_charge_memlock(prog);
632 if (err)
633 goto free_prog_nouncharge;
634
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700635 prog->len = attr->insn_cnt;
636
637 err = -EFAULT;
638 if (copy_from_user(prog->insns, u64_to_ptr(attr->insns),
639 prog->len * sizeof(struct bpf_insn)) != 0)
640 goto free_prog;
641
642 prog->orig_prog = NULL;
Daniel Borkmanna91263d2015-09-30 01:41:50 +0200643 prog->jited = 0;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700644
645 atomic_set(&prog->aux->refcnt, 1);
Daniel Borkmanna91263d2015-09-30 01:41:50 +0200646 prog->gpl_compatible = is_gpl ? 1 : 0;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700647
648 /* find program type: socket_filter vs tracing_filter */
649 err = find_prog_type(type, prog);
650 if (err < 0)
651 goto free_prog;
652
653 /* run eBPF verifier */
Alexei Starovoitov9bac3d62015-03-13 11:57:42 -0700654 err = bpf_check(&prog, attr);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700655 if (err < 0)
656 goto free_used_maps;
657
Alexei Starovoitov0a542a82014-09-26 00:17:01 -0700658 /* fixup BPF_CALL->imm field */
659 fixup_bpf_calls(prog);
660
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700661 /* eBPF program is ready to be JITed */
Alexei Starovoitov04fd61a2015-05-19 16:59:03 -0700662 err = bpf_prog_select_runtime(prog);
663 if (err < 0)
664 goto free_used_maps;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700665
Daniel Borkmannaa797812015-10-29 14:58:06 +0100666 err = bpf_prog_new_fd(prog);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700667 if (err < 0)
668 /* failed to allocate fd */
669 goto free_used_maps;
670
671 return err;
672
673free_used_maps:
674 free_used_maps(prog->aux);
675free_prog:
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700676 bpf_prog_uncharge_memlock(prog);
677free_prog_nouncharge:
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700678 bpf_prog_free(prog);
679 return err;
680}
681
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700682SYSCALL_DEFINE3(bpf, int, cmd, union bpf_attr __user *, uattr, unsigned int, size)
683{
684 union bpf_attr attr = {};
685 int err;
686
Alexei Starovoitov1be7f752015-10-07 22:23:21 -0700687 if (!capable(CAP_SYS_ADMIN) && sysctl_unprivileged_bpf_disabled)
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700688 return -EPERM;
689
690 if (!access_ok(VERIFY_READ, uattr, 1))
691 return -EFAULT;
692
693 if (size > PAGE_SIZE) /* silly large */
694 return -E2BIG;
695
696 /* If we're handed a bigger struct than we know of,
697 * ensure all the unknown bits are 0 - i.e. new
698 * user-space does not rely on any kernel feature
699 * extensions we dont know about yet.
700 */
701 if (size > sizeof(attr)) {
702 unsigned char __user *addr;
703 unsigned char __user *end;
704 unsigned char val;
705
706 addr = (void __user *)uattr + sizeof(attr);
707 end = (void __user *)uattr + size;
708
709 for (; addr < end; addr++) {
710 err = get_user(val, addr);
711 if (err)
712 return err;
713 if (val)
714 return -E2BIG;
715 }
716 size = sizeof(attr);
717 }
718
719 /* copy attributes from user space, may be less than sizeof(bpf_attr) */
720 if (copy_from_user(&attr, uattr, size) != 0)
721 return -EFAULT;
722
723 switch (cmd) {
724 case BPF_MAP_CREATE:
725 err = map_create(&attr);
726 break;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700727 case BPF_MAP_LOOKUP_ELEM:
728 err = map_lookup_elem(&attr);
729 break;
730 case BPF_MAP_UPDATE_ELEM:
731 err = map_update_elem(&attr);
732 break;
733 case BPF_MAP_DELETE_ELEM:
734 err = map_delete_elem(&attr);
735 break;
736 case BPF_MAP_GET_NEXT_KEY:
737 err = map_get_next_key(&attr);
738 break;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700739 case BPF_PROG_LOAD:
740 err = bpf_prog_load(&attr);
741 break;
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700742 default:
743 err = -EINVAL;
744 break;
745 }
746
747 return err;
748}