From 8d0f3218313c74d2e9df015385b809a7cb03734e Mon Sep 17 00:00:00 2001 From: Kevin Wolf Date: Tue, 25 Mar 2014 14:23:55 +0100 Subject: [PATCH 48/49] parallels: Sanity check for s->tracks (CVE-2014-0142) RH-Author: Kevin Wolf Message-id: <1395753835-7591-49-git-send-email-kwolf@redhat.com> Patchwork-id: n/a O-Subject: [virt-devel] [EMBARGOED RHEL-7.0 qemu-kvm PATCH 48/48] parallels: Sanity check for s->tracks (CVE-2014-0142) Bugzilla: 1079315 RH-Acked-by: Jeff Cody RH-Acked-by: Stefan Hajnoczi RH-Acked-by: Paolo Bonzini Bugzilla: https://bugzilla.redhat.com/show_bug.cgi?id=1079315 Upstream status: Embargoed This avoids a possible division by zero. Convert s->tracks to unsigned as well because it feels better than surviving just because the results of calculations with s->tracks are converted to unsigned anyway. Signed-off-by: Kevin Wolf --- block/parallels.c | 7 ++++++- tests/qemu-iotests/076 | 7 +++++++ tests/qemu-iotests/076.out | 4 ++++ 3 files changed, 17 insertions(+), 1 deletions(-) diff --git a/block/parallels.c b/block/parallels.c index 5d1c0af..d83cde4 100644 --- a/block/parallels.c +++ b/block/parallels.c @@ -51,7 +51,7 @@ typedef struct BDRVParallelsState { uint32_t *catalog_bitmap; unsigned int catalog_size; - int tracks; + unsigned int tracks; } BDRVParallelsState; static int parallels_probe(const uint8_t *buf, int buf_size, const char *filename) @@ -92,6 +92,11 @@ static int parallels_open(BlockDriverState *bs, QDict *options, int flags, bs->total_sectors = le32_to_cpu(ph.nb_sectors); s->tracks = le32_to_cpu(ph.tracks); + if (s->tracks == 0) { + error_setg(errp, "Invalid image: Zero sectors per track"); + ret = -EINVAL; + goto fail; + } s->catalog_size = le32_to_cpu(ph.catalog_entries); if (s->catalog_size > INT_MAX / 4) { diff --git a/tests/qemu-iotests/076 b/tests/qemu-iotests/076 index 6028ac5..b614a7d 100755 --- a/tests/qemu-iotests/076 +++ b/tests/qemu-iotests/076 @@ -42,6 +42,7 @@ _supported_fmt parallels _supported_proto generic _supported_os Linux +tracks_offset=$((0x1c)) catalog_entries_offset=$((0x20)) nb_sectors_offset=$((0x24)) @@ -63,6 +64,12 @@ poke_file "$TEST_IMG" "$nb_sectors_offset" "\xff\xff\xff\xff" poke_file "$TEST_IMG" "$catalog_entries_offset" "\x01\x00\x00\x40" { $QEMU_IO -c "read 64M 64M" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir +echo +echo "== Zero sectors per track ==" +_use_sample_img fake.parallels.bz2 +poke_file "$TEST_IMG" "$tracks_offset" "\x00\x00\x00\x00" +{ $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir + # success, all done echo "*** done" rm -f $seq.full diff --git a/tests/qemu-iotests/076.out b/tests/qemu-iotests/076.out index 12af42a..f7745d8 100644 --- a/tests/qemu-iotests/076.out +++ b/tests/qemu-iotests/076.out @@ -11,4 +11,8 @@ no file open, try 'help open' == Overflow in catalog allocation == qemu-io: can't open device TEST_DIR/fake.parallels: Catalog too large no file open, try 'help open' + +== Zero sectors per track == +qemu-io: can't open device TEST_DIR/fake.parallels: Invalid image: Zero sectors per track +no file open, try 'help open' *** done -- 1.7.1