mfd: qnap-mcu: keep the reply buffer alive past a command timeout

qnap_mcu_exec() publishes an on-stack buffer to the receive path:

	unsigned char rx[QNAP_MCU_RX_BUFFER_SIZE];
	...
	reply->data = rx;
	reply->length = length;

and qnap_mcu_receive_buf() writes into it from the serdev receive path, which runs out of flush_to_ldisc() and is not serialized against qnap_mcu_exec() at all. bus_lock cannot cover it, because qnap_mcu_exec() holds that mutex across wait_for_completion_timeout().

On a timeout qnap_mcu_exec() returns with reply->data still pointing at its own frame. A reply that arrives late, or an unsolicited message from the MCU, is then written into a stack frame that has been left, corrupting whatever runs next on that stack. The same applies when qnap_mcu_write() fails, since that path returns without touching the reply state either.

Move the receive buffer into struct qnap_mcu. It is 37 bytes and the structure is devm_kzalloc()ed, so it lives as long as the driver, and a late write lands in memory that is still valid and is reinitialized by the next command. bus_lock keeps commands from sharing it.

This deliberately does not clear reply->data or reply->length on the timeout path. Doing so races with qnap_mcu_receive_buf(), which reads both after its

	if (!reply->length)
		return size;

check: clearing reply->data gives a NULL dereference, and clearing reply->length alone removes the reply->received == reply->length exit condition, so the copy loop runs until the uart chunk is consumed and overruns the buffer. Leaving both set keeps the write bounded by reply->length, which qnap_mcu_exec() has already checked against sizeof(mcu->rx).

---
v1 cleared reply->length and reply->data on the timeout path. That was
wrong: it races with qnap_mcu_receive_buf() and, as sashiko-bot pointed out on that thread, can give a NULL dereference or drop the copy loop's exit condition and overrun the buffer. It made one failure mode worse than the one it fixed. Thanks to the bot for catching it.

https://lore.kernel.org/all/[email protected]/

v2 leaves the reply state alone and gives the buffer a lifetime instead, so there is nothing to tear down and no new race.

What this does not fix, and what I am not proposing to fix here: a late reply can still be written into the buffer while the next command is using it, so it can corrupt that command's data or complete it early. The checksum test turns most of that into -EPROTO rather than bad data reaching the caller. Fixing it properly means serializing reply setup and teardown against qnap_mcu_receive_buf(), which is a change to the driver's synchronisation model and not something I want to fold into a fix. Same for the unprotected reply->received accesses, which KCSAN would flag.

I have no QNAP hardware, so this is from reading the driver rather than from an observed corruption. What I checked:

- flush_to_ldisc() calls receive_buf() from a workqueue, so it is process context and genuinely concurrent with qnap_mcu_exec()
- bus_lock is held across wait_for_completion_timeout(), so qnap_mcu_receive_buf() cannot take it
- struct qnap_mcu comes from devm_kzalloc() in qnap_mcu_probe()
- length is checked against sizeof(mcu->rx) before it is published, so the bounded write stays inside the buffer
- the u8 rx[14] in qnap_mcu_get_version() is a caller buffer, filled by memcpy() under bus_lock after the reply is complete, so it is not exposed to the receive path and is left alone

 drivers/mfd/qnap-mcu.c | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

index 8de974ddac3e..93a3dd93404d 100644
@@ -56,6 +56,7 @@ struct qnap_mcu_reply {
  * @reply:	Reply data structure
  * @variant:	Device variant specific information
  * @version:	MCU firmware version
+ * @rx:		Receive buffer the reply is assembled in
  */
 struct qnap_mcu {
 	struct serdev_device *serdev;

@@ -63,6 +64,7 @@ struct qnap_mcu {
 	struct qnap_mcu_reply reply;
 	const struct qnap_mcu_variant *variant;
 	u8 version[QNAP_MCU_VERSION_LEN];
+	u8 rx[QNAP_MCU_RX_BUFFER_SIZE];
 };
 
 /*

@@ -214,19 +216,18 @@ int qnap_mcu_exec(struct qnap_mcu *mcu,
 		  const u8 *cmd_data, size_t cmd_data_size,
 		  u8 *reply_data, size_t reply_data_size)
 {
-	unsigned char rx[QNAP_MCU_RX_BUFFER_SIZE];
 	size_t length = reply_data_size + QNAP_MCU_CHECKSUM_SIZE;
 	struct qnap_mcu_reply *reply = &mcu->reply;
 	int ret = 0;
 
-	if (length > sizeof(rx)) {
+	if (length > sizeof(mcu->rx)) {
 		dev_err(&mcu->serdev->dev, "expected data too big for receive buffer");
 		return -EINVAL;
 	}
 
 	guard(mutex)(&mcu->bus_lock);
 
-	reply->data = rx;
+	reply->data = mcu->rx;
 	reply->length = length;
 	reply->received = 0;
 	reinit_completion(&reply->done);

@@ -242,15 +243,15 @@ int qnap_mcu_exec(struct qnap_mcu *mcu,
 		return -ETIMEDOUT;
 	}
 
-	if (!qnap_mcu_verify_checksum(rx, reply->received)) {
+	if (!qnap_mcu_verify_checksum(mcu->rx, reply->received)) {
 		dev_err(&mcu->serdev->dev, "Invalid Checksum received from controller\n");
 		return -EPROTO;
 	}
 
-	if (qnap_mcu_reply_is_any_error(mcu, rx, reply->received))
+	if (qnap_mcu_reply_is_any_error(mcu, mcu->rx, reply->received))
 		return -EPROTO;
 
-	memcpy(reply_data, rx, reply_data_size);
+	memcpy(reply_data, mcu->rx, reply_data_size);
 
 	return 0;
 }

base-commit: 2d2338c93da79b3bfe4b6099a931d9468d539952

2.55.0

Applied, thanks!

[1/1] mfd: qnap-mcu: keep the reply buffer alive past a command timeout

      commit: 47504742cea7878ebd1bf1491bbed923df6b90b1

--
Lee Jones [李琼斯]