linux-kernel - Re: [FAIL 0/5] Static lock analysis

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] [day] [month] [year] [list]

Message-ID: <CANeU7QnTedKHNQM7MS3Q2YB-y6AxGRkmmzFOT1+8PKjY=Chn_w@mail.gmail.com>
Date:	Wed, 17 Feb 2016 15:05:37 -0800
From:	Christopher Li <sparse@...isli.org>
To:	Daniel Wagner <daniel.wagner@...-carit.de>
Cc:	Linux-Sparse <linux-sparse@...r.kernel.org>,
	linux-kernel <linux-kernel@...r.kernel.org>
Subject: Re: [FAIL 0/5] Static lock analysis

On Wed, Feb 17, 2016 at 1:51 AM, Daniel Wagner
<daniel.wagner@...-carit.de> wrote:
>
> Maybe the first 3 patches might be okay to get merged.

Yes, the first 3 looks simple and obvious correct.

Chris