public inbox for linux-wireless@vger.kernel.org
 help / color / mirror / Atom feed
From: Jeff Johnson <quic_jjohnson@quicinc.com>
To: "Gustavo A. R. Silva" <gustavoars@kernel.org>,
	Kalle Valo <kvalo@kernel.org>
Cc: <linux-wireless@vger.kernel.org>, <linux-kernel@vger.kernel.org>,
	<linux-hardening@vger.kernel.org>
Subject: Re: [PATCH][next] wifi: cfg80211: Use __counted_by() in struct wmi_start_scan_cmd and avoid -Wfamnae warning
Date: Wed, 27 Mar 2024 14:18:19 -0700	[thread overview]
Message-ID: <3670c9af-3266-4b9b-928e-e91a68db7123@quicinc.com> (raw)
In-Reply-To: <ZgRqjGShTl3y5FFB@neat>

On 3/27/2024 11:50 AM, Gustavo A. R. Silva wrote:
> Prepare for the coming implementation by GCC and Clang of the
> __counted_by attribute. Flexible array members annotated with
> __counted_by can have their accesses bounds-checked at run-time
> via CONFIG_UBSAN_BOUNDS (for array indexing) and CONFIG_FORTIFY_SOURCE
> (for strcpy/memcpy-family functions).
> 
> Also, -Wflex-array-member-not-at-end is coming in GCC-14, and we are
> getting ready to enable it globally.
> 
> So, use the `DEFINE_FLEX()` helper for an on-stack definition of
> a flexible structure where the size of the flexible-array member
> is known at compile-time, and refactor the rest of the code,
> accordingly.
> 
> So, with these changes, fix the following warning:
> drivers/net/wireless/ath/wil6210/cfg80211.c:896:43: warning: structure containing a flexible array member is not at the end of another structure [-Wflex-array-member-not-at-end]
> 
> Link: https://github.com/KSPP/linux/issues/202
> Signed-off-by: Gustavo A. R. Silva <gustavoars@kernel.org>
> ---
>  drivers/net/wireless/ath/wil6210/cfg80211.c | 22 ++++++++++-----------
>  drivers/net/wireless/ath/wil6210/wmi.h      |  2 +-
>  2 files changed, 11 insertions(+), 13 deletions(-)
> 
> diff --git a/drivers/net/wireless/ath/wil6210/cfg80211.c b/drivers/net/wireless/ath/wil6210/cfg80211.c
> index dbe4b3478f03..836b49954171 100644
> --- a/drivers/net/wireless/ath/wil6210/cfg80211.c
> +++ b/drivers/net/wireless/ath/wil6210/cfg80211.c
> @@ -892,10 +892,8 @@ static int wil_cfg80211_scan(struct wiphy *wiphy,
>  	struct wil6210_priv *wil = wiphy_to_wil(wiphy);
>  	struct wireless_dev *wdev = request->wdev;
>  	struct wil6210_vif *vif = wdev_to_vif(wil, wdev);
> -	struct {
> -		struct wmi_start_scan_cmd cmd;
> -		u16 chnl[4];
> -	} __packed cmd;
> +	DEFINE_FLEX(struct wmi_start_scan_cmd, cmd,
> +		    channel_list, num_channels, 4);
>  	uint i, n;
>  	int rc;
>  
> @@ -977,9 +975,9 @@ static int wil_cfg80211_scan(struct wiphy *wiphy,
>  	vif->scan_request = request;
>  	mod_timer(&vif->scan_timer, jiffies + WIL6210_SCAN_TO);
>  
> -	memset(&cmd, 0, sizeof(cmd));
> -	cmd.cmd.scan_type = WMI_ACTIVE_SCAN;
> -	cmd.cmd.num_channels = 0;
> +	memset(cmd, 0, sizeof(*cmd));

Isn't this unnecessary since DEFINE_FLEX() logic "{ .obj.COUNTER = COUNT, }"
should result in everything else being zeroed?

And if that isn't sufficient, DEFINE_FLEX() itself says we should "Use
__struct_size(@NAME) to get compile-time size of it afterwards"

Note the current memset won't zero the flex array and hence if the actual
number of channels is less than 4 then kernel stack contents could be exposed
to firmware.

> +	cmd->scan_type = WMI_ACTIVE_SCAN;
> +	cmd->num_channels = 0;
>  	n = min(request->n_channels, 4U);
>  	for (i = 0; i < n; i++) {
>  		int ch = request->channels[i]->hw_value;
> @@ -991,7 +989,8 @@ static int wil_cfg80211_scan(struct wiphy *wiphy,
>  			continue;
>  		}
>  		/* 0-based channel indexes */
> -		cmd.cmd.channel_list[cmd.cmd.num_channels++].channel = ch - 1;
> +		cmd->num_channels++;
> +		cmd->channel_list[cmd->num_channels - 1].channel = ch - 1;
>  		wil_dbg_misc(wil, "Scan for ch %d  : %d MHz\n", ch,
>  			     request->channels[i]->center_freq);
>  	}
> @@ -1007,16 +1006,15 @@ static int wil_cfg80211_scan(struct wiphy *wiphy,
>  	if (rc)
>  		goto out_restore;
>  
> -	if (wil->discovery_mode && cmd.cmd.scan_type == WMI_ACTIVE_SCAN) {
> -		cmd.cmd.discovery_mode = 1;
> +	if (wil->discovery_mode && cmd->scan_type == WMI_ACTIVE_SCAN) {
> +		cmd->discovery_mode = 1;
>  		wil_dbg_misc(wil, "active scan with discovery_mode=1\n");
>  	}
>  
>  	if (vif->mid == 0)
>  		wil->radio_wdev = wdev;
>  	rc = wmi_send(wil, WMI_START_SCAN_CMDID, vif->mid,
> -		      &cmd, sizeof(cmd.cmd) +
> -		      cmd.cmd.num_channels * sizeof(cmd.cmd.channel_list[0]));
> +		      cmd, struct_size(cmd, channel_list, cmd->num_channels));
>  
>  out_restore:
>  	if (rc) {
> diff --git a/drivers/net/wireless/ath/wil6210/wmi.h b/drivers/net/wireless/ath/wil6210/wmi.h
> index 71bf2ae27a98..b47606d9068c 100644
> --- a/drivers/net/wireless/ath/wil6210/wmi.h
> +++ b/drivers/net/wireless/ath/wil6210/wmi.h
> @@ -474,7 +474,7 @@ struct wmi_start_scan_cmd {
>  	struct {
>  		u8 channel;
>  		u8 reserved;
> -	} channel_list[];
> +	} channel_list[] __counted_by(num_channels);
>  } __packed;
>  
>  #define WMI_MAX_PNO_SSID_NUM	(16)


  parent reply	other threads:[~2024-03-27 21:18 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-03-27 18:50 [PATCH][next] wifi: cfg80211: Use __counted_by() in struct wmi_start_scan_cmd and avoid -Wfamnae warning Gustavo A. R. Silva
2024-03-27 18:57 ` Kalle Valo
2024-03-27 19:09   ` Gustavo A. R. Silva
2024-03-27 21:18 ` Jeff Johnson [this message]
2024-03-27 21:23   ` Gustavo A. R. Silva

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=3670c9af-3266-4b9b-928e-e91a68db7123@quicinc.com \
    --to=quic_jjohnson@quicinc.com \
    --cc=gustavoars@kernel.org \
    --cc=kvalo@kernel.org \
    --cc=linux-hardening@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-wireless@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox