From nobody Sun Feb 8 16:32:00 2026 Received: from mail-pg1-f202.google.com (mail-pg1-f202.google.com [209.85.215.202]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 08BA97C0A9 for ; Thu, 18 Apr 2024 23:20:32 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.215.202 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713482434; cv=none; b=h+vSOsveBK4CuPJ8ga9bO/+xp/mKfXh07bDlj9vsjyAiLXGJf30xeKcf9VtsziUzhyR+7jvbNVAzcLNA20mYk0TVZIpFHQ6zHf321488A/qKTiLM4fUdxf8BPS5OG0VRZ3iGY5ZyBWV5lvFZKl78egteaXmnibZ2rOwg+5aAQQo= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713482434; c=relaxed/simple; bh=7WAgsmWa8I2nRXxoayOV0F/ehsyZq3cQzYa0hL40wdw=; h=Date:In-Reply-To:Mime-Version:References:Message-ID:Subject:From: To:Cc:Content-Type; b=Otg5/IevzsfTKqthaI/RW7pQhGLlBP8GIvc/PMWWTzfFerPwlBaNDP4gn3EfYN3KpUUhxvjqhcUbA6t9g4h24JTmgRnafKoo/HRmtPITlpBXnRXuYJAmDLb04CQSZ2Tod2+MBIeH5q19V8Wo4WnFZZ952Gqqi/oNkOJp3DwDRCQ= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com; spf=pass smtp.mailfrom=flex--edliaw.bounces.google.com; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b=pn2WQmcr; arc=none smtp.client-ip=209.85.215.202 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=flex--edliaw.bounces.google.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="pn2WQmcr" Received: by mail-pg1-f202.google.com with SMTP id 41be03b00d2f7-5f7c0bb1b95so407769a12.0 for ; Thu, 18 Apr 2024 16:20:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1713482432; x=1714087232; darn=vger.kernel.org; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:from:to:cc:subject:date:message-id:reply-to; bh=PJWz1uvQTzKPjGuvX+wqPQBpUoIACARU5eow85W6RVU=; b=pn2WQmcr1AACnBg5t7LFSPJCbfvLviyF4Z/jvnKO/HCaMnH1ATHN6yAHg6D7ZHxJwY PSlVz3VxmPq1Q0MZHJFL4+Ors94G/RF1eCOVBSgSowkwFf0AsPMrhu+3dsMlQHqZcU9n QK93oCqiqWGkMRwvvuIn6AREpdkTtn755Wa0K+f7a6AVhxKkXc+QH7t5H2dyTRrXnNZg 9g1aozYqfFpkW2jUBsni5riM7COFPRRTiJukt7UEWjVpXlT24DmudVdVTyW8IR+Ft1IR ofGN3MCSIneVRslKtO61lu7/px2RxXjgigal61k7wT/k8sTn/fkj2rJPzyn7o8IHzk3/ Y9Yg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713482432; x=1714087232; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=PJWz1uvQTzKPjGuvX+wqPQBpUoIACARU5eow85W6RVU=; b=fH1+GsKjqZ/Q47lOzs2Q1DbacE3VYWQy8h8iyB2+/IH2EpdYHdcQ92Bgbc+D4vMqZ4 86XbXZxrH/Chu/HSbqGkntEEkoTsq5xmfcVIgREFYF+9P9RDIydn1PeoX5j/bwUCSH2T FLjhIAUzEC7VjSPqjLGpkI/SDfTx1kAHTFBHMGn/zg3pFr9bbGGHsz3snUKHnTYsA9Co iVS/wuqhhmpWpyFjxo4bKsmrF/ES391W7sey1EaoPYI4d7fl1sfX4E8IoLo1E3yICAdY jLXnM/02flLwhgjuq3k0QzLWOs8QIGxx4sQH9+NzorwgO8KFWfH3NqnefRqJt9IO8G3V lBLw== X-Forwarded-Encrypted: i=1; AJvYcCWJizEQNuLPP4m1hyOgLoAg7eNBs7l35EauM05r8Vq7/Mm5F/enyeFFORkdksTa/ZgJxNMcNEfmXGPXG83pYka3aJUlD+Yk3NvqgklP X-Gm-Message-State: AOJu0YyI1a68bKpj9oNvdrsyXKwmOPCOMtYFyz7NWqWMKaIX0ePw23ka 8T89X2vruIZ6+icTxE7BpjEf6XZeDr1zwF4DXsftdmrVdmwdJaCmvrcldwK0FFAVLOZzZ/8Ws+n Biw== X-Google-Smtp-Source: AGHT+IGZvpipb458KhuKNr2lT6l2L7v8w6uv6b7TY6/fKUTAKy1KSarqOpYJWvLTO6PRPcEY1aRIn/XdgRg= X-Received: from edliaw.c.googlers.com ([fda3:e722:ac3:cc00:24:72f4:c0a8:305d]) (user=edliaw job=sendgmr) by 2002:a17:90a:3d4f:b0:2a2:bcae:83c1 with SMTP id o15-20020a17090a3d4f00b002a2bcae83c1mr28422pjf.3.1713482432421; Thu, 18 Apr 2024 16:20:32 -0700 (PDT) Date: Thu, 18 Apr 2024 23:19:48 +0000 In-Reply-To: <20240418232005.34244-1-edliaw@google.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: Mime-Version: 1.0 References: <16430256912363@kroah.com> <20240418232005.34244-1-edliaw@google.com> X-Mailer: git-send-email 2.44.0.769.g3c40516874-goog Message-ID: <20240418232005.34244-3-edliaw@google.com> Subject: [PATCH 5.15.y v3 2/5] bpf: Generalize check_ctx_reg for reuse with other types From: Edward Liaw To: stable@vger.kernel.org, Alexei Starovoitov , Daniel Borkmann , Andrii Nakryiko , Martin KaFai Lau , Eduard Zingerman , Song Liu , Yonghong Song , John Fastabend , KP Singh , Stanislav Fomichev , Hao Luo , Jiri Olsa Cc: bpf@vger.kernel.org, kernel-team@android.com, Edward Liaw , Yonghong Song , linux-kernel@vger.kernel.org Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" From: Daniel Borkmann Generalize the check_ctx_reg() helper function into a more generic named one so that it can be reused for other register types as well to check whether their offset is non-zero. No functional change. Signed-off-by: Daniel Borkmann Acked-by: John Fastabend Acked-by: Alexei Starovoitov (cherry picked from commit be80a1d3f9dbe5aee79a325964f7037fe2d92f30) Signed-off-by: Edward Liaw --- include/linux/bpf_verifier.h | 4 ++-- kernel/bpf/btf.c | 2 +- kernel/bpf/verifier.c | 21 +++++++++++---------- 3 files changed, 14 insertions(+), 13 deletions(-) diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h index 3d04b48e502d..c0993b079ab5 100644 --- a/include/linux/bpf_verifier.h +++ b/include/linux/bpf_verifier.h @@ -541,8 +541,8 @@ bpf_prog_offload_replace_insn(struct bpf_verifier_env *= env, u32 off, void bpf_prog_offload_remove_insns(struct bpf_verifier_env *env, u32 off, u32 c= nt); =20 -int check_ctx_reg(struct bpf_verifier_env *env, - const struct bpf_reg_state *reg, int regno); +int check_ptr_off_reg(struct bpf_verifier_env *env, + const struct bpf_reg_state *reg, int regno); int check_mem_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg, u32 regno, u32 mem_size); =20 diff --git a/kernel/bpf/btf.c b/kernel/bpf/btf.c index 77929fd7bcef..a0c7e13e0ab4 100644 --- a/kernel/bpf/btf.c +++ b/kernel/bpf/btf.c @@ -5558,7 +5558,7 @@ static int btf_check_func_arg_match(struct bpf_verifi= er_env *env, i, btf_type_str(t)); return -EINVAL; } - if (check_ctx_reg(env, reg, regno)) + if (check_ptr_off_reg(env, reg, regno)) return -EINVAL; } else if (is_kfunc && (reg->type =3D=3D PTR_TO_BTF_ID || (reg2btf_ids[base_type(reg->type)] && !type_flag(reg->type)))) { diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 008ddb694c8a..6fe805b559c0 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -3980,16 +3980,16 @@ static int get_callee_stack_depth(struct bpf_verifi= er_env *env, } #endif =20 -int check_ctx_reg(struct bpf_verifier_env *env, - const struct bpf_reg_state *reg, int regno) +int check_ptr_off_reg(struct bpf_verifier_env *env, + const struct bpf_reg_state *reg, int regno) { - /* Access to ctx or passing it to a helper is only allowed in - * its original, unmodified form. + /* Access to this pointer-typed register or passing it to a helper + * is only allowed in its original, unmodified form. */ =20 if (reg->off) { - verbose(env, "dereference of modified ctx ptr R%d off=3D%d disallowed\n", - regno, reg->off); + verbose(env, "dereference of modified %s ptr R%d off=3D%d disallowed\n", + reg_type_str(env, reg->type), regno, reg->off); return -EACCES; } =20 @@ -3997,7 +3997,8 @@ int check_ctx_reg(struct bpf_verifier_env *env, char tn_buf[48]; =20 tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); - verbose(env, "variable ctx access var_off=3D%s disallowed\n", tn_buf); + verbose(env, "variable %s access var_off=3D%s disallowed\n", + reg_type_str(env, reg->type), tn_buf); return -EACCES; } =20 @@ -4447,7 +4448,7 @@ static int check_mem_access(struct bpf_verifier_env *= env, int insn_idx, u32 regn return -EACCES; } =20 - err =3D check_ctx_reg(env, reg, regno); + err =3D check_ptr_off_reg(env, reg, regno); if (err < 0) return err; =20 @@ -5327,7 +5328,7 @@ static int check_func_arg(struct bpf_verifier_env *en= v, u32 arg, return err; =20 if (type =3D=3D PTR_TO_CTX) { - err =3D check_ctx_reg(env, reg, regno); + err =3D check_ptr_off_reg(env, reg, regno); if (err < 0) return err; } @@ -9561,7 +9562,7 @@ static int check_ld_abs(struct bpf_verifier_env *env,= struct bpf_insn *insn) return err; } =20 - err =3D check_ctx_reg(env, ®s[ctx_reg], ctx_reg); + err =3D check_ptr_off_reg(env, ®s[ctx_reg], ctx_reg); if (err < 0) return err; =20 --=20 2.44.0.769.g3c40516874-goog