-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
selftests/bpf: Add tests for bpf_find_vma
Add tests for bpf_find_vma in perf_event program and kprobe program. The perf_event program is triggered from NMI context, so the second call of bpf_find_vma() will return -EBUSY (irq_work busy). The kprobe program, on the other hand, does not have this constraint. Also add tests for illegal writes to task or vma from the callback function. The verifier should reject both cases. Signed-off-by: Song Liu <songliubraving@fb.com> Signed-off-by: Alexei Starovoitov <ast@kernel.org> Acked-by: Yonghong Song <yhs@fb.com> Link: https://lore.kernel.org/bpf/20211105232330.1936330-3-songliubraving@fb.com
- Loading branch information
Song Liu
authored and
Alexei Starovoitov
committed
Nov 7, 2021
1 parent
7c7e3d3
commit f108662
Showing
4 changed files
with
244 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,117 @@ | ||
// SPDX-License-Identifier: GPL-2.0 | ||
/* Copyright (c) 2021 Facebook */ | ||
#include <test_progs.h> | ||
#include <sys/types.h> | ||
#include <unistd.h> | ||
#include "find_vma.skel.h" | ||
#include "find_vma_fail1.skel.h" | ||
#include "find_vma_fail2.skel.h" | ||
|
||
static void test_and_reset_skel(struct find_vma *skel, int expected_find_zero_ret) | ||
{ | ||
ASSERT_EQ(skel->bss->found_vm_exec, 1, "found_vm_exec"); | ||
ASSERT_EQ(skel->data->find_addr_ret, 0, "find_addr_ret"); | ||
ASSERT_EQ(skel->data->find_zero_ret, expected_find_zero_ret, "find_zero_ret"); | ||
ASSERT_OK_PTR(strstr(skel->bss->d_iname, "test_progs"), "find_test_progs"); | ||
|
||
skel->bss->found_vm_exec = 0; | ||
skel->data->find_addr_ret = -1; | ||
skel->data->find_zero_ret = -1; | ||
skel->bss->d_iname[0] = 0; | ||
} | ||
|
||
static int open_pe(void) | ||
{ | ||
struct perf_event_attr attr = {0}; | ||
int pfd; | ||
|
||
/* create perf event */ | ||
attr.size = sizeof(attr); | ||
attr.type = PERF_TYPE_HARDWARE; | ||
attr.config = PERF_COUNT_HW_CPU_CYCLES; | ||
attr.freq = 1; | ||
attr.sample_freq = 4000; | ||
pfd = syscall(__NR_perf_event_open, &attr, 0, -1, -1, PERF_FLAG_FD_CLOEXEC); | ||
|
||
return pfd >= 0 ? pfd : -errno; | ||
} | ||
|
||
static void test_find_vma_pe(struct find_vma *skel) | ||
{ | ||
struct bpf_link *link = NULL; | ||
volatile int j = 0; | ||
int pfd, i; | ||
|
||
pfd = open_pe(); | ||
if (pfd < 0) { | ||
if (pfd == -ENOENT || pfd == -EOPNOTSUPP) { | ||
printf("%s:SKIP:no PERF_COUNT_HW_CPU_CYCLES\n", __func__); | ||
test__skip(); | ||
goto cleanup; | ||
} | ||
if (!ASSERT_GE(pfd, 0, "perf_event_open")) | ||
goto cleanup; | ||
} | ||
|
||
link = bpf_program__attach_perf_event(skel->progs.handle_pe, pfd); | ||
if (!ASSERT_OK_PTR(link, "attach_perf_event")) | ||
goto cleanup; | ||
|
||
for (i = 0; i < 1000000; ++i) | ||
++j; | ||
|
||
test_and_reset_skel(skel, -EBUSY /* in nmi, irq_work is busy */); | ||
cleanup: | ||
bpf_link__destroy(link); | ||
close(pfd); | ||
} | ||
|
||
static void test_find_vma_kprobe(struct find_vma *skel) | ||
{ | ||
int err; | ||
|
||
err = find_vma__attach(skel); | ||
if (!ASSERT_OK(err, "get_branch_snapshot__attach")) | ||
return; | ||
|
||
getpgid(skel->bss->target_pid); | ||
test_and_reset_skel(skel, -ENOENT /* could not find vma for ptr 0 */); | ||
} | ||
|
||
static void test_illegal_write_vma(void) | ||
{ | ||
struct find_vma_fail1 *skel; | ||
|
||
skel = find_vma_fail1__open_and_load(); | ||
if (!ASSERT_ERR_PTR(skel, "find_vma_fail1__open_and_load")) | ||
find_vma_fail1__destroy(skel); | ||
} | ||
|
||
static void test_illegal_write_task(void) | ||
{ | ||
struct find_vma_fail2 *skel; | ||
|
||
skel = find_vma_fail2__open_and_load(); | ||
if (!ASSERT_ERR_PTR(skel, "find_vma_fail2__open_and_load")) | ||
find_vma_fail2__destroy(skel); | ||
} | ||
|
||
void serial_test_find_vma(void) | ||
{ | ||
struct find_vma *skel; | ||
|
||
skel = find_vma__open_and_load(); | ||
if (!ASSERT_OK_PTR(skel, "find_vma__open_and_load")) | ||
return; | ||
|
||
skel->bss->target_pid = getpid(); | ||
skel->bss->addr = (__u64)(uintptr_t)test_find_vma_pe; | ||
|
||
test_find_vma_pe(skel); | ||
usleep(100000); /* allow the irq_work to finish */ | ||
test_find_vma_kprobe(skel); | ||
|
||
find_vma__destroy(skel); | ||
test_illegal_write_vma(); | ||
test_illegal_write_task(); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,69 @@ | ||
// SPDX-License-Identifier: GPL-2.0 | ||
/* Copyright (c) 2021 Facebook */ | ||
#include "vmlinux.h" | ||
#include <bpf/bpf_helpers.h> | ||
#include <bpf/bpf_tracing.h> | ||
|
||
char _license[] SEC("license") = "GPL"; | ||
|
||
struct callback_ctx { | ||
int dummy; | ||
}; | ||
|
||
#define VM_EXEC 0x00000004 | ||
#define DNAME_INLINE_LEN 32 | ||
|
||
pid_t target_pid = 0; | ||
char d_iname[DNAME_INLINE_LEN] = {0}; | ||
__u32 found_vm_exec = 0; | ||
__u64 addr = 0; | ||
int find_zero_ret = -1; | ||
int find_addr_ret = -1; | ||
|
||
static long check_vma(struct task_struct *task, struct vm_area_struct *vma, | ||
struct callback_ctx *data) | ||
{ | ||
if (vma->vm_file) | ||
bpf_probe_read_kernel_str(d_iname, DNAME_INLINE_LEN - 1, | ||
vma->vm_file->f_path.dentry->d_iname); | ||
|
||
/* check for VM_EXEC */ | ||
if (vma->vm_flags & VM_EXEC) | ||
found_vm_exec = 1; | ||
|
||
return 0; | ||
} | ||
|
||
SEC("raw_tp/sys_enter") | ||
int handle_getpid(void) | ||
{ | ||
struct task_struct *task = bpf_get_current_task_btf(); | ||
struct callback_ctx data = {}; | ||
|
||
if (task->pid != target_pid) | ||
return 0; | ||
|
||
find_addr_ret = bpf_find_vma(task, addr, check_vma, &data, 0); | ||
|
||
/* this should return -ENOENT */ | ||
find_zero_ret = bpf_find_vma(task, 0, check_vma, &data, 0); | ||
return 0; | ||
} | ||
|
||
SEC("perf_event") | ||
int handle_pe(void) | ||
{ | ||
struct task_struct *task = bpf_get_current_task_btf(); | ||
struct callback_ctx data = {}; | ||
|
||
if (task->pid != target_pid) | ||
return 0; | ||
|
||
find_addr_ret = bpf_find_vma(task, addr, check_vma, &data, 0); | ||
|
||
/* In NMI, this should return -EBUSY, as the previous call is using | ||
* the irq_work. | ||
*/ | ||
find_zero_ret = bpf_find_vma(task, 0, check_vma, &data, 0); | ||
return 0; | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,29 @@ | ||
// SPDX-License-Identifier: GPL-2.0 | ||
/* Copyright (c) 2021 Facebook */ | ||
#include "vmlinux.h" | ||
#include <bpf/bpf_helpers.h> | ||
|
||
char _license[] SEC("license") = "GPL"; | ||
|
||
struct callback_ctx { | ||
int dummy; | ||
}; | ||
|
||
static long write_vma(struct task_struct *task, struct vm_area_struct *vma, | ||
struct callback_ctx *data) | ||
{ | ||
/* writing to vma, which is illegal */ | ||
vma->vm_flags |= 0x55; | ||
|
||
return 0; | ||
} | ||
|
||
SEC("raw_tp/sys_enter") | ||
int handle_getpid(void) | ||
{ | ||
struct task_struct *task = bpf_get_current_task_btf(); | ||
struct callback_ctx data = {}; | ||
|
||
bpf_find_vma(task, 0, write_vma, &data, 0); | ||
return 0; | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,29 @@ | ||
// SPDX-License-Identifier: GPL-2.0 | ||
/* Copyright (c) 2021 Facebook */ | ||
#include "vmlinux.h" | ||
#include <bpf/bpf_helpers.h> | ||
|
||
char _license[] SEC("license") = "GPL"; | ||
|
||
struct callback_ctx { | ||
int dummy; | ||
}; | ||
|
||
static long write_task(struct task_struct *task, struct vm_area_struct *vma, | ||
struct callback_ctx *data) | ||
{ | ||
/* writing to task, which is illegal */ | ||
task->mm = NULL; | ||
|
||
return 0; | ||
} | ||
|
||
SEC("raw_tp/sys_enter") | ||
int handle_getpid(void) | ||
{ | ||
struct task_struct *task = bpf_get_current_task_btf(); | ||
struct callback_ctx data = {}; | ||
|
||
bpf_find_vma(task, 0, write_task, &data, 0); | ||
return 0; | ||
} |