From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pegase2.c-s.fr (pegase2.c-s.fr [93.17.235.10]) by smtp.subspace.kernel.org (Postfix) with ESMTP id 2CA1118A6C1 for ; Thu, 16 Jan 2025 06:50:03 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=93.17.235.10 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1737010207; cv=none; b=UFfmeEStKu8gE6av/ZHJyv+thkgFZVEPxpiFXpwyWijXgzYVXzgLmPa5S3M02j+HuIAVHHp5sfPH4tnNdnmPfXih2Oo7ocW4UX/GUJA2bdUC+4KXZyGKhZiD5Zj0VXOth+2/tcVl3Ht/7gZmzF8xhL3xl4D3eJU8DShr2rcexj0= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1737010207; c=relaxed/simple; bh=bGXXsq3om2FPnUB/yes4mpM8o08wLtNDeAykI+xcj44=; h=Message-ID:Date:MIME-Version:Subject:To:Cc:References:From: In-Reply-To:Content-Type; b=UNbv/wwCZpMJxF7a9GdhgSE09ZlrV15ys5GyTjacfohKI9Tb0oKqRG1BorWNGqEfIXXC6haA5Nm6Y1KRpNldWzrXJDUb5NsOexhy5u66aL8l50Be2kYr77jAWhDh1jHJRITF9IcSvil9zYNPNwLjUBCqwv6pPURjSRpXto2VQb4= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=csgroup.eu; spf=pass smtp.mailfrom=csgroup.eu; arc=none smtp.client-ip=93.17.235.10 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=csgroup.eu Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=csgroup.eu Received: from localhost (mailhub3.si.c-s.fr [172.26.127.67]) by localhost (Postfix) with ESMTP id 4YYXtB4PM7z9sST; Thu, 16 Jan 2025 07:25:38 +0100 (CET) X-Virus-Scanned: amavisd-new at c-s.fr Received: from pegase2.c-s.fr ([172.26.127.65]) by localhost (pegase2.c-s.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id zvu0bE32cUqa; Thu, 16 Jan 2025 07:25:38 +0100 (CET) Received: from messagerie.si.c-s.fr (messagerie.si.c-s.fr [192.168.25.192]) by pegase2.c-s.fr (Postfix) with ESMTP id 4YYXtB3VX0z9sSS; Thu, 16 Jan 2025 07:25:38 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by messagerie.si.c-s.fr (Postfix) with ESMTP id 6497E8B77A; Thu, 16 Jan 2025 07:25:38 +0100 (CET) X-Virus-Scanned: amavisd-new at c-s.fr Received: from messagerie.si.c-s.fr ([127.0.0.1]) by localhost (messagerie.si.c-s.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id KeEUKWueXOwO; Thu, 16 Jan 2025 07:25:38 +0100 (CET) Received: from [192.168.235.99] (unknown [192.168.235.99]) by messagerie.si.c-s.fr (Postfix) with ESMTP id 1C4B78B774; Thu, 16 Jan 2025 07:25:37 +0100 (CET) Message-ID: <92e889d2-b883-41fe-b75f-1909ac23f5e2@csgroup.eu> Date: Thu, 16 Jan 2025 07:25:35 +0100 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH v5 00/15] powerpc/objtool: uaccess validation for PPC32 (v5) To: Josh Poimboeuf , Peter Zijlstra , Nathan Chancellor , Nick Desaulniers , Bill Wendling , Justin Stitt , Julien Thierry , Miroslav Benes , Raphael Gault , Michael Ellerman , Nicholas Piggin , Naveen N Rao , Madhavan Srinivasan Cc: linux-kernel@vger.kernel.org, linuxppc-dev@lists.ozlabs.org, llvm@lists.linux.dev References: Content-Language: fr-FR From: Christophe Leroy In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Le 15/01/2025 à 23:42, Christophe Leroy a écrit : > This series adds UACCESS validation for PPC32. It includes > a dozen of changes to objtool core. > > It applies on top of series "Cleanup/Optimise KUAP (v3)" > https://patchwork.ozlabs.org/project/linuxppc-dev/list/?series=363368&state=* I forgot to remove that sentence. That was merged long time ago so the series doesn't have any dependency anymore, it applies as standalone on top of git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git branch tip/objtool/core (HEAD 41a1e976623e ("x86/mm: Convert unreachable() to BUG()")) > > It is almost mature, performs code analysis for all PPC32. > > In this version objtool switch table lookup has been enhanced to > handle nested switch tables. > > Most object files are correctly decoded, only a few > 'unreachable instruction' warnings remain due to more complex > fonctions which include back and forth jumps or branches. Two types > of switch tables are missed at the time being: > - When switch table address is temporarily saved in the stack before > being used. > - When there are backwards jumps in the path. > > It allowed to detect some UACCESS mess in a few files. They've been > fixed through other patches. > > Changes in v5: > - Rebased on top of https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git branch tip/objtool/core > - Use generic annotation infrastructure to annotate uaccess begin and end instructions >