From ad460879ef84b25c93f77b7bfb8bf04b6d33ec08 Mon Sep 17 00:00:00 2001 From: Tamir Duberstein Date: Wed, 27 Sep 2023 12:31:25 -0400 Subject: [PATCH] integration-test: replace macro with function There's just no need for a macro here. --- test/integration-ebpf/src/bpf_probe_read.rs | 85 ++++++++++----------- 1 file changed, 42 insertions(+), 43 deletions(-) diff --git a/test/integration-ebpf/src/bpf_probe_read.rs b/test/integration-ebpf/src/bpf_probe_read.rs index 64d56311..d86a6bba 100644 --- a/test/integration-ebpf/src/bpf_probe_read.rs +++ b/test/integration-ebpf/src/bpf_probe_read.rs @@ -10,33 +10,41 @@ use aya_bpf::{ const RESULT_BUF_LEN: usize = 1024; -macro_rules! read_str_bytes { - ($fun:ident, $ptr:expr, $len:expr $(,)?) => { - let Some(ptr) = RESULT.get_ptr_mut(0) else { - return; - }; - let dst = unsafe { ptr.as_mut() }; - let Some(TestResult { buf, len }) = dst else { - return; - }; - *len = None; - - // $len comes from ctx.arg(1) so it's dynamic and the verifier - // doesn't see any bounds. We do $len.min(RESULT_BUF_LEN) here to - // ensure that the verifier can see the upper bound, or you get: - // - // 18: (79) r7 = *(u64 *)(r7 +8) ; R7_w=scalar() - // [snip] - // 27: (bf) r2 = r7 ; - // R2_w=scalar(id=2,umax=9223372036854775807,var_off=(0x0; 0x7fffffffffffffff)) [snip] - // 28: (85) call bpf_probe_read_user_str#114 - // R2 unbounded memory access, use 'var &= const' or 'if (var < const)' - let Some(buf) = buf.get_mut(..$len) else { - return; - }; +fn read_str_bytes( + fun: unsafe fn(*const u8, &mut [u8]) -> Result<&[u8], i64>, + iptr: Option<*const u8>, + ilen: Option, +) { + let Some(iptr) = iptr else { + return; + }; + let Some(ilen) = ilen else { + return; + }; + let Some(ptr) = RESULT.get_ptr_mut(0) else { + return; + }; + let dst = unsafe { ptr.as_mut() }; + let Some(TestResult { buf, len }) = dst else { + return; + }; + *len = None; - *len = Some(unsafe { $fun($ptr, buf) }.map(<[_]>::len)); + // len comes from ctx.arg(1) so it's dynamic and the verifier + // doesn't see any bounds. We do len.min(RESULT_BUF_LEN) here to + // ensure that the verifier can see the upper bound, or you get: + // + // 18: (79) r7 = *(u64 *)(r7 +8) ; R7_w=scalar() + // [snip] + // 27: (bf) r2 = r7 ; + // R2_w=scalar(id=2,umax=9223372036854775807,var_off=(0x0; 0x7fffffffffffffff)) [snip] + // 28: (85) call bpf_probe_read_user_str#114 + // R2 unbounded memory access, use 'var &= const' or 'if (var < const)' + let Some(buf) = buf.get_mut(..ilen) else { + return; }; + + *len = Some(unsafe { fun(iptr, buf) }.map(<[_]>::len)); } #[repr(C)] @@ -53,31 +61,22 @@ static KERNEL_BUFFER: Array<[u8; RESULT_BUF_LEN]> = Array::with_max_entries(1, 0 #[uprobe] pub fn test_bpf_probe_read_user_str_bytes(ctx: ProbeContext) { - read_str_bytes!( + read_str_bytes( bpf_probe_read_user_str_bytes, - match ctx.arg::<*const u8>(0) { - Some(p) => p, - _ => return, - }, - match ctx.arg::(1) { - Some(p) => p, - _ => return, - }, + ctx.arg::<*const u8>(0), + ctx.arg::(1), ); } #[uprobe] pub fn test_bpf_probe_read_kernel_str_bytes(ctx: ProbeContext) { - read_str_bytes!( + read_str_bytes( bpf_probe_read_kernel_str_bytes, - match KERNEL_BUFFER.get_ptr(0) { - Some(p) => p as *const u8, - _ => return, - }, - match ctx.arg::(0) { - Some(p) => p, - _ => return, - }, + KERNEL_BUFFER + .get_ptr(0) + .and_then(|ptr| unsafe { ptr.as_ref() }) + .map(|buf| buf.as_ptr()), + ctx.arg::(0), ); }