[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <6168f58a-891c-1527-93ec-4d3778a59aa2@web.de>
Date: Tue, 13 Aug 2019 09:50:54 +0200
From: Markus Elfring <Markus.Elfring@....de>
To: Alexander Popov <alex.popov@...ux.com>, cocci@...teme.lip6.fr
Cc: kernel-hardening@...ts.openwall.com, linux-block@...r.kernel.org,
linux-kernel@...r.kernel.org, Al Viro <viro@...iv.linux.org.uk>,
Denis Efremov <efremov@...ux.com>,
Gilles Muller <Gilles.Muller@...6.fr>,
Jann Horn <jannh@...gle.com>, Jens Axboe <axboe@...nel.dk>,
Jiri Kosina <jikos@...nel.org>,
Julia Lawall <julia.lawall@...6.fr>,
Michal Marek <michal.lkml@...kovi.net>,
Mukesh Ojha <mojha@...eaurora.org>,
Nicolas Palix <nicolas.palix@...g.fr>
Subject: Re: floppy: fix usercopy direction
> @script:python@
> f << cfu.f;
> t << cfu.t;
> v << cfu.v;
> decl_p << cfu.decl_p;
> copy_p << cfu.copy_p;
> @@
>
> if '__user' in t:
Can this check be specified as a constraint for a metavariable
in the initial SmPL rule?
Would you like to move it to an other place?
Regards,
Markus
Powered by blists - more mailing lists