| // SPDX-License-Identifier: GPL-2.0 |
| /* Copyright (c) 2025 Meta Platforms, Inc. and affiliates. */ |
| #include <vmlinux.h> |
| #include <bpf/bpf_tracing.h> |
| #include <bpf/bpf_helpers.h> |
| #include "bpf_misc.h" |
| #include "bpf_experimental.h" |
| #include <bpf_arena_common.h> |
| |
| struct arr_elem { |
| struct bpf_res_spin_lock lock; |
| }; |
| |
| struct { |
| __uint(type, BPF_MAP_TYPE_ARRAY); |
| __uint(max_entries, 1); |
| __type(key, int); |
| __type(value, struct arr_elem); |
| } arrmap SEC(".maps"); |
| |
| struct { |
| __uint(type, BPF_MAP_TYPE_ARENA); |
| __uint(map_flags, BPF_F_MMAPABLE); |
| __uint(max_entries, 1); /* number of pages */ |
| } arena SEC(".maps"); |
| |
| struct elem { |
| struct bpf_timer timer; |
| }; |
| |
| struct { |
| __uint(type, BPF_MAP_TYPE_ARRAY); |
| __uint(max_entries, 1); |
| __type(key, int); |
| __type(value, struct elem); |
| } array SEC(".maps"); |
| |
| #define ENOSPC 28 |
| #define _STR "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" |
| |
| int size; |
| u64 fault_addr; |
| void *arena_ptr; |
| |
| #define private(name) SEC(".bss." #name) __hidden __attribute__((aligned(8))) |
| |
| private(STREAM) struct bpf_spin_lock block; |
| |
| SEC("syscall") |
| __success __retval(0) |
| int stream_exhaust(void *ctx) |
| { |
| /* Use global variable for loop convergence. */ |
| size = 0; |
| bpf_repeat(BPF_MAX_LOOPS) { |
| if (bpf_stream_printk(BPF_STDOUT, _STR) == -ENOSPC && size == 99954) |
| return 0; |
| size += sizeof(_STR) - 1; |
| } |
| return 1; |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __arch_s390x |
| __arch_riscv64 |
| __arch_loongarch |
| __success __retval(0) |
| __stderr("ERROR: Timeout detected for may_goto instruction") |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_cond_break(void *ctx) |
| { |
| while (can_loop) |
| ; |
| return 0; |
| } |
| |
| SEC("syscall") |
| __success __retval(0) |
| __stderr("ERROR: AA or ABBA deadlock detected for bpf_res_spin_lock") |
| __stderr("{{Attempted lock = (0x[0-9a-fA-F]+)\n" |
| "Total held locks = 1\n" |
| "Held lock\\[ 0\\] = \\1}}") |
| __stderr("...") |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_deadlock(void *ctx) |
| { |
| struct bpf_res_spin_lock *lock, *nlock; |
| |
| lock = bpf_map_lookup_elem(&arrmap, &(int){0}); |
| if (!lock) |
| return 1; |
| nlock = bpf_map_lookup_elem(&arrmap, &(int){0}); |
| if (!nlock) |
| return 1; |
| if (bpf_res_spin_lock(lock)) |
| return 1; |
| if (bpf_res_spin_lock(nlock)) { |
| bpf_res_spin_unlock(lock); |
| return 0; |
| } |
| bpf_res_spin_unlock(nlock); |
| bpf_res_spin_unlock(lock); |
| return 1; |
| } |
| |
| SEC("syscall") |
| __success __retval(0) |
| int stream_syscall(void *ctx) |
| { |
| bpf_stream_printk(BPF_STDOUT, "foo"); |
| return 0; |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __success __retval(0) |
| __stderr("ERROR: Arena WRITE access at unmapped address 0x{{.*}}") |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_arena_write_fault(void *ctx) |
| { |
| struct bpf_arena *ptr = (void *)&arena; |
| u64 user_vm_start; |
| |
| /* Prevent GCC bounds warning: casting &arena to struct bpf_arena * |
| * triggers bounds checking since the map definition is smaller than struct |
| * bpf_arena. barrier_var() makes the pointer opaque to GCC, preventing the |
| * bounds analysis |
| */ |
| barrier_var(ptr); |
| user_vm_start = ptr->user_vm_start; |
| fault_addr = user_vm_start + 0x7fff; |
| bpf_addr_space_cast(user_vm_start, 0, 1); |
| asm volatile ( |
| "r1 = %0;" |
| "r2 = 1;" |
| "*(u32 *)(r1 + 0x7fff) = r2;" |
| : |
| : "r" (user_vm_start) |
| : "r1", "r2" |
| ); |
| return 0; |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __success __retval(0) |
| __stderr("ERROR: Arena READ access at unmapped address 0x{{.*}}") |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_arena_read_fault(void *ctx) |
| { |
| struct bpf_arena *ptr = (void *)&arena; |
| u64 user_vm_start; |
| |
| /* Prevent GCC bounds warning: casting &arena to struct bpf_arena * |
| * triggers bounds checking since the map definition is smaller than struct |
| * bpf_arena. barrier_var() makes the pointer opaque to GCC, preventing the |
| * bounds analysis |
| */ |
| barrier_var(ptr); |
| user_vm_start = ptr->user_vm_start; |
| fault_addr = user_vm_start + 0x7fff; |
| bpf_addr_space_cast(user_vm_start, 0, 1); |
| asm volatile ( |
| "r1 = %0;" |
| "r1 = *(u32 *)(r1 + 0x7fff);" |
| : |
| : "r" (user_vm_start) |
| : "r1" |
| ); |
| return 0; |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __success __retval(0) |
| __stderr("ERROR: Arena READ access at unmapped address 0x{{.*}}") |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_arena_load_acquire_fault(void *ctx) |
| { |
| static const struct bpf_insn load_acquire_insn = { |
| .code = 0xc3, /* BPF_STX | BPF_ATOMIC | BPF_W */ |
| .dst_reg = 0, /* BPF_REG_0 */ |
| .src_reg = 1, /* BPF_REG_1 */ |
| .off = 0x7fff, |
| .imm = 0x100, /* BPF_LOAD_ACQ */ |
| }; |
| struct bpf_arena *ptr = (void *)&arena; |
| u64 user_vm_start, val; |
| |
| /* |
| * Prevent GCC bounds warning: casting &arena to struct bpf_arena * |
| * triggers bounds checking since the map definition is smaller than |
| * struct bpf_arena. barrier_var() makes the pointer opaque to GCC, |
| * preventing the bounds analysis. |
| */ |
| barrier_var(ptr); |
| user_vm_start = ptr->user_vm_start; |
| fault_addr = user_vm_start + 0x7fff; |
| bpf_addr_space_cast(user_vm_start, 0, 1); |
| asm volatile ( |
| "r1 = %[user_vm_start];" |
| "r0 = 1;" |
| ".8byte %[load_acquire_insn];" /* r0 = load_acquire((u32 *)(r1 + 0x7fff)) */ |
| "%[val] = r0;" |
| : [val] "=r" (val) |
| : [user_vm_start] "r" (user_vm_start), |
| __imm_insn(load_acquire_insn, load_acquire_insn) |
| : "r0", "r1" |
| ); |
| return val; |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __success __retval(0) |
| __stderr("ERROR: Arena WRITE access at unmapped address 0x{{.*}}") |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_arena_xchg_fault(void *ctx) |
| { |
| static const struct bpf_insn xchg_insn = { |
| .code = 0xc3, /* BPF_STX | BPF_ATOMIC | BPF_W */ |
| .dst_reg = 1, /* BPF_REG_1 */ |
| .src_reg = 2, /* BPF_REG_2 */ |
| .off = 0x7fff, |
| .imm = 0xe1, /* BPF_XCHG */ |
| }; |
| struct bpf_arena *ptr = (void *)&arena; |
| u64 user_vm_start, val; |
| |
| /* |
| * Prevent GCC bounds warning: casting &arena to struct bpf_arena * |
| * triggers bounds checking since the map definition is smaller than |
| * struct bpf_arena. barrier_var() makes the pointer opaque to GCC, |
| * preventing the bounds analysis. |
| */ |
| barrier_var(ptr); |
| user_vm_start = ptr->user_vm_start; |
| fault_addr = user_vm_start + 0x7fff; |
| bpf_addr_space_cast(user_vm_start, 0, 1); |
| /* |
| * A read-modify-write carrying BPF_FETCH writes to memory, so the fault |
| * has to be reported as a WRITE from the dst_reg address, but it also |
| * reads the old value into src_reg, so the exception handler has to |
| * clear src_reg. Poison it up front, the returned value must be 0. |
| */ |
| asm volatile ( |
| "r1 = %[user_vm_start];" |
| "r2 = 1;" |
| ".8byte %[xchg_insn];" /* r2 = xchg((u32 *)(r1 + 0x7fff), r2) */ |
| "%[val] = r2;" |
| : [val] "=r" (val) |
| : [user_vm_start] "r" (user_vm_start), |
| __imm_insn(xchg_insn, xchg_insn) |
| : "r1", "r2" |
| ); |
| return val; |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __success __retval(0) |
| __stderr("ERROR: Arena WRITE access at unmapped address 0x{{.*}}") |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_arena_cmpxchg_fault(void *ctx) |
| { |
| static const struct bpf_insn cmpxchg_insn = { |
| .code = 0xc3, /* BPF_STX | BPF_ATOMIC | BPF_W */ |
| .dst_reg = 1, /* BPF_REG_1 */ |
| .src_reg = 2, /* BPF_REG_2 */ |
| .off = 0x7fff, |
| .imm = 0xf1, /* BPF_CMPXCHG */ |
| }; |
| struct bpf_arena *ptr = (void *)&arena; |
| u64 user_vm_start, val; |
| |
| /* |
| * Prevent GCC bounds warning: casting &arena to struct bpf_arena * |
| * triggers bounds checking since the map definition is smaller than |
| * struct bpf_arena. barrier_var() makes the pointer opaque to GCC, |
| * preventing the bounds analysis. |
| */ |
| barrier_var(ptr); |
| user_vm_start = ptr->user_vm_start; |
| fault_addr = user_vm_start + 0x7fff; |
| bpf_addr_space_cast(user_vm_start, 0, 1); |
| /* |
| * Same as the exchange above, except that a BPF_CMPXCHG reads the old |
| * value into r0 rather than into src_reg, so r0 is the register the |
| * exception handler has to clear. It doubles as the compare value, but |
| * the comparison never happens since the access faults first. |
| */ |
| asm volatile ( |
| "r1 = %[user_vm_start];" |
| "r0 = 1;" |
| "r2 = 2;" |
| ".8byte %[cmpxchg_insn];" /* r0 = cmpxchg((u32 *)(r1 + 0x7fff), r0, r2) */ |
| "%[val] = r0;" |
| : [val] "=r" (val) |
| : [user_vm_start] "r" (user_vm_start), |
| __imm_insn(cmpxchg_insn, cmpxchg_insn) |
| : "r0", "r1", "r2" |
| ); |
| return val; |
| } |
| |
| static __noinline void subprog(void) |
| { |
| int __arena *addr = (int __arena *)0xdeadbeef; |
| |
| arena_ptr = &arena; |
| *addr = 1; |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __success __retval(0) |
| __stderr("ERROR: Arena WRITE access at unmapped address 0x{{.*}}") |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_arena_subprog_fault(void *ctx) |
| { |
| subprog(); |
| return 0; |
| } |
| |
| static __noinline int timer_cb(void *map, int *key, struct bpf_timer *timer) |
| { |
| int __arena *addr = (int __arena *)0xdeadbeef; |
| |
| arena_ptr = &arena; |
| *addr = 1; |
| return 0; |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __success __retval(0) |
| __stderr("ERROR: Arena WRITE access at unmapped address 0x{{.*}}") |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_arena_callback_fault(void *ctx) |
| { |
| struct bpf_timer *arr_timer; |
| |
| arr_timer = bpf_map_lookup_elem(&array, &(int){0}); |
| if (!arr_timer) |
| return 0; |
| bpf_timer_init(arr_timer, &array, 1); |
| bpf_timer_set_callback(arr_timer, timer_cb); |
| bpf_timer_start(arr_timer, 0, 0); |
| return 0; |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __success __retval(0) |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_print_stack_kfunc(void *ctx) |
| { |
| return bpf_stream_print_stack(BPF_STDERR); |
| } |
| |
| SEC("syscall") |
| __success __retval(-2) |
| int stream_print_stack_invalid_id(void *ctx) |
| { |
| /* Try to pass an invalid stream ID. */ |
| return bpf_stream_print_stack((enum bpf_stream_id)0xbadcafe); |
| } |
| |
| SEC("syscall") |
| __arch_x86_64 |
| __arch_arm64 |
| __success __retval(0) |
| __stdout(_STR) |
| __stderr("CPU: {{[0-9]+}} UID: 0 PID: {{[0-9]+}} Comm: {{.*}}") |
| __stderr("Call trace:\n" |
| "{{([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n" |
| "|[ \t]+[^\n]+\n)*}}") |
| int stream_print_kfuncs_locked(void *ctx) |
| { |
| int ret; |
| |
| bpf_spin_lock(&block); |
| |
| ret = bpf_stream_printk(BPF_STDOUT, _STR); |
| if (ret) |
| goto out; |
| |
| ret = bpf_stream_print_stack(BPF_STDERR); |
| |
| out: |
| bpf_spin_unlock(&block); |
| |
| return ret; |
| } |
| |
| |
| char _license[] SEC("license") = "GPL"; |