From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mx0a-00082601.pphosted.com (mx0a-00082601.pphosted.com [67.231.145.42]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 57D77C3 for ; Mon, 4 Dec 2023 15:39:53 -0800 (PST) Received: from pps.filterd (m0044010.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 3B4KGrm5007860 for ; Mon, 4 Dec 2023 15:39:53 -0800 Received: from maileast.thefacebook.com ([163.114.130.16]) by mx0a-00082601.pphosted.com (PPS) with ESMTPS id 3us6mcg0kq-9 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Mon, 04 Dec 2023 15:39:52 -0800 Received: from twshared51573.38.frc1.facebook.com (2620:10d:c0a8:1b::30) by mail.thefacebook.com (2620:10d:c0a8:83::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.34; Mon, 4 Dec 2023 15:39:48 -0800 Received: by devbig019.vll3.facebook.com (Postfix, from userid 137359) id B39893C9725C5; Mon, 4 Dec 2023 15:39:35 -0800 (PST) From: Andrii Nakryiko To: , , , CC: , Subject: [PATCH bpf-next 01/13] bpf: log PTR_TO_MEM memory size in verifier log Date: Mon, 4 Dec 2023 15:39:19 -0800 Message-ID: <20231204233931.49758-2-andrii@kernel.org> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20231204233931.49758-1-andrii@kernel.org> References: <20231204233931.49758-1-andrii@kernel.org> Precedence: bulk X-Mailing-List: bpf@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-FB-Internal: Safe Content-Type: text/plain X-Proofpoint-GUID: emxkJeEoGq1Qs4QI2Yll-Xk7jdUmIsl1 X-Proofpoint-ORIG-GUID: emxkJeEoGq1Qs4QI2Yll-Xk7jdUmIsl1 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.272,Aquarius:18.0.997,Hydra:6.0.619,FMLib:17.11.176.26 definitions=2023-12-04_22,2023-12-04_01,2023-05-22_02 Emit valid memory size addressable through PTR_TO_MEM register. Signed-off-by: Andrii Nakryiko --- kernel/bpf/log.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/kernel/bpf/log.c b/kernel/bpf/log.c index 55d019f30e91..61d7d23a0118 100644 --- a/kernel/bpf/log.c +++ b/kernel/bpf/log.c @@ -682,6 +682,10 @@ static void print_reg_state(struct bpf_verifier_env = *env, verbose_a("r=3D"); verbose_unum(env, reg->range); } + if (base_type(t) =3D=3D PTR_TO_MEM) { + verbose_a("sz=3D"); + verbose_unum(env, reg->mem_size); + } if (tnum_is_const(reg->var_off)) { /* a pointer register with fixed offset */ if (reg->var_off.value) { --=20 2.34.1