linux-kernel - Re: [Cocci] [PATCH] scripts/coccinelle/iterators/use_after_iter.cocci: list iterator variable semantic patch

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] [day] [month] [year] [list]

Message-ID: <1342616848.7530.23.camel@brekeke>
Date:	Wed, 18 Jul 2012 16:07:28 +0300
From:	Artem Bityutskiy <dedekind1@...il.com>
To:	Julia Lawall <Julia.Lawall@...6.fr>
Cc:	Michal Marek <mmarek@...e.cz>,
	Gilles Muller <Gilles.Muller@...6.fr>,
	kernel-janitors@...r.kernel.org, linux-kernel@...r.kernel.org,
	cocci@...u.dk
Subject: Re: [Cocci] [PATCH]
 scripts/coccinelle/iterators/use_after_iter.cocci: list iterator variable
 semantic patch

On Mon, 2012-07-09 at 22:40 +0200, Julia Lawall wrote:
> From: Julia Lawall <Julia.Lawall@...6.fr>
> 
> If list_for_each_entry, etc complete a traversal of the list, the iterator
> variable ends up pointing to an address at an offset from the list head,
> and not a meaningful structure.  Thus this value should not be used after
> the end of the iterator.
> 
> Signed-off-by: Julia Lawall <Julia.Lawall@...6.fr>

Acked-by: Artem Bityutskiy <artem.bityutskiy@...ux.intel.com>

-- 
Best Regards,
Artem Bityutskiy

Download attachment "signature.asc" of type "application/pgp-signature" (837 bytes)