1*5697683eSKumar Kartikeya Dwivedi // SPDX-License-Identifier: GPL-2.0
2*5697683eSKumar Kartikeya Dwivedi /* Copyright (c) 2025 Meta Platforms, Inc. and affiliates. */
3*5697683eSKumar Kartikeya Dwivedi #include <vmlinux.h>
4*5697683eSKumar Kartikeya Dwivedi #include <bpf/bpf_tracing.h>
5*5697683eSKumar Kartikeya Dwivedi #include <bpf/bpf_helpers.h>
6*5697683eSKumar Kartikeya Dwivedi #include <bpf/bpf_core_read.h>
7*5697683eSKumar Kartikeya Dwivedi #include "bpf_misc.h"
8*5697683eSKumar Kartikeya Dwivedi
9*5697683eSKumar Kartikeya Dwivedi SEC("syscall")
10*5697683eSKumar Kartikeya Dwivedi __failure __msg("Possibly NULL pointer passed")
stream_vprintk_null_arg(void * ctx)11*5697683eSKumar Kartikeya Dwivedi int stream_vprintk_null_arg(void *ctx)
12*5697683eSKumar Kartikeya Dwivedi {
13*5697683eSKumar Kartikeya Dwivedi bpf_stream_vprintk(BPF_STDOUT, "", NULL, 0, NULL);
14*5697683eSKumar Kartikeya Dwivedi return 0;
15*5697683eSKumar Kartikeya Dwivedi }
16*5697683eSKumar Kartikeya Dwivedi
17*5697683eSKumar Kartikeya Dwivedi SEC("syscall")
18*5697683eSKumar Kartikeya Dwivedi __failure __msg("R3 type=scalar expected=")
stream_vprintk_scalar_arg(void * ctx)19*5697683eSKumar Kartikeya Dwivedi int stream_vprintk_scalar_arg(void *ctx)
20*5697683eSKumar Kartikeya Dwivedi {
21*5697683eSKumar Kartikeya Dwivedi bpf_stream_vprintk(BPF_STDOUT, "", (void *)46, 0, NULL);
22*5697683eSKumar Kartikeya Dwivedi return 0;
23*5697683eSKumar Kartikeya Dwivedi }
24*5697683eSKumar Kartikeya Dwivedi
25*5697683eSKumar Kartikeya Dwivedi SEC("syscall")
26*5697683eSKumar Kartikeya Dwivedi __failure __msg("arg#1 doesn't point to a const string")
stream_vprintk_string_arg(void * ctx)27*5697683eSKumar Kartikeya Dwivedi int stream_vprintk_string_arg(void *ctx)
28*5697683eSKumar Kartikeya Dwivedi {
29*5697683eSKumar Kartikeya Dwivedi bpf_stream_vprintk(BPF_STDOUT, ctx, NULL, 0, NULL);
30*5697683eSKumar Kartikeya Dwivedi return 0;
31*5697683eSKumar Kartikeya Dwivedi }
32*5697683eSKumar Kartikeya Dwivedi
33*5697683eSKumar Kartikeya Dwivedi char _license[] SEC("license") = "GPL";
34