Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S934034AbeALOmf (ORCPT + 1 other); Fri, 12 Jan 2018 09:42:35 -0500 Received: from mail-wr0-f193.google.com ([209.85.128.193]:43139 "EHLO mail-wr0-f193.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S933757AbeALOmc (ORCPT ); Fri, 12 Jan 2018 09:42:32 -0500 X-Google-Smtp-Source: ACJfBoueE/KRKFbC9+MsJBq4ODcAivqQwcHZefU6vD7mn71etAfLrTUZ898pEjOHFS3/l5RMSU0vWQ== From: Christian Lamparter X-Google-Original-From: Christian Lamparter To: Dan Williams Cc: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, kernel-hardening@lists.openwall.com, netdev@vger.kernel.org, linux-wireless@vger.kernel.org, Elena Reshetova , tglx@linutronix.de, torvalds@linux-foundation.org, akpm@linux-foundation.org, Kalle Valo , alan@linux.intel.com Subject: Re: [PATCH v2 15/19] carl9170: prevent bounds-check bypass via speculative execution Date: Fri, 12 Jan 2018 15:42:28 +0100 Message-ID: <1648304.tjl4HeBnOe@debian64> In-Reply-To: <151571806633.27429.1504260808341642890.stgit@dwillia2-desk3.amr.corp.intel.com> References: <151571798296.27429.7166552848688034184.stgit@dwillia2-desk3.amr.corp.intel.com> <151571806633.27429.1504260808341642890.stgit@dwillia2-desk3.amr.corp.intel.com> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Return-Path: On Friday, January 12, 2018 1:47:46 AM CET Dan Williams wrote: > Static analysis reports that 'queue' may be a user controlled value that > is used as a data dependency to read from the 'ar9170_qmap' array. In > order to avoid potential leaks of kernel memory values, block > speculative execution of the instruction stream that could issue reads > based on an invalid result of 'ar9170_qmap[queue]'. In this case the > value of 'ar9170_qmap[queue]' is immediately reused as an index to the > 'ar->edcf' array. > > Based on an original patch by Elena Reshetova. > > Cc: Christian Lamparter > Cc: Kalle Valo > Cc: linux-wireless@vger.kernel.org > Cc: netdev@vger.kernel.org > Signed-off-by: Elena Reshetova > Signed-off-by: Dan Williams > --- This patch (and p54, cw1200) look like the same patch?! Can you tell me what happend to: On Saturday, January 6, 2018 5:34:03 PM CET Dan Williams wrote: > On Sat, Jan 6, 2018 at 6:23 AM, Christian Lamparter wrote: > > And Furthermore a invalid queue (param->ac) would cause a crash in > > this line in mac80211 before it even reaches the driver [1]: > > | sdata->tx_conf[params->ac] = p; > > | ^^^^^^^^ > > | if (drv_conf_tx(local, sdata, >>>> params->ac <<<<, &p)) { > > | ^^ (this is a wrapper for the *_op_conf_tx) > > > > I don't think these chin-up exercises are needed. > > Quite the contrary, you've identified a better place in the call stack > to sanitize the input and disable speculation. Then we can kill the > whole class of the wireless driver reports at once it seems. Anyway, I think there's an easy way to solve this: remove the "if (queue < ar->hw->queues)" check altogether. It's no longer needed anymore as the "queue" value is validated long before the driver code gets called. And from my understanding, this will fix the "In this case the value of 'ar9170_qmap[queue]' is immediately reused as an index to the 'ar->edcf' array." gripe your tool complains about. This is here's a quick test-case for carl9170.: --- diff --git a/drivers/net/wireless/ath/carl9170/main.c b/drivers/net/wireless/ath/carl9170/main.c index 988c8857d78c..2d3afb15bb62 100644 --- a/drivers/net/wireless/ath/carl9170/main.c +++ b/drivers/net/wireless/ath/carl9170/main.c @@ -1387,13 +1387,8 @@ static int carl9170_op_conf_tx(struct ieee80211_hw *hw, int ret; mutex_lock(&ar->mutex); - if (queue < ar->hw->queues) { - memcpy(&ar->edcf[ar9170_qmap[queue]], param, sizeof(*param)); - ret = carl9170_set_qos(ar); - } else { - ret = -EINVAL; - } - + memcpy(&ar->edcf[ar9170_qmap[queue]], param, sizeof(*param)); + ret = carl9170_set_qos(ar); mutex_unlock(&ar->mutex); return ret; } --- What does your tool say about this? (If necessary, the "queue" value could be even sanitized with a queue %= ARRAY_SIZE(ar9170_qmap); before the mutex_lock.)