tests/qemu-iotests/080

   1 #!/usr/bin/env bash
   2 # group: rw auto
   3 #
   4 # qcow2 format input validation tests
   5 #
   6 # Copyright (C) 2013 Red Hat, Inc.
   7 #
   8 # This program is free software; you can redistribute it and/or modify
   9 # it under the terms of the GNU General Public License as published by
  10 # the Free Software Foundation; either version 2 of the License, or
  11 # (at your option) any later version.
  12 #
  13 # This program is distributed in the hope that it will be useful,
  14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 # GNU General Public License for more details.
  17 #
  18 # You should have received a copy of the GNU General Public License
  19 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  20 #
  21
  22 # creator
  23 owner=kwolf@redhat.com
  24
  25 seq=`basename $0`
  26 echo "QA output created by $seq"
  27
  28 status=1        # failure is the default!
  29
  30 _cleanup()
  31 {
  32     _rm_test_img "$TEST_IMG.snap"
  33     _cleanup_test_img
  34 }
  35 trap "_cleanup; exit \$status" 0 1 2 3 15
  36
  37 # get standard environment, filters and checks
  38 . ./common.rc
  39 . ./common.filter
  40
  41 _supported_fmt qcow2
  42 _supported_proto file fuse
  43 _supported_os Linux
  44 # - Internal snapshots are (currently) impossible with refcount_bits=1,
  45 #   and generally impossible with external data files
  46 # - This is generally a test for compat=1.1 images
  47 _unsupported_imgopts 'refcount_bits=1[^0-9]' data_file 'compat=0.10'
  48
  49 header_size=112
  50
  51 offset_backing_file_offset=8
  52 offset_backing_file_size=16
  53 offset_l1_size=36
  54 offset_l1_table_offset=40
  55 offset_refcount_table_offset=48
  56 offset_refcount_table_clusters=56
  57 offset_nb_snapshots=60
  58 offset_snapshots_offset=64
  59 offset_header_size=100
  60 offset_ext_magic=$header_size
  61 offset_ext_size=$((header_size + 4))
  62
  63 offset_l2_table_0=$((0x40000))
  64
  65 offset_snap1=$((0x70000))
  66 offset_snap1_l1_offset=$((offset_snap1 + 0))
  67 offset_snap1_l1_size=$((offset_snap1 + 8))
  68
  69 echo
  70 echo "== Huge header size =="
  71 _make_test_img 64M
  72 poke_file "$TEST_IMG" "$offset_header_size" "\xff\xff\xff\xff"
  73 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
  74 poke_file "$TEST_IMG" "$offset_header_size" "\x7f\xff\xff\xff"
  75 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
  76
  77 echo
  78 echo "== Huge unknown header extension =="
  79 _make_test_img 64M
  80 poke_file "$TEST_IMG" "$offset_backing_file_offset" "\xff\xff\xff\xff\xff\xff\xff\xff"
  81 poke_file "$TEST_IMG" "$offset_ext_magic" "\x12\x34\x56\x78"
  82 poke_file "$TEST_IMG" "$offset_ext_size" "\x7f\xff\xff\xff"
  83 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
  84 poke_file "$TEST_IMG" "$offset_backing_file_offset" "\x00\x00\x00\x00\x00\x00\x00\x$(printf %x $offset_ext_size)"
  85 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
  86 poke_file "$TEST_IMG" "$offset_backing_file_offset" "\x00\x00\x00\x00\x00\x00\x00\x00"
  87 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
  88
  89 echo
  90 echo "== Huge refcount table size =="
  91 _make_test_img 64M
  92 poke_file "$TEST_IMG" "$offset_refcount_table_clusters" "\xff\xff\xff\xff"
  93 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
  94 poke_file "$TEST_IMG" "$offset_refcount_table_clusters" "\x00\x02\x00\x01"
  95 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
  96
  97 echo
  98 echo "== Misaligned refcount table =="
  99 _make_test_img 64M
 100 poke_file "$TEST_IMG" "$offset_refcount_table_offset" "\x12\x34\x56\x78\x90\xab\xcd\xef"
 101 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 102
 103 echo
 104 echo "== Huge refcount offset =="
 105 _make_test_img 64M
 106 poke_file "$TEST_IMG" "$offset_refcount_table_offset" "\xff\xff\xff\xff\xff\xff\x00\x00"
 107 poke_file "$TEST_IMG" "$offset_refcount_table_clusters" "\x00\x00\x00\x7f"
 108 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 109
 110 echo
 111 echo "== Invalid snapshot table =="
 112 _make_test_img 64M
 113 poke_file "$TEST_IMG" "$offset_nb_snapshots" "\xff\xff\xff\xff"
 114 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 115 poke_file "$TEST_IMG" "$offset_nb_snapshots" "\x7f\xff\xff\xff"
 116 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 117
 118 poke_file "$TEST_IMG" "$offset_snapshots_offset" "\xff\xff\xff\xff\xff\xff\x00\x00"
 119 poke_file "$TEST_IMG" "$offset_nb_snapshots" "\x00\x00\xff\xff"
 120 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 121
 122 poke_file "$TEST_IMG" "$offset_snapshots_offset" "\x12\x34\x56\x78\x90\xab\xcd\xef"
 123 poke_file "$TEST_IMG" "$offset_nb_snapshots" "\x00\x00\x00\x00"
 124 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 125
 126 echo
 127 echo "== Hitting snapshot table size limit =="
 128 _make_test_img 64M
 129 # Put the refcount table in a more or less safe place (16 MB)
 130 poke_file "$TEST_IMG" "$offset_snapshots_offset" "\x00\x00\x00\x00\x01\x00\x00\x00"
 131 poke_file "$TEST_IMG" "$offset_nb_snapshots" "\x00\x01\x00\x00"
 132 { $QEMU_IMG snapshot -c test $TEST_IMG; } 2>&1 | _filter_testdir
 133 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 134
 135 echo
 136 echo "== Invalid L1 table =="
 137 _make_test_img 64M
 138 poke_file "$TEST_IMG" "$offset_l1_size" "\xff\xff\xff\xff"
 139 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 140 poke_file "$TEST_IMG" "$offset_l1_size" "\x7f\xff\xff\xff"
 141 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 142
 143 poke_file "$TEST_IMG" "$offset_l1_table_offset" "\x7f\xff\xff\xff\xff\xff\x00\x00"
 144 poke_file "$TEST_IMG" "$offset_l1_size" "\x00\x00\xff\xff"
 145 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 146
 147 poke_file "$TEST_IMG" "$offset_l1_table_offset" "\x12\x34\x56\x78\x90\xab\xcd\xef"
 148 poke_file "$TEST_IMG" "$offset_l1_size" "\x00\x00\x00\x01"
 149 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 150
 151 echo
 152 echo "== Invalid L1 table (with internal snapshot in the image) =="
 153 _make_test_img 64M
 154 { $QEMU_IMG snapshot -c foo $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 155 poke_file "$TEST_IMG" "$offset_l1_size" "\x00\x00\x00\x00"
 156 _img_info
 157
 158 echo
 159 echo "== Invalid backing file size =="
 160 _make_test_img 64M
 161 poke_file "$TEST_IMG" "$offset_backing_file_offset" "\x00\x00\x00\x00\x00\x00\x10\x00"
 162 poke_file "$TEST_IMG" "$offset_backing_file_size" "\xff\xff\xff\xff"
 163 { $QEMU_IO -c "read 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 164
 165 echo
 166 echo "== Invalid L2 entry (huge physical offset) =="
 167 _make_test_img 64M
 168 { $QEMU_IO -c "write 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 169 poke_file "$TEST_IMG" "$offset_l2_table_0" "\xbf\xff\xff\xff\xff\xff\x00\x00"
 170 { $QEMU_IMG snapshot -c test $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 171 poke_file "$TEST_IMG" "$offset_l2_table_0" "\x80\x00\x00\xff\xff\xff\x00\x00"
 172 { $QEMU_IMG snapshot -c test $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 173
 174 echo
 175 echo "== Invalid snapshot L1 table offset =="
 176 _make_test_img 64M
 177 { $QEMU_IO -c "write 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 178 { $QEMU_IMG snapshot -c test $TEST_IMG; } 2>&1 | _filter_testdir
 179 poke_file "$TEST_IMG" "$offset_snap1_l1_offset" "\x00\x00\x00\x00\x00\x40\x02\x00"
 180 { $QEMU_IMG convert -l test $TEST_IMG $TEST_IMG.snap; } 2>&1 | _filter_testdir
 181 { $QEMU_IMG amend -o compat=0.10 $TEST_IMG; } 2>&1 | _filter_testdir
 182 { $QEMU_IO -c "open -o overlap-check.inactive-l2=on $TEST_IMG" \
 183            -c 'write 0 4k'; } 2>&1 | _filter_qemu_io | _filter_testdir
 184 { $QEMU_IMG snapshot -a test $TEST_IMG; } 2>&1 | _filter_testdir
 185 { $QEMU_IMG snapshot -d test $TEST_IMG; } 2>&1 | _filter_testdir
 186 _check_test_img
 187
 188 echo
 189 echo "== Invalid snapshot L1 table size =="
 190 _make_test_img 64M
 191 { $QEMU_IO -c "write 0 512" $TEST_IMG; } 2>&1 | _filter_qemu_io | _filter_testdir
 192 { $QEMU_IMG snapshot -c test $TEST_IMG; } 2>&1 | _filter_testdir
 193 poke_file "$TEST_IMG" "$offset_snap1_l1_size" "\x10\x00\x00\x00"
 194 { $QEMU_IMG convert -l test $TEST_IMG $TEST_IMG.snap; } 2>&1 | _filter_testdir
 195 { $QEMU_IMG amend -o compat=0.10 $TEST_IMG; } 2>&1 | _filter_testdir
 196 { $QEMU_IO -c "open -o overlap-check.inactive-l2=on $TEST_IMG" \
 197            -c 'write 0 4k'; } 2>&1 | _filter_qemu_io | _filter_testdir
 198 { $QEMU_IMG snapshot -a test $TEST_IMG; } 2>&1 | _filter_testdir
 199 { $QEMU_IMG snapshot -d test $TEST_IMG; } 2>&1 | _filter_testdir
 200 _check_test_img
 201
 202 # success, all done
 203 echo "*** done"
 204 rm -f $seq.full
 205 status=0