[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-Id: <170252102417.28832.15985840662984348558.git-patchwork-notify@kernel.org>
Date: Thu, 14 Dec 2023 02:30:24 +0000
From: patchwork-bot+netdevbpf@...nel.org
To: Nikolay Kuratov <kniv@...dex-team.ru>
Cc: linux-kernel@...r.kernel.org, sgarzare@...hat.com,
netdev@...r.kernel.org, virtualization@...ts.linux.dev,
kvm@...r.kernel.org
Subject: Re: [PATCH v2] vsock/virtio: Fix unsigned integer wrap around in
virtio_transport_has_space()
Hello:
This patch was applied to netdev/net.git (main)
by Jakub Kicinski <kuba@...nel.org>:
On Mon, 11 Dec 2023 19:23:17 +0300 you wrote:
> We need to do signed arithmetic if we expect condition
> `if (bytes < 0)` to be possible
>
> Found by Linux Verification Center (linuxtesting.org) with SVACE
>
> Fixes: 06a8fc78367d ("VSOCK: Introduce virtio_vsock_common.ko")
> Signed-off-by: Nikolay Kuratov <kniv@...dex-team.ru>
>
> [...]
Here is the summary with links:
- [v2] vsock/virtio: Fix unsigned integer wrap around in virtio_transport_has_space()
https://git.kernel.org/netdev/net/c/60316d7f10b1
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
Powered by blists - more mailing lists