linux-kernel - Re: [RFC BUG] coccinelle: use_after

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: <alpine.DEB.2.10.1512061416140.2517@hadrien>
Date:	Sun, 6 Dec 2015 14:17:19 +0100 (CET)
From:	Julia Lawall <julia.lawall@...6.fr>
To:	"Geyslan G. Bem" <geyslan@...il.com>
cc:	Gilles Muller <Gilles.Muller@...6.fr>,
	Nicolas Palix <nicolas.palix@...g.fr>,
	Michal Marek <mmarek@...e.com>, cocci@...teme.lip6.fr,
	LKML <linux-kernel@...r.kernel.org>
Subject: Re: [RFC BUG] coccinelle: use_after_iter parse error



On Sun, 6 Dec 2015, Geyslan G. Bem wrote:

> 2015-12-06 10:09 GMT-03:00 Geyslan G. Bem <geyslan@...il.com>:
> > Hi maintainers,
> >
> > I'm having these error output using coccinelle.
>
> Sorry, gmail and its ctrl+enter shortcut. :/
>
> geyslan@hb ~/Projects/linux $ make coccicheck V=2 M=drivers/usb/host/
> -j4 > cocciout
> Fatal error: exception Failure("minus: parse error: \n = File
> \"./scripts/coccinelle/iterators/use_after_iter.cocci\", line 126,
> column 0,  charpos = 3561\n    around = '&', whole content =
> &c->member\n")

Thanks ever so much for the report.  Since version 1.0.4, & cannot be in
column 0, so it would need a space in front of it.  I will submit a patch.

julia

> Fatal error: exception Failure("minus: parse error: \n = File
> \"./scripts/coccinelle/iterators/use_after_iter.cocci\", line 126,
> column 0,  charpos = 3561\n    around = '&', whole content =
> &c->member\n")
> Fatal error: exception Failure("minus: parse error: \n = File
> \"./scripts/coccinelle/iterators/use_after_iter.cocci\", line 126,
> column 0,  charpos = 3561\n    around = '&', whole content =
> &c->member\n")
> Fatal error: exception Failure("minus: parse error: \n = File
> \"./scripts/coccinelle/iterators/use_after_iter.cocci\", line 126,
> column 0,  charpos = 3561\n    around = '&', whole content =
> &c->member\n")
> Fatal error: exception Failure("minus: parse error: \n = File
> \"./scripts/coccinelle/iterators/use_after_iter.cocci\", line 126,
> column 0,  charpos = 3561\n    around = '&', whole content =
> &c->member\n")
> Fatal error: exception Failure("minus: parse error: \n = File
> \"./scripts/coccinelle/iterators/use_after_iter.cocci\", line 126,
> column 0,  charpos = 3561\n    around = '&', whole content =
> &c->member\n")
> Fatal error: exception Failure("minus: parse error: \n = File
> \"./scripts/coccinelle/iterators/use_after_iter.cocci\", line 126,
> column 0,  charpos = 3561\n    around = '&', whole content =
> &c->member\n")
> Fatal error: exception Failure("minus: parse error: \n = File
> \"./scripts/coccinelle/iterators/use_after_iter.cocci\", line 126,
> column 0,  charpos = 3561\n    around = '&', whole content =
> &c->member\n")
>
> sizeof(<+...c...+>)
> |
> &c->member  // Line 126
> |
> c = E
>
> geyslan@hb ~/Projects/linux $ spatch --version
> spatch version 1.0.4 with Python support and with PCRE support
>
>
> >
> >
> > --
> > Regards,
> >
> > Geyslan G. Bem
> > hackingbits.com
>
>
>
> --
> Regards,
>
> Geyslan G. Bem
> hackingbits.com
>
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/