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") 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=") 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") 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