[PATCH] FIX: NO_CAST.INTEGER_OVERFLOW in ubirsvol.c
Anton Moryakov
ant.v.moryakov at gmail.com
Fri Dec 6 04:34:25 PST 2024
Report of the static analyzer:
The value of an arithmetic expression 'vol_info.leb_size * args.lebs' is a subject to overflow because its operands are not cast to a larger data type before performing arithmetic
Corrections explained:
the fix ensures values are checked before multiplication.
an exception check for the negativity of vol_info.leb_size and args.lebs was added, as well as casting vol_info.leb_size to uint64_t
Triggers found by static analyzer Svace.
Signed-off-by: Anton Moryakov <ant.v.moryakov at gmail.com>
---
ubi-utils/ubirsvol.c | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/ubi-utils/ubirsvol.c b/ubi-utils/ubirsvol.c
index 0854abc..87286d4 100644
--- a/ubi-utils/ubirsvol.c
+++ b/ubi-utils/ubirsvol.c
@@ -230,8 +230,10 @@ int main(int argc, char * const argv[])
}
}
- if (args.lebs != -1)
- args.bytes = vol_info.leb_size * args.lebs;
+ if (args.lebs != -1){
+ if(vol_info.leb_size > 0 && args.lebs > 0)
+ args.bytes = vol_info.leb_size * args.lebs;
+ }
err = ubi_rsvol(libubi, args.node, args.vol_id, args.bytes);
if (err) {
--
2.30.2
More information about the linux-mtd
mailing list