Avoid OOB access by verifying the requested address belong to
the actual card size. Return ADDRESS_ERROR when not in range.
Only move the state machine to ReceivingData if there is no
pending error.
"SD Specifications Part 1 Physical Layer Simplified Spec. v3.01"
4.3.4 Data Write
* Block Write
Write command is rejected if BLOCK_LEN_ERROR or ADDRESS_ERROR
occurred and no data transfer is performed.
v2: check for blksz in range, only go to sd_receivingdata_state
if no error.
---
hw/sd/sd.c | 17 +++++++++--------
1 file changed, 9 insertions(+), 8 deletions(-)
Avoid OOB access by verifying the requested address belong to
the actual card size. Return ADDRESS_ERROR when not in range.
Only move the state machine to ReceivingData if there is no
pending error.
"SD Specifications Part 1 Physical Layer Simplified Spec. v3.01"
4.3.4 Data Write
* Block Write
Write command is rejected if BLOCK_LEN_ERROR or ADDRESS_ERROR
occurred and no data transfer is performed.
Fixes: CVE-2020-13253 /bugs.launchpad .net/qemu/ +bug/1880822
Reported-by: Alexander Bulekov <email address hidden>
Buglink: https:/
Signed-off-by: Philippe Mathieu-Daudé <email address hidden>
---
Cc: Prasad J Pandit <email address hidden>
v2: check for blksz in range, only go to sd_receivingdat a_state
if no error.
---
hw/sd/sd.c | 17 +++++++++--------
1 file changed, 9 insertions(+), 8 deletions(-)
diff --git a/hw/sd/sd.c b/hw/sd/sd.c .2254dc7acc 100644 command( SDState *sd, SDRequest req)
break; a_state;
sd-> card_status |= ADDRESS_ERROR;
sd-> card_status |= WP_VIOLATION;
sd-> card_status |= WP_VIOLATION; a_state;
index 3c06a0ac6d.
--- a/hw/sd/sd.c
+++ b/hw/sd/sd.c
@@ -1211,17 +1211,18 @@ static sd_rsp_type_t sd_normal_
/* Writing in SPI mode not implemented. */
if (sd->spi)
- sd->state = sd_receivingdat
- sd->data_start = addr;
- sd->data_offset = 0;
- sd->blk_written = 0;
-
- if (sd->data_start + sd->blk_len > sd->size)
+ if (addr + sd->blk_len >= sd->size) {
- if (sd_wp_addr(sd, sd->data_start))
+ } else if (sd_wp_addr(sd, sd->data_start)) {
- if (sd->csd[14] & 0x30)
+ } else if (sd->csd[14] & 0x30) {
+ } else {
+ sd->state = sd_receivingdat
+ sd->data_start = addr;
+ sd->data_offset = 0;
+ sd->blk_written = 0;
+ }
return sd_r1;
default:
--
2.21.3