On 23.06.23 23:14, Julia Lawall wrote:
Use array_size to protect against multiplication overflows.

The changes were done using the following Coccinelle semantic patch:

// <smpl>
@@
     expression E1, E2;
     constant C1, C2;
     identifier alloc = {vmalloc,vzalloc};
@@
(
       alloc(C1 * C2,...)
|
       alloc(
-           (E1) * (E2)
+           array_size(E1, E2)
       ,...)
)
// </smpl>

Signed-off-by: Julia Lawall <[email protected]>

---
  drivers/virtio/virtio_mem.c |    6 +++---
  1 file changed, 3 insertions(+), 3 deletions(-)



Reviewed-by: David Hildenbrand <[email protected]>

--
Cheers,

David / dhildenb

_______________________________________________
Virtualization mailing list
[email protected]
https://lists.linuxfoundation.org/mailman/listinfo/virtualization

Reply via email to