Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Fri, 22 Jul 2022 09:30:22 +0300
From:   Dan Carpenter <dan.carpenter@oracle.com>
To:     Christophe JAILLET <christophe.jaillet@wanadoo.fr>
Cc:     alsa-devel@alsa-project.org,
        Banajit Goswami <bgoswami@codeaurora.org>,
        Harshit Mogalapalli <harshit.m.mogalapalli@oracle.com>,
        linux-kernel@vger.kernel.org, kernel-janitors@vger.kernel.org,
        Takashi Iwai <tiwai@suse.com>,
        Liam Girdwood <lgirdwood@gmail.com>,
        Mark Brown <broonie@kernel.org>,
        Srinivas Kandagatla <srinivas.kandagatla@linaro.org>,
        Banajit Goswami <bgoswami@quicinc.com>
Subject: Re: [PATCH] ASoC: qcom: q6dsp: Fix an off-by-one in
 q6adm_alloc_copp()
Message-ID: <20220722063022.GN2316@kadam>
References: <0fca3271649736053eb9649d87e1ca01b056be40.1658394124.git.christophe.jaillet@wanadoo.fr>
 <20220721100042.GL2338@kadam>
 <a29ea047-4935-4893-108b-f29f46971272@wanadoo.fr>
 <20220721104731.GK2316@kadam>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20220721104731.GK2316@kadam>
User-Agent: Mutt/1.9.4 (2018-02-28)
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?/B6JLZmhn/XdRSPqconm6hF1Arfy6/eQdCekjESrVoVRiop+h25ui5yYzHYq?=
 =?us-ascii?Q?Bi0zcA0do4n1jhyY0uODUsLppx3HABsAVqf1MzriArjnrYkAvuCHxcm2yHD8?=
 =?us-ascii?Q?4HzDgJItQ3vQGNlN0KTOeugwiPYH/X9ktCH7dTeMsuD+3/wThlBqNBtdkmip?=
 =?us-ascii?Q?WDY0sCyE4XBMCki2+umts3wxo07gLKT8L2BTOKMZ6Cx5aMOgazojzqlN1sPY?=
 =?us-ascii?Q?Jifh6rrpzM7SYlgwgY8OYCD8O/3zJpaiXUldftMr7MkQn/7UxwVxj8V+R8gf?=
 =?us-ascii?Q?Ck9Uhkh+Bv4L1dd/LKBBOgQQDG7j5LojO9pH3+jJAEyuJ1FQ4PoHk2kC/0hJ?=
 =?us-ascii?Q?17ZOkmVwwE6yZDnBA2iIfCzKfd1jKgwQnHNe3iPleNP2UOMRlYsCHsqViE4a?=
 =?us-ascii?Q?WgHU6I97JyithdBFsqdVMlFxfuw9nXxusvTl4embPXfCn6R4rbUVRDdkpRlw?=
 =?us-ascii?Q?Xnt7/4vFp1kLtOb9zcGa0xp9KWsjYIg4N64C72csKxKlpov/BsP5DauCx32y?=
 =?us-ascii?Q?ktt7hNNdzVd2ERtvubG9JsRwc0IBRt+9Kr1HsO4mS71OMNy7an0kDSRJB8Gm?=
 =?us-ascii?Q?7OCDsvksznG30gsVmIfXFA7235b2JtxrQMFjQ/GkZ7TEHQjho1qsqSgMsKeP?=
 =?us-ascii?Q?LKa+5VgPh8Rr7sLCtsUJWOKPGDzUiutTuo3Uyb3JHO/LELchQXecQM7KDSSB?=
 =?us-ascii?Q?8SBh6p+2F4jlsqgFWostPHlS78G4GATzSoAEJehz2ti/PYhMATK357fdVgEd?=
 =?us-ascii?Q?xdc1y8udK1DXVacAbPrbQJ459rlJOpBN57inUTz4s2Q48tGJziLyGPXLax0A?=
 =?us-ascii?Q?s1MNU2aeNq+6J0ezBTXUZwYC1WfO7QKQOJKQ9hm9o5F5V9Z0sgDBPs9EijkW?=
 =?us-ascii?Q?KsPjySRg5Oky2LGFsm7amXE22XEu1jwPJEPPnewYG9nVqw//2AR62Ty97tfB?=
 =?us-ascii?Q?bSEv+kD19Iyixo9WfX1DMMeVB1jeD9y4tsOfqTqdYFs7z+uum4T0/SsXnEVp?=
 =?us-ascii?Q?/MGHzZUMMyKFYtH3JGsSaz4U0CcDntwqkBjHS/bT3wz5178fNRCiv00OiJlP?=
 =?us-ascii?Q?dj/GTy2Wy+K1n5RIJ0JYhDo6/dMA+mZr9yx2LIhuzDoG33k/MwX3nw35eeby?=
 =?us-ascii?Q?DpLFV3TuMHLDVSM6OxFZVhnyqWqFuDh2UsD+3Mh4uMjC6VnAGDx58nUmN6pY?=
 =?us-ascii?Q?dQLPT7/cbvYnQuKwyF2lsuSo4PVCOeaLQSTpBY5ykbDtnN0lb+vLEmCAokAQ?=
 =?us-ascii?Q?T60DyHSc0WL78I3LG96hs9fDv2DtvIORxdcnif1hrqFOtaDLGH/qs5ecMd28?=
 =?us-ascii?Q?0XYby1IOWXqlEH9jscYCgWjVZCp0iAgdPh5Ou/iPbVfbwnnKvkuzL85PQNFP?=
 =?us-ascii?Q?OmQSLChgCn+42Uf3qnFS8itcA+1tQhiiTAf+vC3cWr82YfWlEaWRLzV32luA?=
 =?us-ascii?Q?cfmoO47g5oK1f7YC93XlmMMWE5YcCNpsSh6//vpihBVusqzS+1N2H5FOuOxx?=
 =?us-ascii?Q?E3gqQOpXksESgonEJ2/lnyapoPS5/zSJgyEpvz0ct5SDpWVm23uFSM7jOoO8?=
 =?us-ascii?Q?Yca8UO4pMg+t7NFrrl9JvXXFd1Qpk0t5i+ft3q2IKUuuM7PlORnjaij/uJFu?=
 =?us-ascii?Q?/g=3D=3D?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 2858b3d6-617e-4e99-d01f-08da6babb30d
X-MS-Exchange-CrossTenant-AuthSource: MWHPR1001MB2365.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 22 Jul 2022 06:30:41.5515
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: D22sbC1UGf2akxkHBf+4JUxoM+kufa+cMbVN68fcwxtmP5a34RCAbJaWOVN9ETfBPBI/YJT8ZiB6j8fiVYvmCpLnQlqmyEZZ1ZVAFVZmFV0=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ0PR10MB5744
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.205,Aquarius:18.0.883,Hydra:6.0.517,FMLib:17.11.122.1
 definitions=2022-07-21_28,2022-07-21_02,2022-06-22_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 bulkscore=0 malwarescore=0
 mlxscore=0 phishscore=0 mlxlogscore=893 suspectscore=0 adultscore=0
 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2206140000
 definitions=main-2207220026
X-Proofpoint-GUID: OPeOpw5U9TN6dtFMwvFSebAAnRugRPeY
X-Proofpoint-ORIG-GUID: OPeOpw5U9TN6dtFMwvFSebAAnRugRPeY
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,
        RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE autolearn=ham
        autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Thu, Jul 21, 2022 at 01:47:31PM +0300, Dan Carpenter wrote:
> (Still takes overnight to run so I might end up sorely dissappointed
> and defeated tomorrow morning)

The generic test was pretty useless.  :(  Basically it was 117 false
positives.  Attached.

There were thre main reasons for the false postives.
1) Smatch takes short cuts when dealing with loops.
2) Smatch doesn't understand threads so some code does.

	msg.code = 0;
	write_msg_and_wait_for_response(&msg);
	return msg.code;

It's kind of useful to find these bugs in Smatch and I'll investigate
how to fix them.  Another option would be to hack around the bugs by
just ignoring 0 and 1 returns.

	if (rl_max(left_rl).value == 0 || rl_max(left_rl).value == 1)
		return;

That would probably silence 90% of the false positives caused by 1 and
2.

3) A lot of code has harmless sanity checks:

	size = get_size();
	if (size > MAX)
		return -EINVAL;

or:

	size = get_size();
	if (size > MAX)
		size = MAX;

defeated.  :(

regards,
dan carpenter