linux-kernel - Re: [PATCH v1 1/1] fs/proc/kcore.c: fix coccinelle reported ERROR instances

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-Id: <20241029182914.9006075cf5844bc8e679f72c@linux-foundation.org>
Date: Tue, 29 Oct 2024 18:29:14 -0700
From: Andrew Morton <akpm@...ux-foundation.org>
To: Mirsad Todorovac <mtodorovac69@...il.com>
Cc: Alexander Gordeev <agordeev@...ux.ibm.com>,
 linux-kernel@...r.kernel.org, linux-fsdevel@...r.kernel.org, Jakob Koschel
 <jakobkoschel@...il.com>, Mike Rapoport <rppt@...nel.org>, David
 Hildenbrand <david@...hat.com>, Oscar Salvador <osalvador@...e.de>,
 "Brian Johannesmeyer" <bjohannesmeyer@...il.com>, Cristiano Giuffrida
 <c.giuffrida@...nl>, "Bos, H.J." <h.j.bos@...nl>, Alexey Dobriyan
 <adobriyan@...il.com>, Yang Li <yang.lee@...ux.alibaba.com>, Baoquan He
 <bhe@...hat.com>, Hari Bathini <hbathini@...ux.ibm.com>, Yan Zhen
 <yanzhen@...o.com>
Subject: Re: [PATCH v1 1/1] fs/proc/kcore.c: fix coccinelle reported ERROR
 instances

On Tue, 29 Oct 2024 06:46:52 +0100 Mirsad Todorovac <mtodorovac69@...il.com> wrote:

> Coccinelle complains about the nested reuse of the pointer `iter' with different
> pointer type:
> 
> ./fs/proc/kcore.c:515:26-30: ERROR: invalid reference to the index variable of the iterator on line 499
> ./fs/proc/kcore.c:534:23-27: ERROR: invalid reference to the index variable of the iterator on line 499
> ./fs/proc/kcore.c:550:40-44: ERROR: invalid reference to the index variable of the iterator on line 499
> ./fs/proc/kcore.c:568:27-31: ERROR: invalid reference to the index variable of the iterator on line 499
> ./fs/proc/kcore.c:581:28-32: ERROR: invalid reference to the index variable of the iterator on line 499
> ./fs/proc/kcore.c:599:27-31: ERROR: invalid reference to the index variable of the iterator on line 499
> ./fs/proc/kcore.c:607:38-42: ERROR: invalid reference to the index variable of the iterator on line 499
> ./fs/proc/kcore.c:614:26-30: ERROR: invalid reference to the index variable of the iterator on line 499
> 
> Replacing `struct kcore_list *iter' with `struct kcore_list *tmp' doesn't change the
> scope and the functionality is the same and coccinelle seems happy.

Well that's dumb of it.  Still, the code is presently a bit weird and
we don't mind working around such third-party issues.

> NOTE: There was an issue with using `struct kcore_list *pos' as the nested iterator.
>       The build did not work!

It worked for me.  What's wrong with that?

> --- a/fs/proc/kcore.c
> +++ b/fs/proc/kcore.c
> @@ -493,13 +493,13 @@ static ssize_t read_kcore_iter(struct kiocb *iocb, struct iov_iter *iter)
>  		 * the previous entry, search for a matching entry.
>  		 */
>  		if (!m || start < m->addr || start >= m->addr + m->size) {
> -			struct kcore_list *iter;
> +			struct kcore_list *tmp;

`tmp' is a really poor identifier :(

Let's try `pos':

--- a/fs/proc/kcore.c~fs-proc-kcorec-fix-coccinelle-reported-error-instances-fix
+++ a/fs/proc/kcore.c
@@ -493,13 +493,13 @@ static ssize_t read_kcore_iter(struct ki
 		 * the previous entry, search for a matching entry.
 		 */
 		if (!m || start < m->addr || start >= m->addr + m->size) {
-			struct kcore_list *tmp;
+			struct kcore_list *pos;
 
 			m = NULL;
-			list_for_each_entry(tmp, &kclist_head, list) {
-				if (start >= tmp->addr &&
-				    start < tmp->addr + tmp->size) {
-					m = tmp;
+			list_for_each_entry(pos, &kclist_head, list) {
+				if (start >= pos->addr &&
+				    start < pos->addr + pos->size) {
+					m = pos;
 					break;
 				}
 			}
_