Skip to content

Commit

Permalink
libbpf: Clarify/fix unaligned data issues for btf typed dump
Browse files Browse the repository at this point in the history
If data is packed, data structures can store it outside of usual
boundaries.  For example a 4-byte int can be stored on a unaligned
boundary in a case like this:

struct s {
	char f1;
	int f2;
} __attribute((packed));

...the int is stored at an offset of one byte.  Some platforms have
problems dereferencing data that is not aligned with its size, and
code exists to handle most cases of this for BTF typed data display.
However pointer display was missed, and a simple function to test if
"ptr_is_aligned(data, data_sz)" would help clarify this code.

Suggested-by: Andrii Nakryiko <andrii@kernel.org>
Signed-off-by: Alan Maguire <alan.maguire@oracle.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/bpf/1626475617-25984-2-git-send-email-alan.maguire@oracle.com
  • Loading branch information
Alan Maguire authored and Andrii Nakryiko committed Jul 17, 2021
1 parent 068dfc6 commit 8d44c35
Showing 1 changed file with 24 additions and 4 deletions.
28 changes: 24 additions & 4 deletions tools/lib/bpf/btf_dump.c
Original file line number Diff line number Diff line change
Expand Up @@ -1654,6 +1654,11 @@ static int btf_dump_base_type_check_zero(struct btf_dump *d,
return 0;
}

static bool ptr_is_aligned(const void *data, int data_sz)
{
return ((uintptr_t)data) % data_sz == 0;
}

static int btf_dump_int_data(struct btf_dump *d,
const struct btf_type *t,
__u32 type_id,
Expand All @@ -1672,7 +1677,7 @@ static int btf_dump_int_data(struct btf_dump *d,
/* handle packed int data - accesses of integers not aligned on
* int boundaries can cause problems on some platforms.
*/
if (((uintptr_t)data) % sz)
if (!ptr_is_aligned(data, sz))
return btf_dump_bitfield_data(d, t, data, 0, 0);

switch (sz) {
Expand Down Expand Up @@ -1739,7 +1744,7 @@ static int btf_dump_float_data(struct btf_dump *d,
int sz = t->size;

/* handle unaligned data; copy to local union */
if (((uintptr_t)data) % sz) {
if (!ptr_is_aligned(data, sz)) {
memcpy(&fl, data, sz);
flp = &fl;
}
Expand Down Expand Up @@ -1892,12 +1897,27 @@ static int btf_dump_struct_data(struct btf_dump *d,
return err;
}

union ptr_data {
unsigned int p;
unsigned long long lp;
};

static int btf_dump_ptr_data(struct btf_dump *d,
const struct btf_type *t,
__u32 id,
const void *data)
{
btf_dump_type_values(d, "%p", *(void **)data);
if (ptr_is_aligned(data, d->ptr_sz) && d->ptr_sz == sizeof(void *)) {
btf_dump_type_values(d, "%p", *(void **)data);
} else {
union ptr_data pt;

memcpy(&pt, data, d->ptr_sz);
if (d->ptr_sz == 4)
btf_dump_type_values(d, "0x%x", pt.p);
else
btf_dump_type_values(d, "0x%llx", pt.lp);
}
return 0;
}

Expand All @@ -1910,7 +1930,7 @@ static int btf_dump_get_enum_value(struct btf_dump *d,
int sz = t->size;

/* handle unaligned enum value */
if (((uintptr_t)data) % sz) {
if (!ptr_is_aligned(data, sz)) {
*value = (__s64)btf_dump_bitfield_get_data(d, t, data, 0, 0);
return 0;
}
Expand Down

0 comments on commit 8d44c35

Please sign in to comment.