All of lore.kernel.org
 help / color / mirror / Atom feed
From: Dan Carpenter <dan.carpenter@oracle.com>
To: seanjc@google.com
Cc: kvm@vger.kernel.org
Subject: [bug report] KVM: Dynamically allocate "new" memslots from the get-go
Date: Wed, 15 Dec 2021 14:24:40 +0300	[thread overview]
Message-ID: <20211215112440.GA13974@kili> (raw)

Hello Sean Christopherson,

This is a semi-automatic email about new static checker warnings.

The patch 244893fa2859: "KVM: Dynamically allocate "new" memslots
from the get-go" from Dec 6, 2021, leads to the following Smatch
complaint:

    arch/x86/kvm/../../../virt/kvm/kvm_main.c:1526 kvm_prepare_memory_region()
    warn: variable dereferenced before check 'new' (see line 1509)

arch/x86/kvm/../../../virt/kvm/kvm_main.c
  1508		if (change != KVM_MR_DELETE) {
  1509			if (!(new->flags & KVM_MEM_LOG_DIRTY_PAGES))
  1510				new->dirty_bitmap = NULL;
  1511			else if (old && old->dirty_bitmap)
  1512				new->dirty_bitmap = old->dirty_bitmap;
  1513			else if (!kvm->dirty_ring_size) {
  1514				r = kvm_alloc_dirty_bitmap(new);
  1515				if (r)
  1516					return r;
  1517	
  1518				if (kvm_dirty_log_manual_protect_and_init_set(kvm))
  1519					bitmap_set(new->dirty_bitmap, 0, new->npages);
                                                   ^^^^^
  1520			}
  1521		}
  1522	
  1523		r = kvm_arch_prepare_memory_region(kvm, old, new, change);
                                                             ^^^
Lots of unchecked dereferences

  1524	
  1525		/* Free the bitmap on failure if it was allocated above. */
  1526		if (r && new && new->dirty_bitmap && old && !old->dirty_bitmap)
                         ^^^
New check for NULL.  Can this be NULL?

  1527			kvm_destroy_dirty_bitmap(new);
  1528	

regards,
dan carpenter

             reply	other threads:[~2021-12-15 11:24 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-12-15 11:24 Dan Carpenter [this message]
2021-12-15 16:34 ` [bug report] KVM: Dynamically allocate "new" memslots from the get-go Sean Christopherson
2021-12-15 18:11   ` Dan Carpenter

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=20211215112440.GA13974@kili \
    --to=dan.carpenter@oracle.com \
    --cc=kvm@vger.kernel.org \
    --cc=seanjc@google.com \
    /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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.