[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PATCH v2 0/8] off-by-one and NULL pointer accesses detecte
From: |
Liam Merwick |
Subject: |
[Qemu-devel] [PATCH v2 0/8] off-by-one and NULL pointer accesses detected by static analysis |
Date: |
Fri, 31 Aug 2018 17:36:46 +0100 |
Below are a number of fixes to some off-by-one, read outside array bounds, and
NULL pointer accesses detected by an internal Oracle static analysis tool
(Parfait).
https://labs.oracle.com/pls/apex/f?p=labs:49:::::P49_PROJECT_ID:13
I have also included a patch to add a command-line option to configure to
select if AVX2 is used or not (keeping the existing behaviour by default).
My motivation was avoiding an issue with the static analysis tool but NetSpectre
was announced as I was working on this and I felt it may have more general uses.
v1 -> v2
Based on feedback from Eric Blake:
patch2: reworded commit message to clarify issue
patch6: Reverted common qlist routines and added assert to qlist_dump instead
patch7: Fixed incorrect logic
patch8: Added QEMU_BUILD_BUG_ON to catch future Ń–nstance at compile-time
Liam Merwick (8):
configure: Provide option to explicitly disable AVX2
job: Fix off-by-one assert checks for JobSTT and JobVerbTable
block: Null pointer dereference in blk_root_get_parent_desc()
qemu-img: potential Null pointer deref in img_commit()
block: Fix potential Null pointer dereferences in vvfat.c
block: dump_qlist() may dereference a Null pointer
io: potential unnecessary check in qio_channel_command_new_spawn()
qcow2: Read outside array bounds in qcow2_pre_write_overlap_check()
block/block-backend.c | 2 +-
block/qapi.c | 2 ++
block/qcow2-refcount.c | 26 +++++++++++++++--------
block/vvfat.c | 56 ++++++++++++++++++++++++++++++++++++++++++++++++++
configure | 11 ++++++++--
io/channel-command.c | 3 +--
job.c | 4 ++--
qemu-img.c | 3 +++
8 files changed, 92 insertions(+), 15 deletions(-)
--
1.8.3.1
- [Qemu-devel] [PATCH v2 0/8] off-by-one and NULL pointer accesses detected by static analysis,
Liam Merwick <=
- [Qemu-devel] [PATCH v2 3/8] block: Null pointer dereference in blk_root_get_parent_desc(), Liam Merwick, 2018/08/31
- [Qemu-devel] [PATCH v2 4/8] qemu-img: potential Null pointer deref in img_commit(), Liam Merwick, 2018/08/31
- [Qemu-devel] [PATCH v2 2/8] job: Fix off-by-one assert checks for JobSTT and JobVerbTable, Liam Merwick, 2018/08/31
- [Qemu-devel] [PATCH v2 8/8] qcow2: Read outside array bounds in qcow2_pre_write_overlap_check(), Liam Merwick, 2018/08/31
- [Qemu-devel] [PATCH v2 1/8] configure: Provide option to explicitly disable AVX2, Liam Merwick, 2018/08/31
- [Qemu-devel] [PATCH v2 6/8] block: dump_qlist() may dereference a Null pointer, Liam Merwick, 2018/08/31
- [Qemu-devel] [PATCH v2 7/8] io: potential unnecessary check in qio_channel_command_new_spawn(), Liam Merwick, 2018/08/31