Hi,
On Mon, Jan 25, 2021 at 02:13:44PM +0300, Dan Carpenter wrote:
> Smatch complains that "count" is not clamped when "ff->dev_lock_changed"
> and it leads to an information leak. Fortunately, that's not actually
> possible and the condition can be deleted.
>
> Signed-off-by: Dan Carpenter <dan.carpenter@xxxxxxxxxx>
> ---
> v2: just delet the condition
>
> sound/firewire/fireface/ff-hwdep.c | 10 ++++------
> 1 file changed, 4 insertions(+), 6 deletions(-)
Acked-by: Takashi Sakamoto <o-takashi@xxxxxxxxxxxxx>
ALSA firewire stack includes some drivers. Although some of them implement
unique event as well as the lock event, the others supports the lock
event only. The condition statement comes from the former, I guess.
ALSA BeBoB, OXFW, and Fireface drivers are the latter. Later I'll post
the similar patch for ALSA BeBoB driver.
Anyway, thank you to find the issue ;)
> diff --git a/sound/firewire/fireface/ff-hwdep.c b/sound/firewire/fireface/ff-hwdep.c
> index 4b2e0dff5ddb..ea64a2a41eea 100644
> --- a/sound/firewire/fireface/ff-hwdep.c
> +++ b/sound/firewire/fireface/ff-hwdep.c
> @@ -35,13 +35,11 @@ static long hwdep_read(struct snd_hwdep *hwdep, char __user *buf, long count,
> }
>
> memset(&event, 0, sizeof(event));
> - if (ff->dev_lock_changed) {
> - event.lock_status.type = SNDRV_FIREWIRE_EVENT_LOCK_STATUS;
> - event.lock_status.status = (ff->dev_lock_count > 0);
> - ff->dev_lock_changed = false;
> + event.lock_status.type = SNDRV_FIREWIRE_EVENT_LOCK_STATUS;
> + event.lock_status.status = (ff->dev_lock_count > 0);
> + ff->dev_lock_changed = false;
>
> - count = min_t(long, count, sizeof(event.lock_status));
> - }
> + count = min_t(long, count, sizeof(event.lock_status));
>
> spin_unlock_irq(&ff->lock);
>
> --
> 2.29.2
Thanks
Takashi Sakamoto
