* [PATCH] hwmon: (dell-smm) Limit fan multiplier to avoid overflow
@ 2025-12-09 6:37 Denis Sergeev
2025-12-14 17:33 ` Guenter Roeck
0 siblings, 1 reply; 2+ messages in thread
From: Denis Sergeev @ 2025-12-09 6:37 UTC (permalink / raw)
To: pali, linux; +Cc: linux-hwmon, linux-kernel, Denis Sergeev
The fan nominal speed returned by SMM is limited to 16 bits, but the
driver allows the fan multiplier to be set via a module parameter.
Clamp the computed fan multiplier so that fan_nominal_speed *
i8k_fan_mult always fits into a signed 32-bit integer and refuse to
initialize the driver if the value is too large.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Signed-off-by: Denis Sergeev <denserg.edu@gmail.com>
---
drivers/hwmon/dell-smm-hwmon.c | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/drivers/hwmon/dell-smm-hwmon.c b/drivers/hwmon/dell-smm-hwmon.c
index cbe1a74a3dee..f0e8a9bc0d0e 100644
--- a/drivers/hwmon/dell-smm-hwmon.c
+++ b/drivers/hwmon/dell-smm-hwmon.c
@@ -76,6 +76,9 @@
#define DELL_SMM_NO_TEMP 10
#define DELL_SMM_NO_FANS 4
+/* limit fan multiplier to avoid overflow */
+#define DELL_SMM_MAX_FAN_MULT (INT_MAX / U16_MAX)
+
struct smm_regs {
unsigned int eax;
unsigned int ebx;
@@ -1253,6 +1256,12 @@ static int dell_smm_init_data(struct device *dev, const struct dell_smm_ops *ops
data->ops = ops;
/* All options must not be 0 */
data->i8k_fan_mult = fan_mult ? : I8K_FAN_MULT;
+ if (data->i8k_fan_mult > DELL_SMM_MAX_FAN_MULT) {
+ dev_err(dev,
+ "fan multiplier %u is too large (max %u)\n",
+ data->i8k_fan_mult, DELL_SMM_MAX_FAN_MULT);
+ return -EINVAL;
+ }
data->i8k_fan_max = fan_max ? : I8K_FAN_HIGH;
data->i8k_pwm_mult = DIV_ROUND_UP(255, data->i8k_fan_max);
--
2.50.1
^ permalink raw reply [flat|nested] 2+ messages in thread* Re: [PATCH] hwmon: (dell-smm) Limit fan multiplier to avoid overflow
2025-12-09 6:37 [PATCH] hwmon: (dell-smm) Limit fan multiplier to avoid overflow Denis Sergeev
@ 2025-12-14 17:33 ` Guenter Roeck
0 siblings, 0 replies; 2+ messages in thread
From: Guenter Roeck @ 2025-12-14 17:33 UTC (permalink / raw)
To: Denis Sergeev; +Cc: pali, linux-hwmon, linux-kernel
On Tue, Dec 09, 2025 at 09:37:06AM +0300, Denis Sergeev wrote:
> The fan nominal speed returned by SMM is limited to 16 bits, but the
> driver allows the fan multiplier to be set via a module parameter.
>
> Clamp the computed fan multiplier so that fan_nominal_speed *
> i8k_fan_mult always fits into a signed 32-bit integer and refuse to
> initialize the driver if the value is too large.
>
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
>
> Signed-off-by: Denis Sergeev <denserg.edu@gmail.com>
Applied.
Thanks,
Guenter
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2025-12-14 17:33 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-12-09 6:37 [PATCH] hwmon: (dell-smm) Limit fan multiplier to avoid overflow Denis Sergeev
2025-12-14 17:33 ` Guenter Roeck
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®