Skip to content

Commit 4ac0b72

Browse files
committed
hw/sd/sdcard: Fix assertion accessing out-of-range addresses with CMD30
OSS-Fuzz found sending illegal addresses when querying the write protection bits triggers the assertion added in commit 84816fb ("hw/sd/sdcard: Assert if accessing an illegal group"): qemu-fuzz-i386-target-generic-fuzz-sdhci-v3: ../hw/sd/sd.c:824: uint32_t sd_wpbits(SDState *, uint64_t): Assertion `wpnum < sd->wpgrps_size' failed. #3 0x7f62a8b22c91 in __assert_fail #4 0x5569adcec405 in sd_wpbits hw/sd/sd.c:824:9 #5 0x5569adce5f6d in sd_normal_command hw/sd/sd.c:1389:38 #6 0x5569adce3870 in sd_do_command hw/sd/sd.c:1737:17 #7 0x5569adcf1566 in sdbus_do_command hw/sd/core.c:100:16 #8 0x5569adcfc192 in sdhci_send_command hw/sd/sdhci.c:337:12 #9 0x5569adcfa3a3 in sdhci_write hw/sd/sdhci.c:1186:9 #10 0x5569adfb3447 in memory_region_write_accessor softmmu/memory.c:492:5 It is legal for the CMD30 to query for out-of-range addresses. Such invalid addresses are simply ignored in the response (write protection bits set to 0). In commit 84816fb ("hw/sd/sdcard: Assert if accessing an illegal group") we misplaced the assertion *before* we test the address is in range. Move it *after*. Include the qtest reproducer provided by Alexander Bulekov: $ make check-qtest-i386 ... Running test qtest-i386/fuzz-sdcard-test qemu-system-i386: ../hw/sd/sd.c:824: sd_wpbits: Assertion `wpnum < sd->wpgrps_size' failed. Cc: [email protected] Reported-by: OSS-Fuzz (Issue 29225) Suggested-by: Peter Maydell <[email protected]> Fixes: 84816fb ("hw/sd/sdcard: Assert if accessing an illegal group") Resolves: https://gitlab.com/qemu-project/qemu/-/issues/495 Signed-off-by: Philippe Mathieu-Daudé <[email protected]> Message-Id: <[email protected]> Reviewed-by: Peter Maydell <[email protected]> Tested-by: Alexander Bulekov <[email protected]>
1 parent 2a03962 commit 4ac0b72

File tree

2 files changed

+37
-1
lines changed

2 files changed

+37
-1
lines changed

hw/sd/sd.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -821,14 +821,14 @@ static uint32_t sd_wpbits(SDState *sd, uint64_t addr)
821821
wpnum = sd_addr_to_wpnum(addr);
822822

823823
for (i = 0; i < 32; i++, wpnum++, addr += WPGROUP_SIZE) {
824-
assert(wpnum < sd->wpgrps_size);
825824
if (addr >= sd->size) {
826825
/*
827826
* If the addresses of the last groups are outside the valid range,
828827
* then the corresponding write protection bits shall be set to 0.
829828
*/
830829
continue;
831830
}
831+
assert(wpnum < sd->wpgrps_size);
832832
if (test_bit(wpnum, sd->wp_groups)) {
833833
ret |= (1 << i);
834834
}

tests/qtest/fuzz-sdcard-test.c

+36
Original file line numberDiff line numberDiff line change
@@ -52,6 +52,41 @@ static void oss_fuzz_29225(void)
5252
qtest_quit(s);
5353
}
5454

55+
/*
56+
* https://gitlab.com/qemu-project/qemu/-/issues/495
57+
* Used to trigger:
58+
* Assertion `wpnum < sd->wpgrps_size' failed.
59+
*/
60+
static void oss_fuzz_36217(void)
61+
{
62+
QTestState *s;
63+
64+
s = qtest_init(" -display none -m 32 -nodefaults -nographic"
65+
" -device sdhci-pci,sd-spec-version=3 "
66+
"-device sd-card,drive=d0 "
67+
"-drive if=none,index=0,file=null-co://,format=raw,id=d0");
68+
69+
qtest_outl(s, 0xcf8, 0x80001010);
70+
qtest_outl(s, 0xcfc, 0xe0000000);
71+
qtest_outl(s, 0xcf8, 0x80001004);
72+
qtest_outw(s, 0xcfc, 0x02);
73+
qtest_bufwrite(s, 0xe000002c, "\x05", 0x1);
74+
qtest_bufwrite(s, 0xe000000f, "\x37", 0x1);
75+
qtest_bufwrite(s, 0xe000000a, "\x01", 0x1);
76+
qtest_bufwrite(s, 0xe000000f, "\x29", 0x1);
77+
qtest_bufwrite(s, 0xe000000f, "\x02", 0x1);
78+
qtest_bufwrite(s, 0xe000000f, "\x03", 0x1);
79+
qtest_bufwrite(s, 0xe0000005, "\x01", 0x1);
80+
qtest_bufwrite(s, 0xe000000f, "\x06", 0x1);
81+
qtest_bufwrite(s, 0xe000000c, "\x05", 0x1);
82+
qtest_bufwrite(s, 0xe000000e, "\x20", 0x1);
83+
qtest_bufwrite(s, 0xe000000f, "\x08", 0x1);
84+
qtest_bufwrite(s, 0xe000000b, "\x3d", 0x1);
85+
qtest_bufwrite(s, 0xe000000f, "\x1e", 0x1);
86+
87+
qtest_quit(s);
88+
}
89+
5590
int main(int argc, char **argv)
5691
{
5792
const char *arch = qtest_get_arch();
@@ -60,6 +95,7 @@ int main(int argc, char **argv)
6095

6196
if (strcmp(arch, "i386") == 0) {
6297
qtest_add_func("fuzz/sdcard/oss_fuzz_29225", oss_fuzz_29225);
98+
qtest_add_func("fuzz/sdcard/oss_fuzz_36217", oss_fuzz_36217);
6399
}
64100

65101
return g_test_run();

0 commit comments

Comments
 (0)