[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <17c39722-8d76-7e62-1c0d-d2df7e3385d5@huawei.com>
Date: Wed, 30 Oct 2024 09:18:33 +0800
From: Jinjie Ruan <ruanjinjie@...wei.com>
To: Nathan Chancellor <nathan@...nel.org>, Masami Hiramatsu
<mhiramat@...nel.org>
CC: <naveen@...nel.org>, <anil.s.keshavamurthy@...el.com>,
<davem@...emloft.net>, <kees@...nel.org>, <gustavoars@...nel.org>,
<linux-kernel@...r.kernel.org>, <linux-trace-kernel@...r.kernel.org>,
<linux-hardening@...r.kernel.org>
Subject: Re: [PATCH 1/3] kprobes: Annotate structs with __counted_by()
On 2024/10/30 5:12, Nathan Chancellor wrote:
> On Tue, Oct 22, 2024 at 01:56:01PM -0700, Nathan Chancellor wrote:
>> Hi,
>>
>> On Tue, Aug 13, 2024 at 07:53:32PM +0800, Jinjie Ruan wrote:
>>> Add the __counted_by compiler attribute to the flexible array member
>>> stripes to improve access bounds-checking via CONFIG_UBSAN_BOUNDS and
>>> CONFIG_FORTIFY_SOURCE.
>>>
>>> Signed-off-by: Jinjie Ruan <ruanjinjie@...wei.com>
>>> ---
>>> kernel/kprobes.c | 2 +-
>>> 1 file changed, 1 insertion(+), 1 deletion(-)
>>>
>>> diff --git a/kernel/kprobes.c b/kernel/kprobes.c
>>> index da59c68df841..e6f7b0d3b29c 100644
>>> --- a/kernel/kprobes.c
>>> +++ b/kernel/kprobes.c
>>> @@ -92,7 +92,7 @@ struct kprobe_insn_page {
>>> struct kprobe_insn_cache *cache;
>>> int nused;
>>> int ngarbage;
>>> - char slot_used[];
>>> + char slot_used[] __counted_by(nused);
>>> };
>>>
>>> #define KPROBE_INSN_PAGE_SIZE(slots) \
>>> --
>>> 2.34.1
>>>
>>
>> This change was not properly tested. In next-20241022, where this
>> changes appears as commit 0888460c9050 ("kprobes: Annotate structs with
>> __counted_by()"), I get a fortify failure because ->nused is initialized
>> after the call to memset(). For example, with Debian's powerpc64le
>> configuration (which is just the first configuration I happened to see
>> this warning in, I don't think it is architecture specific):
>>
>> $ curl -LSso .config https://github.com/nathanchance/llvm-kernel-testing/raw/096eeab130a9077206d3ddd6f0c6e39187113869/configs/debian/powerpc64le.config
>>
>> $ make -skj"$(nproc)" ARCH=powerpc CROSS_COMPILE=powerpc64le-linux-gnu- LLVM=1 olddefconfig zImage.epapr
>>
>> $ curl -LSs https://github.com/ClangBuiltLinux/boot-utils/releases/download/20230707-182910/ppc64le-rootfs.cpio.zst | zstd -d >rootfs.cpio
>>
>> $ qemu-system-ppc64 \
>> -display none \
>> -nodefaults \
>> -device ipmi-bmc-sim,id=bmc0 \
>> -device isa-ipmi-bt,bmc=bmc0,irq=10 \
>> -machine powernv \
>> -kernel arch/powerpc/boot/zImage.epapr \
>> -initrd rootfs.cpio \
>> -m 2G \
>> -serial mon:stdio
>> ...
>> [ 0.000000] Linux version 6.12.0-rc4-next-20241022 (nathan@...xlarge-x86) (ClangBuiltLinux clang version 19.1.2 (https://github.com/llvm/llvm-project.git 7ba7d8e2f7b6445b60679da826210cdde29eaf8b), ClangBuiltLinux LLD 19.1.2 (https://github.com/llvm/llvm-project.git 7ba7d8e2f7b6445b60679da826210cdde29eaf8b)) #1 SMP Tue Oct 22 20:24:37 UTC 2024
>> ...
>> [ 0.138628] ------------[ cut here ]------------
>> [ 0.138816] memset: detected buffer overflow: 512 byte write of buffer size 0
>> [ 0.140141] WARNING: CPU: 0 PID: 1 at lib/string_helpers.c:1033 __fortify_report+0x60/0x80
>> [ 0.142208] Modules linked in:
>> [ 0.142722] CPU: 0 UID: 0 PID: 1 Comm: swapper/0 Not tainted 6.12.0-rc4-next-20241022 #1
>> [ 0.143379] Hardware name: IBM PowerNV (emulated by qemu) POWER10 0x801200 opal:v7.1 PowerNV
>> [ 0.143810] NIP: c000000000900920 LR: c00000000090091c CTR: 0000000000000000
>> [ 0.144098] REGS: c000000002acf290 TRAP: 0700 Not tainted (6.12.0-rc4-next-20241022)
>> [ 0.144457] MSR: 9000000002029033 <SF,HV,VEC,EE,ME,IR,DR,RI,LE> CR: 24800280 XER: 00000000
>> [ 0.145048] CFAR: c00000000014e414 IRQMASK: 0
>> [ 0.145048] GPR00: c00000000090091c c000000002acf530 c0000000017bf0e0 0000000000000041
>> [ 0.145048] GPR04: c0000000025911f8 c0000000ffffefff 0000000000000003 0000000000000001
>> [ 0.145048] GPR08: 0000000000000003 0000000000000004 0000000000000000 9000000002001033
>> [ 0.145048] GPR12: 0000000000800000 c00000000289e000 c000000000010eb8 0000000000000000
>> [ 0.145048] GPR16: 0000000000000000 0000000000000000 0000000000000000 0000000000000000
>> [ 0.145048] GPR20: 0000000000000000 0000000000000000 0000000000000000 c0000000027fba70
>> [ 0.145048] GPR24: 61c8864680b583eb 0000000000000000 0000000000001000 0000000000000000
>> [ 0.145048] GPR28: c000000002a83400 c00000000262de68 c00000000262de30 c000000002acf5b0
>> [ 0.147696] NIP [c000000000900920] __fortify_report+0x60/0x80
>> [ 0.147934] LR [c00000000090091c] __fortify_report+0x5c/0x80
>> [ 0.148277] Call Trace:
>> [ 0.148465] [c000000002acf530] [c00000000090091c] __fortify_report+0x5c/0x80 (unreliable)
>> [ 0.148855] [c000000002acf590] [c000000000900958] __fortify_panic+0x18/0x40
>> [ 0.149133] [c000000002acf5b0] [c0000000002e3508] __get_insn_slot+0x308/0x320
>> [ 0.149413] [c000000002acf620] [c0000000000586c4] arch_prepare_kprobe+0x1e4/0x270
>> [ 0.149699] [c000000002acf6b0] [c0000000002e496c] register_kprobe+0x4cc/0x8e0
>> [ 0.149975] [c000000002acf930] [c0000000020154ac] arch_init_kprobes+0x30/0x54
>> [ 0.150262] [c000000002acf960] [c0000000020411bc] init_kprobes+0x80/0x120
>> [ 0.150524] [c000000002acf9d0] [c000000000010630] do_one_initcall+0x120/0x3e0
>> [ 0.150798] [c000000002acfd50] [c000000002005cb8] do_pre_smp_initcalls+0x70/0x114
>> [ 0.151082] [c000000002acfd90] [c000000002005b70] kernel_init_freeable+0x14c/0x224
>> [ 0.151365] [c000000002acfde0] [c000000000010eec] kernel_init+0x3c/0x250
>> [ 0.151622] [c000000002acfe50] [c00000000000de3c] ret_from_kernel_user_thread+0x14/0x1c
>> [ 0.151935] --- interrupt: 0 at 0x0
>> [ 0.152433] Code: 3cc2fffc 70630001 3c62ffa0 78841f48 38c6f388 38636489 7c86202a 3cc2ff9c 38c62f30 7cc8305e 4b84d9e1 60000000 <0fe00000> 38210060 e8010010 7c0803a6
>> [ 0.153155] ---[ end trace 0000000000000000 ]---
>> ...
>>
>> Even if the current ->nused assignment is moved before the call to
>> memset(), the failure still occurs because 1 is clearly wrong for the
>> size of memset(), which is 512 bytes for this configuration. Could this
>> instance of memset() be avoided by using kzalloc() for the kip
>> allocation? Could also take the opportunity to use struct_size(). The
>> following diff fixes this issue for me but I did not do any further
>> testing. If this does not work for some reason and there is no other
>> obvious solution, I think this change should be reverted.
>
> Ping? I still see this on next-20241029. I can also reproduce it with a
> tip of tree GCC.
Hi, Nathan,
Could you send the patch to fix this?
>
>> diff --git a/kernel/kprobes.c b/kernel/kprobes.c
>> index 98d71a5acb72..6adb0cc4e45c 100644
>> --- a/kernel/kprobes.c
>> +++ b/kernel/kprobes.c
>> @@ -95,10 +95,6 @@ struct kprobe_insn_page {
>> char slot_used[] __counted_by(nused);
>> };
>>
>> -#define KPROBE_INSN_PAGE_SIZE(slots) \
>> - (offsetof(struct kprobe_insn_page, slot_used) + \
>> - (sizeof(char) * (slots)))
>> -
>> static int slots_per_page(struct kprobe_insn_cache *c)
>> {
>> return PAGE_SIZE/(c->insn_size * sizeof(kprobe_opcode_t));
>> @@ -175,7 +171,7 @@ kprobe_opcode_t *__get_insn_slot(struct kprobe_insn_cache *c)
>> goto retry;
>>
>> /* All out of space. Need to allocate a new page. */
>> - kip = kmalloc(KPROBE_INSN_PAGE_SIZE(slots_per_page(c)), GFP_KERNEL);
>> + kip = kzalloc(struct_size(kip, slot_used, slots_per_page(c)), GFP_KERNEL);
>> if (!kip)
>> goto out;
>>
>> @@ -185,10 +181,8 @@ kprobe_opcode_t *__get_insn_slot(struct kprobe_insn_cache *c)
>> goto out;
>> }
>> INIT_LIST_HEAD(&kip->list);
>> - memset(kip->slot_used, SLOT_CLEAN, slots_per_page(c));
>> - kip->slot_used[0] = SLOT_USED;
>> kip->nused = 1;
>> - kip->ngarbage = 0;
>> + kip->slot_used[0] = SLOT_USED;
>> kip->cache = c;
>> list_add_rcu(&kip->list, &c->pages);
>> slot = kip->insns;
>
Powered by blists - more mailing lists