mirror of
git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
synced 2025-08-05 16:54:27 +00:00
af17bad9fb
Test struct_ops programs returning referenced kptr. When the return type of a struct_ops operator is pointer to struct, the verifier should only allow programs that return a scalar NULL or a non-local kptr with the correct type in its unmodified form. Signed-off-by: Amery Hung <amery.hung@bytedance.com> Acked-by: Eduard Zingerman <eddyz87@gmail.com> Acked-by: Martin KaFai Lau <martin.lau@kernel.org> Link: https://lore.kernel.org/r/20250217190640.1748177-6-ameryhung@gmail.com Signed-off-by: Alexei Starovoitov <ast@kernel.org>
119 lines
2.7 KiB
C
119 lines
2.7 KiB
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
/* Copyright (c) 2020 Facebook */
|
|
#ifndef _BPF_TESTMOD_H
|
|
#define _BPF_TESTMOD_H
|
|
|
|
#include <linux/types.h>
|
|
|
|
struct task_struct;
|
|
struct cgroup;
|
|
|
|
struct bpf_testmod_test_read_ctx {
|
|
char *buf;
|
|
loff_t off;
|
|
size_t len;
|
|
};
|
|
|
|
struct bpf_testmod_test_write_ctx {
|
|
char *buf;
|
|
loff_t off;
|
|
size_t len;
|
|
};
|
|
|
|
struct bpf_testmod_test_writable_ctx {
|
|
bool early_ret;
|
|
int val;
|
|
};
|
|
|
|
/* BPF iter that returns *value* *n* times in a row */
|
|
struct bpf_iter_testmod_seq {
|
|
s64 value;
|
|
int cnt;
|
|
};
|
|
|
|
struct bpf_testmod_ops {
|
|
int (*test_1)(void);
|
|
void (*test_2)(int a, int b);
|
|
/* Used to test nullable arguments. */
|
|
int (*test_maybe_null)(int dummy, struct task_struct *task);
|
|
int (*unsupported_ops)(void);
|
|
/* Used to test ref_acquired arguments. */
|
|
int (*test_refcounted)(int dummy, struct task_struct *task);
|
|
/* Used to test returning referenced kptr. */
|
|
struct task_struct *(*test_return_ref_kptr)(int dummy, struct task_struct *task,
|
|
struct cgroup *cgrp);
|
|
|
|
/* The following fields are used to test shadow copies. */
|
|
char onebyte;
|
|
struct {
|
|
int a;
|
|
int b;
|
|
} unsupported;
|
|
int data;
|
|
|
|
/* The following pointers are used to test the maps having multiple
|
|
* pages of trampolines.
|
|
*/
|
|
int (*tramp_1)(int value);
|
|
int (*tramp_2)(int value);
|
|
int (*tramp_3)(int value);
|
|
int (*tramp_4)(int value);
|
|
int (*tramp_5)(int value);
|
|
int (*tramp_6)(int value);
|
|
int (*tramp_7)(int value);
|
|
int (*tramp_8)(int value);
|
|
int (*tramp_9)(int value);
|
|
int (*tramp_10)(int value);
|
|
int (*tramp_11)(int value);
|
|
int (*tramp_12)(int value);
|
|
int (*tramp_13)(int value);
|
|
int (*tramp_14)(int value);
|
|
int (*tramp_15)(int value);
|
|
int (*tramp_16)(int value);
|
|
int (*tramp_17)(int value);
|
|
int (*tramp_18)(int value);
|
|
int (*tramp_19)(int value);
|
|
int (*tramp_20)(int value);
|
|
int (*tramp_21)(int value);
|
|
int (*tramp_22)(int value);
|
|
int (*tramp_23)(int value);
|
|
int (*tramp_24)(int value);
|
|
int (*tramp_25)(int value);
|
|
int (*tramp_26)(int value);
|
|
int (*tramp_27)(int value);
|
|
int (*tramp_28)(int value);
|
|
int (*tramp_29)(int value);
|
|
int (*tramp_30)(int value);
|
|
int (*tramp_31)(int value);
|
|
int (*tramp_32)(int value);
|
|
int (*tramp_33)(int value);
|
|
int (*tramp_34)(int value);
|
|
int (*tramp_35)(int value);
|
|
int (*tramp_36)(int value);
|
|
int (*tramp_37)(int value);
|
|
int (*tramp_38)(int value);
|
|
int (*tramp_39)(int value);
|
|
int (*tramp_40)(int value);
|
|
};
|
|
|
|
struct bpf_testmod_ops2 {
|
|
int (*test_1)(void);
|
|
};
|
|
|
|
struct bpf_testmod_ops3 {
|
|
int (*test_1)(void);
|
|
int (*test_2)(void);
|
|
};
|
|
|
|
struct st_ops_args {
|
|
u64 a;
|
|
};
|
|
|
|
struct bpf_testmod_st_ops {
|
|
int (*test_prologue)(struct st_ops_args *args);
|
|
int (*test_epilogue)(struct st_ops_args *args);
|
|
int (*test_pro_epilogue)(struct st_ops_args *args);
|
|
struct module *owner;
|
|
};
|
|
|
|
#endif /* _BPF_TESTMOD_H */
|