On Tue, Nov 12, 2024 at 10:50:35AM +0530, Suraj Sonawane wrote:
> Fix an issue detected by syzbot with KASAN:
> 
> BUG: KASAN: vmalloc-out-of-bounds in cmd_to_func drivers/acpi/nfit/
> core.c:416 [inline]
> BUG: KASAN: vmalloc-out-of-bounds in acpi_nfit_ctl+0x20e8/0x24a0
> drivers/acpi/nfit/core.c:459
> 
> The issue occurs in `cmd_to_func` when the `call_pkg->nd_reserved2`
> array is accessed without verifying that `call_pkg` points to a
> buffer that is sized appropriately as a `struct nd_cmd_pkg`. This
> could lead to out-of-bounds access and undefined behavior if the
> buffer does not have sufficient space.
> 
> To address this issue, a check was added in `acpi_nfit_ctl()` to
> ensure that `buf` is not `NULL` and `buf_len` is greater than or
> equal to `sizeof(struct nd_cmd_pkg)` before casting `buf` to
> `struct nd_cmd_pkg *`. This ensures safe access to the members of
> `call_pkg`, including the `nd_reserved2` array.

That all sounds good! A couple of coding conventions fixups suggested
below -

snip

> @@ -439,7 +439,7 @@ int acpi_nfit_ctl(struct nvdimm_bus_descriptor *nd_desc, 
> struct nvdimm *nvdimm,
>  {
>       struct acpi_nfit_desc *acpi_desc = to_acpi_desc(nd_desc);
>       struct nfit_mem *nfit_mem = nvdimm_provider_data(nvdimm);
> -     union acpi_object in_obj, in_buf, *out_obj;
> +     union acpi_object in_obj, in_buf, *out_obj = NULL;
>       const struct nd_cmd_desc *desc = NULL;
>       struct device *dev = acpi_desc->dev;
>       struct nd_cmd_pkg *call_pkg = NULL;
> @@ -454,8 +454,14 @@ int acpi_nfit_ctl(struct nvdimm_bus_descriptor *nd_desc, 
> struct nvdimm *nvdimm,
>       if (cmd_rc)
>               *cmd_rc = -EINVAL;
>  
> -     if (cmd == ND_CMD_CALL)
> -             call_pkg = buf;
> +     if (cmd == ND_CMD_CALL) {
> +             if (buf == NULL || buf_len < sizeof(struct nd_cmd_pkg)) {

Comparison to NULL and sizeof() usage preferred like this:
        if (!buf || buf_len < sizeof(*call_pkg))


-snip
> 
> 

Reply via email to