Kernel KVM virtualization development
 help / color / mirror / Atom feed
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

  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