Re: [PATCH v3] iio: adc: pac1934: validate ACPI _DSM return type and bounds

[Andy Shevchenko <andriy.shevchenko@intel.com>]

On Thu, Oct 29, 2026 at 12:14:47AM +0000, Tristan Madani wrote:
> 
> pac1934_acpi_parse_channel_config() calls acpi_evaluate_dsm() four
> times to read channel configuration but does not validate the returned
> object type or array bounds:
> 
>   1. No check that the returned object is ACPI_TYPE_PACKAGE.  If
>      firmware returns a different type, accessing rez->package.count
>      and rez->package.elements on a non-package object produces
>      unpredictable values.
> 
>   2. The loop bounds use rez->package.count directly without capping
>      to PAC1934_MAX_NUM_CHANNELS (4).  A package with more elements
>      than expected causes writes past the fixed-size labels[],
>      shunts[], and active_channels[] arrays.
> 
>   3. The bipolar and sample rate DSM calls access elements[0] without
>      verifying package.count >= 1.
> 
> Use acpi_evaluate_dsm_typed() with ACPI_TYPE_PACKAGE to validate the
> return type at evaluation time.  Cap loop iterations to
> PAC1934_MAX_NUM_CHANNELS, and verify package count >= 1 before
> accessing elements[0].

...

> static int pac1934_acpi_parse_channel_config(struct i2c_client *client,

>  	struct device *dev = &client->dev;
>  	unsigned short bi_dir_mask;
>  	int idx, i;
> +	unsigned int count;
>  	guid_t guid;

Preserve reversed xmas tree order.


> +	count = min(rez->package.count & ~1u,
> +		    (unsigned int)(PAC1934_MAX_NUM_CHANNELS * 2));

No, you are not supposed to cast parameters for min(). It should work for int
as small positive predefined number.

...

Ditto for the other case of min().

-- 
With Best Regards,
Andy Shevchenko