Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 1 | /* |
| 2 | * Seccomp BPF helper functions |
| 3 | * |
| 4 | * Copyright (c) 2012 The Chromium OS Authors <chromium-os-dev@chromium.org> |
| 5 | * Author: Will Drewry <wad@chromium.org> |
| 6 | * |
| 7 | * The code may be used by anyone for any purpose, |
| 8 | * and can serve as a starting point for developing |
| 9 | * applications using prctl(PR_ATTACH_SECCOMP_FILTER). |
| 10 | */ |
| 11 | |
| 12 | #include <stdio.h> |
Kees Cook | 3a9af0b | 2015-02-17 13:47:58 -0800 | [diff] [blame] | 13 | #include <stdlib.h> |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 14 | #include <string.h> |
| 15 | |
| 16 | #include "bpf-helper.h" |
| 17 | |
| 18 | int bpf_resolve_jumps(struct bpf_labels *labels, |
| 19 | struct sock_filter *filter, size_t count) |
| 20 | { |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 21 | size_t i; |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 22 | |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 23 | if (count < 1 || count > BPF_MAXINSNS) |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 24 | return -1; |
| 25 | /* |
| 26 | * Walk it once, backwards, to build the label table and do fixups. |
| 27 | * Since backward jumps are disallowed by BPF, this is easy. |
| 28 | */ |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 29 | for (i = 0; i < count; ++i) { |
| 30 | size_t offset = count - i - 1; |
| 31 | struct sock_filter *instr = &filter[offset]; |
| 32 | if (instr->code != (BPF_JMP+BPF_JA)) |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 33 | continue; |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 34 | switch ((instr->jt<<8)|instr->jf) { |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 35 | case (JUMP_JT<<8)|JUMP_JF: |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 36 | if (labels->labels[instr->k].location == 0xffffffff) { |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 37 | fprintf(stderr, "Unresolved label: '%s'\n", |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 38 | labels->labels[instr->k].label); |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 39 | return 1; |
| 40 | } |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 41 | instr->k = labels->labels[instr->k].location - |
| 42 | (offset + 1); |
| 43 | instr->jt = 0; |
| 44 | instr->jf = 0; |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 45 | continue; |
| 46 | case (LABEL_JT<<8)|LABEL_JF: |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 47 | if (labels->labels[instr->k].location != 0xffffffff) { |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 48 | fprintf(stderr, "Duplicate label use: '%s'\n", |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 49 | labels->labels[instr->k].label); |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 50 | return 1; |
| 51 | } |
Ricky Zhou | d881d25 | 2016-10-13 10:37:28 -0700 | [diff] [blame] | 52 | labels->labels[instr->k].location = offset; |
| 53 | instr->k = 0; /* fall through */ |
| 54 | instr->jt = 0; |
| 55 | instr->jf = 0; |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 56 | continue; |
| 57 | } |
| 58 | } |
| 59 | return 0; |
| 60 | } |
| 61 | |
| 62 | /* Simple lookup table for labels. */ |
| 63 | __u32 seccomp_bpf_label(struct bpf_labels *labels, const char *label) |
| 64 | { |
| 65 | struct __bpf_label *begin = labels->labels, *end; |
| 66 | int id; |
Kees Cook | 3a9af0b | 2015-02-17 13:47:58 -0800 | [diff] [blame] | 67 | |
| 68 | if (labels->count == BPF_LABELS_MAX) { |
| 69 | fprintf(stderr, "Too many labels\n"); |
| 70 | exit(1); |
| 71 | } |
Will Drewry | 8ac270d | 2012-04-12 16:48:04 -0500 | [diff] [blame] | 72 | if (labels->count == 0) { |
| 73 | begin->label = label; |
| 74 | begin->location = 0xffffffff; |
| 75 | labels->count++; |
| 76 | return 0; |
| 77 | } |
| 78 | end = begin + labels->count; |
| 79 | for (id = 0; begin < end; ++begin, ++id) { |
| 80 | if (!strcmp(label, begin->label)) |
| 81 | return id; |
| 82 | } |
| 83 | begin->label = label; |
| 84 | begin->location = 0xffffffff; |
| 85 | labels->count++; |
| 86 | return id; |
| 87 | } |
| 88 | |
| 89 | void seccomp_bpf_print(struct sock_filter *filter, size_t count) |
| 90 | { |
| 91 | struct sock_filter *end = filter + count; |
| 92 | for ( ; filter < end; ++filter) |
| 93 | printf("{ code=%u,jt=%u,jf=%u,k=%u },\n", |
| 94 | filter->code, filter->jt, filter->jf, filter->k); |
| 95 | } |