Roman Smirnov 56e69e5975 udf: prevent integer overflow in udf_bitmap_free_blocks()
An overflow may occur if the function is called with the last
block and an offset greater than zero. It is necessary to add
a check to avoid this.

Found by Linux Verification Center (linuxtesting.org) with Svace.

[JK: Make test cover also unalloc table freeing]

Link: https://patch.msgid.link/20240620072413.7448-1-r.smirnov@omp.ru
Suggested-by: Jan Kara <jack@suse.com>
Signed-off-by: Roman Smirnov <r.smirnov@omp.ru>
Signed-off-by: Jan Kara <jack@suse.cz>
2024-06-26 12:54:11 +02:00
..
2023-08-02 09:13:09 -06:00
2021-08-11 16:54:44 +02:00
2024-06-26 12:54:11 +02:00
2024-02-21 13:55:30 +01:00