| // SPDX-License-Identifier: GPL-2.0 |
| /* Copyright (c) 2025 Meta Platforms, Inc. and affiliates. */ |
| |
| #include <vmlinux.h> |
| #include <string.h> |
| #include <stdbool.h> |
| #include <bpf/bpf_tracing.h> |
| #include "bpf_misc.h" |
| |
| char _license[] SEC("license") = "GPL"; |
| |
| int err; |
| void *user_ptr; |
| |
| SEC("lsm/file_open") |
| __failure |
| __msg("Unreleased reference id=") |
| int on_nanosleep_unreleased_ref(void *ctx) |
| { |
| struct task_struct *task = bpf_get_current_task_btf(); |
| struct file *file = bpf_get_task_exe_file(task); |
| struct bpf_dynptr dynptr; |
| |
| if (!file) |
| return 0; |
| |
| err = bpf_dynptr_from_file(file, 0, &dynptr); |
| return err ? 1 : 0; |
| } |
| |
| SEC("xdp") |
| __failure |
| __msg("Expected a dynptr of type file as arg #0") |
| int xdp_wrong_dynptr_type(struct xdp_md *xdp) |
| { |
| struct bpf_dynptr dynptr; |
| |
| bpf_dynptr_from_xdp(xdp, 0, &dynptr); |
| bpf_dynptr_file_discard(&dynptr); |
| return 0; |
| } |
| |
| SEC("xdp") |
| __failure |
| __msg("Expected an initialized dynptr as arg #0") |
| int xdp_no_dynptr_type(struct xdp_md *xdp) |
| { |
| struct bpf_dynptr dynptr; |
| |
| bpf_dynptr_file_discard(&dynptr); |
| return 0; |
| } |