linux-kernel - Re: test case against union aliasing

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]

Date:   Tue, 27 Feb 2018 14:30:19 +0100 (CET)
From:   Julia Lawall <julia.lawall@...6.fr>
To:     Andy Shevchenko <andriy.shevchenko@...ux.intel.com>
cc:     Lukas Wunner <lukas@...ner.de>,
        "linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>
Subject: Re: test case against union aliasing



On Tue, 27 Feb 2018, Andy Shevchenko wrote:

> Hi!
>
> It seems we have some code in kernel which utilizes (rightlessly for
> now) union aliasing.
>
> So, can we create a test case against such? (Three steps: a) replace
> union by struct keyword in data type in question, b) compile, c) run in
> Qemu with proper functional test)
>
> Does it make any sense?

I think so.  If you want to do it more safely than with sed, it should be
possible with Coccinelle, with just

@@
identifier i;
@@

-union i
+struct i

julia