In the Linux kernel, the following vulnerability has been resolved:

bpf: Fix stack slot index in nospec checks

check_stack_write_fixed_off() computes the byte slot for a fixed-offset
stack write as -off - 1, and records each written byte in slot_type[] with
(slot - i) % BPF_REG_SIZE.

The Spectre v4 sanitization pre-check uses slot_type[i] instead. For a
4-byte write at fp-8 after the lower half of fp-8 has been zeroed, the
pre-check scans bytes 0..3 and sees STACK_ZERO while the actual write updates
bytes 7..4. That can leave the second half-slot write without nospec_result
even though the bytes being overwritten still require sanitization.

Use the same slot index in the sanitization pre-check that the write path uses
when updating slot_type[].

https://git.kernel.org/stable/c/475405593de2b796224c6297aece44f321195919

https://git.kernel.org/stable/c/68b41e68a62299f26cb16af422b5c7d1c69dafd9

https://git.kernel.org/stable/c/a71eb8f730a91271cf47ce291e785b6b7e54622f

https://git.kernel.org/stable/c/ca119656baa8f48a56e0c2f3ab63fdd33ca9e307

https://git.kernel.org/stable/c/d1d53aa30ab3b5ae89161c9cc840b3f7489ad386

https://git.kernel.org/stable/c/db8f1dcf5950b91886b9df4270bc816370d292c1

https://git.kernel.org/stable/c/e62268e695075a481a6c4feeb022c19cf57422a6

https://git.kernel.org/stable/c/f1471aa76d74e0df3b2a90731ca0208f498c670b

[{"vendor":"Linux","product":"Linux","defaultStatus":"unaffected","programFiles":["kernel/bpf/verifier.c"],"repo":"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git","versions":[{"version":"0e9280654aa482088ee6ef3deadef331f5ac5fb0","lessThan":"e62268e695075a481a6c4feeb022c19cf57422a6","versionType":"git","status":"affected"},{"version":"2039f26f3aca5b0e419b98f65dd36481337b86ee","lessThan":"a71eb8f730a91271cf47ce291e785b6b7e54622f","versionType":"git","status":"affected"},{"version":"2039f26f3aca5b0e419b98f65dd36481337b86ee","lessThan":"ca119656baa8f48a56e0c2f3ab63fdd33ca9e307","versionType":"git","status":"affected"},{"version":"2039f26f3aca5b0e419b98f65dd36481337b86ee","lessThan":"475405593de2b796224c6297aece44f321195919","versionType":"git","status":"affected"},{"version":"2039f26f3aca5b0e419b98f65dd36481337b86ee","lessThan":"f1471aa76d74e0df3b2a90731ca0208f498c670b","versionType":"git","status":"affected"},{"version":"2039f26f3aca5b0e419b98f65dd36481337b86ee","lessThan":"68b41e68a62299f26cb16af422b5c7d1c69dafd9","versionType":"git","status":"affected"},{"version":"2039f26f3aca5b0e419b98f65dd36481337b86ee","lessThan":"db8f1dcf5950b91886b9df4270bc816370d292c1","versionType":"git","status":"affected"},{"version":"2039f26f3aca5b0e419b98f65dd36481337b86ee","lessThan":"d1d53aa30ab3b5ae89161c9cc840b3f7489ad386","versionType":"git","status":"affected"},{"version":"872968502114d68c21419cf7eb5ab97717e7b803","versionType":"git","status":"affected"},{"version":"f5893af2704eb763eb982f01d573f5b19f06b623","versionType":"git","status":"affected"},{"version":"0b27bdf02c400684225ee5ee99970bcbf5082282","versionType":"git","status":"affected"},{"version":"5.10.56","lessThan":"5.10.261","versionType":"semver","status":"affected"},{"version":"4.19.207","lessThan":"4.20","versionType":"semver","status":"affected"},{"version":"5.4.146","lessThan":"5.5","versionType":"semver","status":"affected"},{"version":"5.13.8","lessThan":"5.14","versionType":"semver","status":"affected"}]},{"vendor":"Linux","product":"Linux","defaultStatus":"affected","programFiles":["kernel/bpf/verifier.c"],"repo":"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git","versions":[{"version":"5.14","status":"affected"},{"version":"0","lessThan":"5.14","versionType":"semver","status":"unaffected"},{"version":"5.10.261","lessThanOrEqual":"5.10.*","versionType":"semver","status":"unaffected"},{"version":"5.15.212","lessThanOrEqual":"5.15.*","versionType":"semver","status":"unaffected"},{"version":"6.1.178","lessThanOrEqual":"6.1.*","versionType":"semver","status":"unaffected"},{"version":"6.6.145","lessThanOrEqual":"6.6.*","versionType":"semver","status":"unaffected"},{"version":"6.12.97","lessThanOrEqual":"6.12.*","versionType":"semver","status":"unaffected"},{"version":"6.18.40","lessThanOrEqual":"6.18.*","versionType":"semver","status":"unaffected"},{"version":"7.1.5","lessThanOrEqual":"7.1.*","versionType":"semver","status":"unaffected"},{"version":"7.2-rc1","lessThanOrEqual":"*","versionType":"original_commit_for_fix","status":"unaffected"}]}]