virtbt_rx_work() calls skb_put(skb, len) where len comes directly
from virtqueue_get_buf() with no validation against the buffer we
posted to the device. The RX skb is allocated in virtbt_add_inbuf()
and exposed to virtio as exactly 1000 bytes via sg_init_one().

Checking len against skb_tailroom(skb) is not sufficient because
alloc_skb() can leave more tailroom than the 1000 bytes actually
handed to the device. A malicious or buggy backend can therefore
report used.len between 1001 and skb_tailroom(skb), causing skb_put()
to include uninitialized kernel heap bytes that were never written by
the device.

The same path also accepts len == 0, in which case skb_put(skb, 0)
leaves the skb empty but virtbt_rx_handle() still reads the pkt_type
byte from skb->data, consuming uninitialized memory.

A single-byte completion also reaches hci_recv_frame() with skb->len
already pulled to 0. If the byte happened to be HCI_ACLDATA_PKT, the
ACL-vs-ISO classification fast-path in hci_dev_classify_pkt_type()
dereferences hci_acl_hdr(skb)->handle whenever the HCI device has an
active CIS_LINK, BIS_LINK, or PA_LINK connection, reading two bytes
of uninitialized RX-buffer data. The same hazard exists for every
packet type the driver accepts because none of the switch cases in
virtbt_rx_handle() check skb->len against the per-type minimum HCI
header size before handing the frame to the core.

Close all three paths:

  - define VIRTBT_RX_BUF_SIZE once, reuse it in alloc_skb() and
    sg_init_one() and as the upper bound on used.len, so the gate
    matches the buffer actually exposed to the device
  - reject used.len == 0 before virtbt_rx_handle() reads pkt_type
  - after stripping pkt_type, require skb->len to cover the fixed
    header size for the selected type (event/ACL/SCO/ISO) before
    calling hci_recv_frame(); drop ratelimited otherwise

Use bt_dev_err_ratelimited() because the length and packet-type
values come from an untrusted backend that can otherwise flood the
kernel log.

Same class of bug as commit c04db81cd028 ("net/9p: Fix buffer
overflow in USB transport layer"), which hardened the USB 9p
transport against unchecked device-reported length.

Fixes: 160fbcf3bfb9 ("Bluetooth: virtio_bt: Use skb_put to set length")
Cc: [email protected]
Cc: Soenke Huster <[email protected]>
Signed-off-by: Michael Bommarito <[email protected]>
Assisted-by: Claude:claude-opus-4-7
---
Changes in v2:
- validate used.len against VIRTBT_RX_BUF_SIZE (the 1000 bytes
  actually exposed to the device via sg_init_one()) rather than
  skb_tailroom(), which can exceed 1000 due to slab padding
- reject used.len == 0 before virtbt_rx_handle() reads the pkt_type
  byte, so zero-length completions can no longer pull an empty skb
  into hci_recv_frame()
- in virtbt_rx_handle(), require skb->len to cover the fixed HCI
  header size for the selected pkt_type (event 2, ACL 4, SCO 3,
  ISO 4) before calling hci_recv_frame(); this prevents a one-byte
  HCI_ACLDATA_PKT completion from reaching
  hci_dev_classify_pkt_type() and dereferencing hci_acl_hdr(skb)
  over uninitialized RX buffer data when CIS/BIS/PA connections
  are present
- switch the error log to bt_dev_err_ratelimited() because the
  length and pkt_type values come from an untrusted backend that
  can otherwise flood the kernel log

 drivers/bluetooth/virtio_bt.c | 39 ++++++++++++++++++++++++++++-------
 1 file changed, 32 insertions(+), 7 deletions(-)

diff --git a/drivers/bluetooth/virtio_bt.c b/drivers/bluetooth/virtio_bt.c
index 76d61af8a275..140ab55c9fc5 100644
--- a/drivers/bluetooth/virtio_bt.c
+++ b/drivers/bluetooth/virtio_bt.c
@@ -12,6 +12,7 @@
 #include <net/bluetooth/hci_core.h>
 
 #define VERSION "0.1"
+#define VIRTBT_RX_BUF_SIZE 1000
 
 enum {
        VIRTBT_VQ_TX,
@@ -33,11 +34,11 @@ static int virtbt_add_inbuf(struct virtio_bluetooth *vbt)
        struct sk_buff *skb;
        int err;
 
-       skb = alloc_skb(1000, GFP_KERNEL);
+       skb = alloc_skb(VIRTBT_RX_BUF_SIZE, GFP_KERNEL);
        if (!skb)
                return -ENOMEM;
 
-       sg_init_one(sg, skb->data, 1000);
+       sg_init_one(sg, skb->data, VIRTBT_RX_BUF_SIZE);
 
        err = virtqueue_add_inbuf(vq, sg, 1, skb, GFP_KERNEL);
        if (err < 0) {
@@ -197,6 +198,7 @@ static int virtbt_shutdown_generic(struct hci_dev *hdev)
 
 static void virtbt_rx_handle(struct virtio_bluetooth *vbt, struct sk_buff *skb)
 {
+       size_t min_hdr;
        __u8 pkt_type;
 
        pkt_type = *((__u8 *) skb->data);
@@ -204,16 +206,32 @@ static void virtbt_rx_handle(struct virtio_bluetooth 
*vbt, struct sk_buff *skb)
 
        switch (pkt_type) {
        case HCI_EVENT_PKT:
+               min_hdr = sizeof(struct hci_event_hdr);
+               break;
        case HCI_ACLDATA_PKT:
+               min_hdr = sizeof(struct hci_acl_hdr);
+               break;
        case HCI_SCODATA_PKT:
+               min_hdr = sizeof(struct hci_sco_hdr);
+               break;
        case HCI_ISODATA_PKT:
-               hci_skb_pkt_type(skb) = pkt_type;
-               hci_recv_frame(vbt->hdev, skb);
+               min_hdr = sizeof(struct hci_iso_hdr);
                break;
        default:
                kfree_skb(skb);
-               break;
+               return;
+       }
+
+       if (skb->len < min_hdr) {
+               bt_dev_err_ratelimited(vbt->hdev,
+                                      "rx pkt_type 0x%02x payload %u < hdr 
%zu\n",
+                                      pkt_type, skb->len, min_hdr);
+               kfree_skb(skb);
+               return;
        }
+
+       hci_skb_pkt_type(skb) = pkt_type;
+       hci_recv_frame(vbt->hdev, skb);
 }
 
 static void virtbt_rx_work(struct work_struct *work)
@@ -227,8 +245,15 @@ static void virtbt_rx_work(struct work_struct *work)
        if (!skb)
                return;
 
-       skb_put(skb, len);
-       virtbt_rx_handle(vbt, skb);
+       if (!len || len > VIRTBT_RX_BUF_SIZE) {
+               bt_dev_err_ratelimited(vbt->hdev,
+                                      "rx reply len %u outside [1, %u]\n",
+                                      len, VIRTBT_RX_BUF_SIZE);
+               kfree_skb(skb);
+       } else {
+               skb_put(skb, len);
+               virtbt_rx_handle(vbt, skb);
+       }
 
        if (virtbt_add_inbuf(vbt) < 0)
                return;
-- 
2.53.0


Reply via email to