ea4128eb43
Add tests validating that libbpf is indeed patching up BPF verifier log with CO-RE relocation details. Also test partial and full truncation scenarios. This test might be a bit fragile due to changing BPF verifier log format. If that proves to be frequently breaking, we can simplify tests or remove the truncation subtests. But for now it seems useful to test it in those conditions that are otherwise rarely occuring in practice. Also test CO-RE relo failure in a subprog as that excercises subprogram CO-RE relocation mapping logic which doesn't work out of the box without extra relo storage previously done only for gen_loader case. Signed-off-by: Andrii Nakryiko <andrii@kernel.org> Signed-off-by: Alexei Starovoitov <ast@kernel.org> Link: https://lore.kernel.org/bpf/20220426004511.2691730-11-andrii@kernel.org
39 lines
834 B
C
39 lines
834 B
C
// SPDX-License-Identifier: GPL-2.0
|
|
/* Copyright (c) 2022 Meta Platforms, Inc. and affiliates. */
|
|
|
|
#include <linux/bpf.h>
|
|
#include <bpf/bpf_helpers.h>
|
|
#include <bpf/bpf_core_read.h>
|
|
|
|
struct task_struct___bad {
|
|
int pid;
|
|
int fake_field;
|
|
void *fake_field_subprog;
|
|
} __attribute__((preserve_access_index));
|
|
|
|
SEC("?raw_tp/sys_enter")
|
|
int bad_relo(const void *ctx)
|
|
{
|
|
static struct task_struct___bad *t;
|
|
|
|
return bpf_core_field_size(t->fake_field);
|
|
}
|
|
|
|
static __noinline int bad_subprog(void)
|
|
{
|
|
static struct task_struct___bad *t;
|
|
|
|
/* ugliness below is a field offset relocation */
|
|
return (void *)&t->fake_field_subprog - (void *)t;
|
|
}
|
|
|
|
SEC("?raw_tp/sys_enter")
|
|
int bad_relo_subprog(const void *ctx)
|
|
{
|
|
static struct task_struct___bad *t;
|
|
|
|
return bad_subprog() + bpf_core_field_size(t->pid);
|
|
}
|
|
|
|
char _license[] SEC("license") = "GPL";
|