linux-kernel - [PATCH 0/5] Coccinelle: put_device: Adjustments for a SmPL script

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: <e34d47fe-3aac-5b01-055d-61d97cf50fe7@web.de>
Date:   Mon, 13 May 2019 10:55:22 +0200
From:   Markus Elfring <Markus.Elfring@....de>
To:     Julia Lawall <julia.lawall@...6.fr>,
        Gilles Muller <Gilles.Muller@...6.fr>,
        Masahiro Yamada <yamada.masahiro@...ionext.com>,
        Michal Marek <michal.lkml@...kovi.net>,
        Nicolas Palix <nicolas.palix@...g.fr>,
        Wen Yang <wen.yang99@....com.cn>
Cc:     cocci@...teme.lip6.fr, linux-kernel@...r.kernel.org,
        Yi Wang <wang.yi59@....com.cn>
Subject: [PATCH 0/5] Coccinelle: put_device: Adjustments for a SmPL script

Some adjustments were discussed also for this script a while ago.
The software development attention evolved in a special way in the meantime.

See also for further background information:
https://lore.kernel.org/lkml/CAK7LNATjAsiSeZoTZ57zBHse0j5ZYY_12ZQ0gaF_oCziUWheOQ@mail.gmail.com/
https://systeme.lip6.fr/pipermail/cocci/2019-March/005692.html
https://lkml.org/lkml/2019/3/26/395

I would appreciate if corresponding implementation details will get
another look.

Markus Elfring (5):
  Adjust a message construction
  Add a cast to an expression for an assignment
  Merge four SmPL when constraints into one
  Extend when constraints for two SmPL ellipses
  Merge two SmPL when constraints into one

 scripts/coccinelle/free/put_device.cocci | 23 ++++++++++-------------
 1 file changed, 10 insertions(+), 13 deletions(-)

--
2.21.0