bpf: Replace callers of BPF_CAST_CALL with proper function typedef
authorKees Cook <keescook@chromium.org>
Tue, 28 Sep 2021 23:09:46 +0000 (16:09 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 28 Sep 2021 23:27:18 +0000 (16:27 -0700)
In order to keep ahead of cases in the kernel where Control Flow
Integrity (CFI) may trip over function call casts, enabling
-Wcast-function-type is helpful. To that end, BPF_CAST_CALL causes
various warnings and is one of the last places in the kernel
triggering this warning.

For actual function calls, replace BPF_CAST_CALL() with a typedef, which
captures the same details about the given function pointers.

This change results in no object code difference.

Signed-off-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Gustavo A. R. Silva <gustavoars@kernel.org>
Link: https://github.com/KSPP/linux/issues/20
Link: https://lore.kernel.org/lkml/CAEf4Bzb46=-J5Fxc3mMZ8JQPtK1uoE0q6+g6WPz53Cvx=CBEhw@mail.gmail.com
Link: https://lore.kernel.org/bpf/20210928230946.4062144-3-keescook@chromium.org
include/linux/bpf.h
include/linux/filter.h
kernel/bpf/arraymap.c
kernel/bpf/hashtab.c
kernel/bpf/helpers.c

index b6c45a6cbbbafaad6be33489cb2ed409fe162180..19735d59230ad1ff706b433a7542874b9feba527 100644 (file)
@@ -48,6 +48,7 @@ extern struct idr btf_idr;
 extern spinlock_t btf_idr_lock;
 extern struct kobject *btf_kobj;
 
+typedef u64 (*bpf_callback_t)(u64, u64, u64, u64, u64);
 typedef int (*bpf_iter_init_seq_priv_t)(void *private_data,
                                        struct bpf_iter_aux_info *aux);
 typedef void (*bpf_iter_fini_seq_priv_t)(void *private_data);
@@ -142,7 +143,8 @@ struct bpf_map_ops {
        int (*map_set_for_each_callback_args)(struct bpf_verifier_env *env,
                                              struct bpf_func_state *caller,
                                              struct bpf_func_state *callee);
-       int (*map_for_each_callback)(struct bpf_map *map, void *callback_fn,
+       int (*map_for_each_callback)(struct bpf_map *map,
+                                    bpf_callback_t callback_fn,
                                     void *callback_ctx, u64 flags);
 
        /* BTF name and id of struct allocated by map_alloc */
index 6c247663d4ce95f206845fd402ee5bbeebc1ce9a..47f80adbe744769ad4372e50aa8d2b6a767deb12 100644 (file)
@@ -360,11 +360,6 @@ static inline bool insn_is_zext(const struct bpf_insn *insn)
                .off   = 0,                                     \
                .imm   = TGT })
 
-/* Function call */
-
-#define BPF_CAST_CALL(x)                                       \
-               ((u64 (*)(u64, u64, u64, u64, u64))(x))
-
 /* Convert function address to BPF immediate */
 
 #define BPF_CALL_IMM(x)        ((void *)(x) - (void *)__bpf_call_base)
index cebd4fb06d190a561205b4c5ecf6aeeaffca70fd..5e1ccfae916b92abd945e16f1e5e2bfd7532d317 100644 (file)
@@ -645,7 +645,7 @@ static const struct bpf_iter_seq_info iter_seq_info = {
        .seq_priv_size          = sizeof(struct bpf_iter_seq_array_map_info),
 };
 
-static int bpf_for_each_array_elem(struct bpf_map *map, void *callback_fn,
+static int bpf_for_each_array_elem(struct bpf_map *map, bpf_callback_t callback_fn,
                                   void *callback_ctx, u64 flags)
 {
        u32 i, key, num_elems = 0;
@@ -668,9 +668,8 @@ static int bpf_for_each_array_elem(struct bpf_map *map, void *callback_fn,
                        val = array->value + array->elem_size * i;
                num_elems++;
                key = i;
-               ret = BPF_CAST_CALL(callback_fn)((u64)(long)map,
-                                       (u64)(long)&key, (u64)(long)val,
-                                       (u64)(long)callback_ctx, 0);
+               ret = callback_fn((u64)(long)map, (u64)(long)&key,
+                                 (u64)(long)val, (u64)(long)callback_ctx, 0);
                /* return value: 0 - continue, 1 - stop and return */
                if (ret)
                        break;
index 3d8f9d6997d5241ac562f0255e641be6e9950d7f..d29af9988f37ab159ef0f169b2f40cec2d5f411a 100644 (file)
@@ -2049,7 +2049,7 @@ static const struct bpf_iter_seq_info iter_seq_info = {
        .seq_priv_size          = sizeof(struct bpf_iter_seq_hash_map_info),
 };
 
-static int bpf_for_each_hash_elem(struct bpf_map *map, void *callback_fn,
+static int bpf_for_each_hash_elem(struct bpf_map *map, bpf_callback_t callback_fn,
                                  void *callback_ctx, u64 flags)
 {
        struct bpf_htab *htab = container_of(map, struct bpf_htab, map);
@@ -2089,9 +2089,8 @@ static int bpf_for_each_hash_elem(struct bpf_map *map, void *callback_fn,
                                val = elem->key + roundup_key_size;
                        }
                        num_elems++;
-                       ret = BPF_CAST_CALL(callback_fn)((u64)(long)map,
-                                       (u64)(long)key, (u64)(long)val,
-                                       (u64)(long)callback_ctx, 0);
+                       ret = callback_fn((u64)(long)map, (u64)(long)key,
+                                         (u64)(long)val, (u64)(long)callback_ctx, 0);
                        /* return value: 0 - continue, 1 - stop and return */
                        if (ret) {
                                rcu_read_unlock();
index 2c604ff8c7fb9de6855ecb0e6a0b4620d45c3934..1ffd469c217fad50b302b56505060c6ca869851b 100644 (file)
@@ -1056,7 +1056,7 @@ static enum hrtimer_restart bpf_timer_cb(struct hrtimer *hrtimer)
        struct bpf_hrtimer *t = container_of(hrtimer, struct bpf_hrtimer, timer);
        struct bpf_map *map = t->map;
        void *value = t->value;
-       void *callback_fn;
+       bpf_callback_t callback_fn;
        void *key;
        u32 idx;
 
@@ -1081,8 +1081,7 @@ static enum hrtimer_restart bpf_timer_cb(struct hrtimer *hrtimer)
                key = value - round_up(map->key_size, 8);
        }
 
-       BPF_CAST_CALL(callback_fn)((u64)(long)map, (u64)(long)key,
-                                  (u64)(long)value, 0, 0);
+       callback_fn((u64)(long)map, (u64)(long)key, (u64)(long)value, 0, 0);
        /* The verifier checked that return value is zero. */
 
        this_cpu_write(hrtimer_running, NULL);