Openwall GNU/*/Linux - a small security-enhanced Linux distro for servers
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Mon, 12 Aug 2019 12:00:45 +0200
From: Markus Elfring <Markus.Elfring@....de>
To: Alexander Popov <alex.popov@...ux.com>, Jann Horn <jannh@...gle.com>,
 Julia Lawall <julia.lawall@...6.fr>, kernel-janitors@...r.kernel.org,
 cocci@...teme.lip6.fr
Cc: linux-kernel@...r.kernel.org, linux-block@...r.kernel.org,
 kernel-hardening@...ts.openwall.com, Al Viro <viro@...iv.linux.org.uk>,
 Denis Efremov <efremov@...ux.com>, Gilles Muller <Gilles.Muller@...6.fr>,
 Jens Axboe <axboe@...nel.dk>, Jiri Kosina <jikos@...nel.org>,
 Michal Marek <michal.lkml@...kovi.net>, Mukesh Ojha <mojha@...eaurora.org>,
 Nicolas Palix <nicolas.palix@...g.fr>
Subject: Re: floppy: fix usercopy direction

> …, I see `exists` allows to drop `<+ +>`, right?

I would interpret the combination of such SmPL specifications in a different way.


> It turned out that sparse already can find these bugs.

This is generally nice, isn't it?


> Is this rule useful anyway?

I hope so.

Can scripts for the semantic patch language help any more?


> If so, I can prepare a patch.

Would you like to take corresponding adjustments into account?

Regards,
Markus

Powered by blists - more mailing lists

Your e-mail address:

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.