[PATCH v2] hw/net/net_tx_pkt: fix assertion failure in net_tx_pkt_add_raw_fragment()

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

[PATCH v2] hw/net/net_tx_pkt: fix assertion failure in net_tx_pkt_add_raw_fragment()

Mauro Matteo Cascella
An assertion failure issue was found in the code that processes network packets
while adding data fragments into the packet context. It could be abused by a
malicious guest to abort the QEMU process on the host. This patch replaces the
affected assert() with a conditional statement, returning false if the current
data fragment exceeds max_raw_frags.

Reported-by: Alexander Bulekov <[hidden email]>
Reported-by: Ziming Zhang <[hidden email]>
Signed-off-by: Mauro Matteo Cascella <[hidden email]>
---
 hw/net/net_tx_pkt.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/hw/net/net_tx_pkt.c b/hw/net/net_tx_pkt.c
index 9560e4a49e..da262edc3e 100644
--- a/hw/net/net_tx_pkt.c
+++ b/hw/net/net_tx_pkt.c
@@ -379,7 +379,10 @@ bool net_tx_pkt_add_raw_fragment(struct NetTxPkt *pkt, hwaddr pa,
     hwaddr mapped_len = 0;
     struct iovec *ventry;
     assert(pkt);
-    assert(pkt->max_raw_frags > pkt->raw_frags);
+
+    if (pkt->raw_frags >= pkt->max_raw_frags) {
+        return false;
+    }
 
     if (!len) {
         return true;
--
2.26.2


Reply | Threaded
Open this post in threaded view
|

Re: [PATCH v2] hw/net/net_tx_pkt: fix assertion failure in net_tx_pkt_add_raw_fragment()

Dmitry Fleytman-3

> On 1 Aug 2020, at 19:42, Mauro Matteo Cascella <[hidden email]> wrote:
>
> An assertion failure issue was found in the code that processes network packets
> while adding data fragments into the packet context. It could be abused by a
> malicious guest to abort the QEMU process on the host. This patch replaces the
> affected assert() with a conditional statement, returning false if the current
> data fragment exceeds max_raw_frags.
>


Reviewed-by: Dmitry Fleytman <[hidden email]>


> Reported-by: Alexander Bulekov <[hidden email]>
> Reported-by: Ziming Zhang <[hidden email]>
> Signed-off-by: Mauro Matteo Cascella <[hidden email]>
> ---
> hw/net/net_tx_pkt.c | 5 ++++-
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
> diff --git a/hw/net/net_tx_pkt.c b/hw/net/net_tx_pkt.c
> index 9560e4a49e..da262edc3e 100644
> --- a/hw/net/net_tx_pkt.c
> +++ b/hw/net/net_tx_pkt.c
> @@ -379,7 +379,10 @@ bool net_tx_pkt_add_raw_fragment(struct NetTxPkt *pkt, hwaddr pa,
>     hwaddr mapped_len = 0;
>     struct iovec *ventry;
>     assert(pkt);
> -    assert(pkt->max_raw_frags > pkt->raw_frags);
> +
> +    if (pkt->raw_frags >= pkt->max_raw_frags) {
> +        return false;
> +    }
>
>     if (!len) {
>         return true;
> --
> 2.26.2
>


Reply | Threaded
Open this post in threaded view
|

Re: [PATCH v2] hw/net/net_tx_pkt: fix assertion failure in net_tx_pkt_add_raw_fragment()

Jason Wang-8
In reply to this post by Mauro Matteo Cascella

On 2020/8/2 上午12:42, Mauro Matteo Cascella wrote:

> An assertion failure issue was found in the code that processes network packets
> while adding data fragments into the packet context. It could be abused by a
> malicious guest to abort the QEMU process on the host. This patch replaces the
> affected assert() with a conditional statement, returning false if the current
> data fragment exceeds max_raw_frags.
>
> Reported-by: Alexander Bulekov <[hidden email]>
> Reported-by: Ziming Zhang <[hidden email]>
> Signed-off-by: Mauro Matteo Cascella <[hidden email]>
> ---
>   hw/net/net_tx_pkt.c | 5 ++++-
>   1 file changed, 4 insertions(+), 1 deletion(-)
>
> diff --git a/hw/net/net_tx_pkt.c b/hw/net/net_tx_pkt.c
> index 9560e4a49e..da262edc3e 100644
> --- a/hw/net/net_tx_pkt.c
> +++ b/hw/net/net_tx_pkt.c
> @@ -379,7 +379,10 @@ bool net_tx_pkt_add_raw_fragment(struct NetTxPkt *pkt, hwaddr pa,
>       hwaddr mapped_len = 0;
>       struct iovec *ventry;
>       assert(pkt);
> -    assert(pkt->max_raw_frags > pkt->raw_frags);
> +
> +    if (pkt->raw_frags >= pkt->max_raw_frags) {
> +        return false;
> +    }
>  
>       if (!len) {
>           return true;


Applied.

Thanks