linux-kernel - [PATCH 0/3] Coccinelle: pci_free_consistent: 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-next>] [day] [month] [year] [list]

Date:   Tue, 14 May 2019 18:44:50 +0200
From:   Markus Elfring <Markus.Elfring@....de>
To:     Gilles Muller <Gilles.Muller@...6.fr>,
        Julia Lawall <Julia.Lawall@...6.fr>,
        Masahiro Yamada <yamada.masahiro@...ionext.com>,
        Michal Marek <michal.lkml@...kovi.net>,
        Nicolas Palix <nicolas.palix@...g.fr>,
        Petr Strnad <strnape1@....cvut.cz>,
        Wen Yang <wen.yang99@....com.cn>
Cc:     Coccinelle <cocci@...teme.lip6.fr>,
        LKML <linux-kernel@...r.kernel.org>,
        Yi Wang <wang.yi59@....com.cn>
Subject: [PATCH 0/3] Coccinelle: pci_free_consistent: Adjustments for a SmPL
 script

This script for the semantic patch language contains implementation details
which can be improved.

Markus Elfring (3):
  Use formatted strings directly in SmPL rules
  Reduce a bit of duplicate SmPL code
  Extend when constraints for two SmPL ellipses

 .../coccinelle/free/pci_free_consistent.cocci | 28 ++++++++++---------
 1 file changed, 15 insertions(+), 13 deletions(-)

--
2.21.0