From: sashiko-bot@kernel.org
To: "Paolo Bonzini" <pbonzini@redhat.com>, kvm@vger.kernel.org
Subject: Re: [PATCH 31/45] KVM: x86: "Handle" failed decode when skipping instructions
Date: Mon, 02 Nov 2026 18:18:56 +0000 [thread overview]
Message-ID: <sashiko-outbox-193922@kernel.org> (raw)
In-Reply-To: <20261102174512.8903-15-pbonzini@redhat.com>
Thank you for your contribution! Sashiko AI review found 2 potential issue(s) to consider:
- [High] KVM: x86: skip_emulated_instruction() returns 0 with KVM_EXIT_MEMORY_FAULT
- [Medium] KVM: SVM: __svm_skip_emulated_instruction() kills VM on soft int RIP update
--
commit 7e42aaabee05dd2baa14946c524ae1b2af0f0bd1
Author: Paolo Bonzini <pbonzini@redhat.com>
KVM: x86: "Handle" failed decode when skipping instructions
This commit marks the VM dead when kvm_emulate_instruction() returns a
negative error code while skipping an emulated instruction in SVM and VMX,
and updates kvm_skip_emulated_instruction() and ICEBP handlers to check
for failure.
> diff --git a/arch/x86/kvm/svm/svm.c b/arch/x86/kvm/svm/svm.c
> index ece8d13c18a70..669bf8b36bb63 100644
> --- a/arch/x86/kvm/svm/svm.c
> +++ b/arch/x86/kvm/svm/svm.c
> @@ -304,6 +304,7 @@ static int __svm_skip_emulated_instruction(struct kvm_vcpu *vcpu,
> {
> struct vcpu_svm *svm = to_svm(vcpu);
> unsigned long old_rflags;
> + int r;
>
> /*
> * SEV-ES does not expose the next RIP. The RIP update is controlled by
> @@ -321,7 +322,10 @@ static int __svm_skip_emulated_instruction(struct kvm_vcpu *vcpu,
> if (unlikely(!commit_side_effects))
> old_rflags = svm->vmcb->save.rflags;
>
> - if (!kvm_emulate_instruction(vcpu, emul_type))
> + r = kvm_emulate_instruction(vcpu, emul_type);
> + if (r < 0)
> + kvm_vm_dead(vcpu->kvm);
> + if (r <= 0)
> return 0;
>
> if (unlikely(!commit_side_effects))
[Severity: Medium]
Should __svm_skip_emulated_instruction() really mark the VM dead when called
from svm_update_soft_interrupt_rip()?
Prior to VM-Entry, kvm_check_and_inject_events() invokes
svm_inject_exception() or svm_inject_irq() -> svm_update_soft_interrupt_rip()
to compute NextRIP before injecting a software exception or software
interrupt:
arch/x86/kvm/svm/svm.c:svm_update_soft_interrupt_rip() {
const int emul_type = EMULTYPE_SKIP | EMULTYPE_SKIP_SOFT_INT |
EMULTYPE_SET_SOFT_INT_VECTOR(vector);
...
if (!__svm_skip_emulated_instruction(vcpu, emul_type, !nrips))
return -EIO;
In that path, no instruction side effects have been performed yet (and when
nrips is enabled, commit_side_effects is false). As noted in the comment in
svm_update_soft_interrupt_rip(), decoding is not guaranteed to succeed, and a
failure returns -EIO so the caller drops the event injection and lets the
guest retry the instruction.
If the guest page at CS:RIP has restrictive memory attributes (such as
KVM_MEMORY_ATTRIBUTE_NX), kvm_emulate_instruction() returns -EFAULT and
__svm_skip_emulated_instruction() now calls kvm_vm_dead(vcpu->kvm),
terminating the VM instead of aborting the injection.
[ ... ]
> diff --git a/arch/x86/kvm/vmx/vmx.c b/arch/x86/kvm/vmx/vmx.c
> index b4a42785ff727..57be93198d335 100644
> --- a/arch/x86/kvm/vmx/vmx.c
> +++ b/arch/x86/kvm/vmx/vmx.c
> @@ -1809,6 +1809,7 @@ static int skip_emulated_instruction(struct kvm_vcpu *vcpu)
> union vmx_exit_reason exit_reason = vt_get_exit_reason(vcpu);
> unsigned long rip, orig_rip;
> u32 instr_len;
> + int r;
>
> /*
> * Using VMCS.VM_EXIT_INSTRUCTION_LEN on EPT misconfig depends on
> @@ -1857,7 +1858,10 @@ static int skip_emulated_instruction(struct kvm_vcpu *vcpu)
> #endif
> kvm_rip_write(vcpu, rip);
> } else {
> - if (!kvm_emulate_instruction(vcpu, EMULTYPE_SKIP))
> + r = kvm_emulate_instruction(vcpu, EMULTYPE_SKIP);
> + if (r < 0)
> + kvm_vm_dead(vcpu->kvm);
> + if (r <= 0)
> return 0;
> }
>
[ ... ]
> diff --git a/arch/x86/kvm/x86.c b/arch/x86/kvm/x86.c
> index 5f7f87ff4d17c..5818101d1d8ae 100644
> --- a/arch/x86/kvm/x86.c
> +++ b/arch/x86/kvm/x86.c
> @@ -6235,8 +6235,8 @@ int kvm_skip_emulated_instruction(struct kvm_vcpu *vcpu)
> int r;
>
> r = kvm_x86_call(skip_emulated_instruction)(vcpu);
> - if (unlikely(!r))
> - return 0;
> + if (unlikely(r <= 0))
> + return r;
>
> kvm_pmu_instruction_retired(vcpu);
>
[Severity: High]
Won't clamping r < 0 to 0 in __svm_skip_emulated_instruction() and VMX's
skip_emulated_instruction() cause KVM_RUN to return 0 with exit_reason set to
KVM_EXIT_MEMORY_FAULT, while also making the r < 0 case in
kvm_skip_emulated_instruction() unreachable?
When an instruction fetch hits a guest page with non-executable or
non-readable memory attributes during kvm_emulate_instruction() ->
x86_emulate_instruction() -> x86_decode_emulated_instruction() ->
x86_decode_insn() -> kvm_fetch_guest_virt(), kvm_prepare_memory_fault_exit()
sets vcpu->run->exit_reason = KVM_EXIT_MEMORY_FAULT, and
x86_emulate_instruction() returns -EFAULT before reaching
handle_emulation_failure():
arch/x86/kvm/x86.c:x86_emulate_instruction() {
r = x86_decode_emulated_instruction(vcpu, emulation_type,
insn, insn_len);
if (r == EMULATION_MEMORY_FAULT)
return -EFAULT;
In both __svm_skip_emulated_instruction() and VMX's
skip_emulated_instruction(), the check:
if (r < 0)
kvm_vm_dead(vcpu->kvm);
if (r <= 0)
return 0;
returns 0 when r is negative, so kvm_x86_call(skip_emulated_instruction)(vcpu)
never returns a negative value to kvm_skip_emulated_instruction().
When 0 is propagated back to vcpu_enter_guest() -> vcpu_run() (or through
vcpu->arch.complete_userspace_io in kvm_arch_vcpu_ioctl_run()), the run loop
exits to userspace immediately on r <= 0 without re-entering
vcpu_enter_guest() where KVM_REQ_VM_DEAD is checked and converted into -EIO.
As a result, ioctl(KVM_RUN) returns 0 to userspace with vcpu->run->exit_reason
left as KVM_EXIT_MEMORY_FAULT, violating the KVM_EXIT_MEMORY_FAULT UAPI
contract (which requires a -1 return with errno set to EFAULT or EHWPOISON).
In addition, in callers such as kvm_emulate_halt() and
kvm_emulate_ap_reset_hold() with a userspace irqchip, __kvm_emulate_halt()
overwrites exit_reason with KVM_EXIT_HLT or KVM_EXIT_AP_RESET_HOLD before
returning 0.
Note that if the vendor callbacks are changed to return a negative error code
(such as -EIO) when r < 0, callers that test the return value as a boolean --
such as !svm_skip_emulated_instruction(vcpu) in icebp_interception(),
task_switch_interception(), nested_svm_vmrun(), and
svm_update_soft_interrupt_rip(); !skip_emulated_instruction(vcpu) in
handle_exception_nmi() and handle_task_switch();
!kvm_skip_emulated_instruction(vcpu) in kvm_emulate_wrmsr(); and
ret && kvm_skip_emulated_instruction(vcpu) in kvm_fast_pio(),
kvm_emulate_halt(), and kvm_emulate_ap_reset_hold() -- would also need to
check <= 0 so they do not treat a negative errno as success.
--
Sashiko AI review · https://sashiko.dev/#/patchset/20261102174130.8779-1-pbonzini@redhat.com?part=31
next prev parent reply other threads:[~2026-11-02 18:18 UTC|newest]
Thread overview: 71+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-11-02 17:40 [PATCH v4 00/45] KVM: x86: Introduce memory protection attributes Paolo Bonzini
2026-11-02 17:40 ` [PATCH 01/45] KVM: nVMX/nSVM: check unconditionally whether CR3 is valid Paolo Bonzini
2026-11-02 18:05 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 02/45] KVM: x86/hyperv: do not overwrite hc->ingpa for SIGNAL_EVENT hypercall Paolo Bonzini
2026-11-02 17:40 ` [PATCH 03/45] KVM: x86: apply nGPA->GPA translation to KVM_HC_CLOCK_PAIRING Paolo Bonzini
2026-11-02 17:40 ` [PATCH 04/45] KVM: x86/emulate: Check TSS busy-bit writes during task switches Paolo Bonzini
2026-11-02 18:22 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 05/45] KVM: loongarch: do full validity check on the gfn-to-hva cache Paolo Bonzini
2026-11-02 17:40 ` [PATCH 06/45] KVM: selftests: Test address translation for Hyper-V direct L2 hypercalls Paolo Bonzini
2026-11-02 17:40 ` [PATCH 07/45] KVM: selftests: Take into account mixed memory fault flags Paolo Bonzini
2026-11-02 17:50 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 08/45] selftests: kvm: drop TEST_ASSERT_SUPPORTED_ATTRIBUTES Paolo Bonzini
2026-11-02 17:40 ` [PATCH 09/45] KVM: Define and communicate KVM_EXIT_MEMORY_FAULT RWX flags to userspace Paolo Bonzini
2026-11-02 17:55 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 10/45] KVM: x86: Introduce memory fault on invalid hypercalls reads/writes Paolo Bonzini
2026-11-02 17:40 ` [PATCH 11/45] KVM: selftests: test hypercall memory fault exits Paolo Bonzini
2026-11-02 17:58 ` sashiko-bot
2026-11-02 17:40 ` [PATCH 12/45] KVM: x86/mmu: intersect writability from __kvm_faultin_pfn with fault->map_writable Paolo Bonzini
2026-11-02 17:40 ` [PATCH 13/45] KVM: x86/mmu: Extend map_writable to a full ACC_* mask Paolo Bonzini
2026-11-02 17:40 ` [PATCH 14/45] KVM: x86/mmu: Init memslot hugepage information for non-private_mem VMs too Paolo Bonzini
2026-11-02 17:40 ` [PATCH 15/45] KVM: VMX: return error from kvm_set_cr* Paolo Bonzini
2026-11-02 17:41 ` [PATCH 16/45] KVM: adjust for presence of more than one attribute Paolo Bonzini
2026-11-02 18:03 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 17/45] KVM: Introduce NR/NW/NX memory attributes Paolo Bonzini
2026-11-02 18:04 ` sashiko-bot
2026-11-03 9:25 ` kernel test robot
2026-11-02 17:44 ` [PATCH 18/45] KVM: Include memory protections in result of gfn->hva conversion Paolo Bonzini
2026-11-02 17:44 ` [PATCH 19/45] KVM: Introduce kvm_fetch_guest_page() and use it for x86 Paolo Bonzini
2026-11-02 17:44 ` [PATCH 20/45] KVM: Take memory protections into account for memory read/write/fetch Paolo Bonzini
2026-11-02 17:44 ` [PATCH 21/45] KVM: Take memory protections into account for __kvm_vcpu_map Paolo Bonzini
2026-11-02 17:44 ` [PATCH 22/45] KVM: Encapsulate memattrs array into anonymous struct Paolo Bonzini
2026-11-02 17:44 ` [PATCH 23/45] KVM: Introduce kvm_check_gen()/kvm_memslots_check_gen() Paolo Bonzini
2026-11-02 18:04 ` sashiko-bot
2026-11-03 18:07 ` kernel test robot
2026-11-02 17:44 ` [PATCH 24/45] KVM: Introduce a generation number for memory attributes Paolo Bonzini
2026-11-02 18:20 ` sashiko-bot
2026-11-03 14:11 ` kernel test robot
2026-11-02 17:44 ` [PATCH 25/45] KVM: Take memory protections into account for accesses with cached gfn->hva Paolo Bonzini
2026-11-02 18:14 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 26/45] KVM: pfncache: Fail to refresh if it contains memory protections Paolo Bonzini
2026-11-02 18:09 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 27/45] KVM: x86/mmu: Do not prefetch sptes on gfns backed by memory attributes Paolo Bonzini
2026-11-02 17:44 ` [PATCH 28/45] KVM: x86/mmu: Take memory protection attributes into account during faults Paolo Bonzini
2026-11-02 18:26 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 29/45] KVM: x86/emulate: change return value of emulator_io_permitted to int Paolo Bonzini
2026-11-02 17:44 ` [PATCH 30/45] KVM: x86/emulate: Propagate memory faults to userspace Paolo Bonzini
2026-11-02 18:32 ` sashiko-bot
2026-11-02 17:44 ` [PATCH 31/45] KVM: x86: "Handle" failed decode when skipping instructions Paolo Bonzini
2026-11-02 18:18 ` sashiko-bot [this message]
2026-11-02 17:44 ` [PATCH 32/45] KVM: vmx/sgx: make return value of sgx_gva_to_gpa consistent with its callers Paolo Bonzini
2026-11-02 17:45 ` [PATCH 33/45] KVM: x86: Allow page fault fixup to return errors Paolo Bonzini
2026-11-02 17:45 ` [PATCH 34/45] KVM: x86/mmu: Adjust gva_to_gpa to allow returning an error Paolo Bonzini
2026-11-02 18:19 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 35/45] KVM: x86/mmu: Propagate errors from nested GPA translation Paolo Bonzini
2026-11-02 17:45 ` [PATCH 36/45] KVM: x86: Propagate memory faults through load_pdptrs() Paolo Bonzini
2026-11-02 18:29 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 37/45] KVM: x86/mmu: Issue memory fault exit if walk failed due to memory attribute Paolo Bonzini
2026-11-02 18:32 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 38/45] KVM: x86: mark VM as dead after KVM_SET_SREGS fails to load PDPTRs Paolo Bonzini
2026-11-02 18:28 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 39/45] KVM: VMX: mark VM dead on shadow VMCS or eVMCS access failures Paolo Bonzini
2026-11-02 18:40 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 40/45] KVM: let kvm_arch_post_set_memory_attributes drop mmu_lock Paolo Bonzini
2026-11-02 17:45 ` [PATCH 41/45] KVM: x86/mmu: Obsolete all roots if memattr contains gPTEs Paolo Bonzini
2026-11-02 17:45 ` [PATCH 42/45] KVM: x86: selftests: Introduce memory protection attributes test Paolo Bonzini
2026-11-02 18:43 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 43/45] KVM: x86: selftests: Introduce memory attributes PTE test Paolo Bonzini
2026-11-02 17:45 ` [PATCH 44/45] KVM: x86: selftests: Introduce memory attributes side-channel tests Paolo Bonzini
2026-11-02 18:41 ` sashiko-bot
2026-11-02 17:45 ` [PATCH 45/45] KVM: x86: split out parts of load_pdptrs Paolo Bonzini
2026-11-03 14:40 ` [syzbot ci] Re: KVM: x86: Introduce memory protection attributes syzbot ci
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=sashiko-outbox-193922@kernel.org \
--to=sashiko-bot@kernel.org \
--cc=kvm@vger.kernel.org \
--cc=pbonzini@redhat.com \
--cc=sashiko-reviews@lists.linux.dev \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox