129e1c668SAndrii Nakryiko // SPDX-License-Identifier: GPL-2.0 229e1c668SAndrii Nakryiko // Copyright (c) 2019 Facebook 329e1c668SAndrii Nakryiko 429e1c668SAndrii Nakryiko #include <linux/bpf.h> 529e1c668SAndrii Nakryiko #include <stdint.h> 629e1c668SAndrii Nakryiko #include "bpf_helpers.h" 729e1c668SAndrii Nakryiko 829e1c668SAndrii Nakryiko char _license[] SEC("license") = "GPL"; 929e1c668SAndrii Nakryiko 1029e1c668SAndrii Nakryiko static volatile struct data { 1129e1c668SAndrii Nakryiko char in[256]; 1229e1c668SAndrii Nakryiko char out[256]; 1329e1c668SAndrii Nakryiko } data; 1429e1c668SAndrii Nakryiko 1529e1c668SAndrii Nakryiko struct core_reloc_misc_output { 1629e1c668SAndrii Nakryiko int a, b, c; 1729e1c668SAndrii Nakryiko }; 1829e1c668SAndrii Nakryiko 1929e1c668SAndrii Nakryiko struct core_reloc_misc___a { 2029e1c668SAndrii Nakryiko int a1; 2129e1c668SAndrii Nakryiko int a2; 2229e1c668SAndrii Nakryiko }; 2329e1c668SAndrii Nakryiko 2429e1c668SAndrii Nakryiko struct core_reloc_misc___b { 2529e1c668SAndrii Nakryiko int b1; 2629e1c668SAndrii Nakryiko int b2; 2729e1c668SAndrii Nakryiko }; 2829e1c668SAndrii Nakryiko 2929e1c668SAndrii Nakryiko /* fixed two first members, can be extended with new fields */ 3029e1c668SAndrii Nakryiko struct core_reloc_misc_extensible { 3129e1c668SAndrii Nakryiko int a; 3229e1c668SAndrii Nakryiko int b; 3329e1c668SAndrii Nakryiko }; 3429e1c668SAndrii Nakryiko 3529e1c668SAndrii Nakryiko SEC("raw_tracepoint/sys_enter") 3629e1c668SAndrii Nakryiko int test_core_misc(void *ctx) 3729e1c668SAndrii Nakryiko { 3829e1c668SAndrii Nakryiko struct core_reloc_misc___a *in_a = (void *)&data.in; 3929e1c668SAndrii Nakryiko struct core_reloc_misc___b *in_b = (void *)&data.in; 4029e1c668SAndrii Nakryiko struct core_reloc_misc_extensible *in_ext = (void *)&data.in; 4129e1c668SAndrii Nakryiko struct core_reloc_misc_output *out = (void *)&data.out; 4229e1c668SAndrii Nakryiko 4329e1c668SAndrii Nakryiko /* record two different relocations with the same accessor string */ 4429e1c668SAndrii Nakryiko if (BPF_CORE_READ(&out->a, &in_a->a1) || /* accessor: 0:0 */ 4529e1c668SAndrii Nakryiko BPF_CORE_READ(&out->b, &in_b->b1)) /* accessor: 0:0 */ 4629e1c668SAndrii Nakryiko return 1; 4729e1c668SAndrii Nakryiko 4829e1c668SAndrii Nakryiko /* Validate relocations capture array-only accesses for structs with 4929e1c668SAndrii Nakryiko * fixed header, but with potentially extendable tail. This will read 5029e1c668SAndrii Nakryiko * first 4 bytes of 2nd element of in_ext array of potentially 5129e1c668SAndrii Nakryiko * variably sized struct core_reloc_misc_extensible. */ 5229e1c668SAndrii Nakryiko if (BPF_CORE_READ(&out->c, &in_ext[2])) /* accessor: 2 */ 5329e1c668SAndrii Nakryiko return 1; 5429e1c668SAndrii Nakryiko 5529e1c668SAndrii Nakryiko return 0; 5629e1c668SAndrii Nakryiko } 5729e1c668SAndrii Nakryiko 58