All of lore.kernel.org
 help / color / mirror / Atom feed
From: "Américo Wang" <xiyou.wangcong@gmail.com>
To: "Pádraig Brady" <P@draigBrady.com>
Cc: "Américo Wang" <xiyou.wangcong@gmail.com>,
	"Andreas Dilger" <adilger.kernel@dilger.ca>,
	wharms@bfs.de, "Eric Dumazet" <eric.dumazet@gmail.com>,
	"Andrew Morton" <akpm@linux-foundation.org>,
	"Vasiliy Kulikov" <segoon@openwall.com>,
	kernel-janitors@vger.kernel.org,
	"Alexander Viro" <viro@zeniv.linux.org.uk>,
	linux-fsdevel@vger.kernel.org, linux-kernel@vger.kernel.org,
	"Jakub Jelinek" <jakub@redhat.com>
Subject: Re: [PATCH v2] fs: select: fix information leak to userspace
Date: Wed, 24 Nov 2010 12:32:13 +0000	[thread overview]
Message-ID: <20101124123213.GB2922@hack> (raw)
In-Reply-To: <4CECFB19.1090003@draigBrady.com>

On Wed, Nov 24, 2010 at 11:46:33AM +0000, Pádraig Brady wrote:
>On 24/11/10 11:05, Américo Wang wrote:
>> On Wed, Nov 24, 2010 at 10:44:50AM +0000, Pádraig Brady wrote:
>>> On 23/11/10 18:02, Andreas Dilger wrote:
>>>> On 2010-11-23, at 07:45, walter harms wrote:
>>>>> Maybe we can convince the gcc people to make 0 padding default. That will not solve the problems for other compilers but when they claim "works like gcc" we can press then to support this also. I can imagine that this will close some other subtle leaks also.
>>>>
>>>> It makes the most sense to tackle this at the GCC level, since the added overhead of doing memset(0) on the whole struct may be non-trivial for commonly-used and/or large structures.  Since GCC is already explicitly zeroing the _used_ fields in the struct, it can much more easily determine whether there is padding in the structure, and zero those few bytes as needed.
>>>
>>> Zero padding structs is part of C90. Details here:
>>> http://www.pixelbeat.org/programming/gcc/auto_init.html
>> 
>> Nope.
>> 
>>>
>>> gcc doesn't zero pad when _all_ elements are specified.
>>>
>> 
>> That is what gcc does, not what C standard specifies.
>
>Looks like gcc is following the standard exactly.
>
>C90 - 6.5.7
>C99 - 6.7.8
>
>  If there are fewer initializers in a brace-enclosed list than
>  there are elements or members of an aggregate ... the remainder
>  of the aggregate shall be initialized implicitly the same as
>  objects that have static storage duration.
>

Depends on if "the remainder of the aggregate" includes padding bytes
or not.

WARNING: multiple messages have this Message-ID (diff)
From: "Américo Wang" <xiyou.wangcong@gmail.com>
To: "Pádraig Brady" <P@draigBrady.com>
Cc: "Américo Wang" <xiyou.wangcong@gmail.com>,
	"Andreas Dilger" <adilger.kernel@dilger.ca>,
	wharms@bfs.de, "Eric Dumazet" <eric.dumazet@gmail.com>,
	"Andrew Morton" <akpm@linux-foundation.org>,
	"Vasiliy Kulikov" <segoon@openwall.com>,
	kernel-janitors@vger.kernel.org,
	"Alexander Viro" <viro@zeniv.linux.org.uk>,
	linux-fsdevel@vger.kernel.org, linux-kernel@vger.kernel.org,
	"Jakub Jelinek" <jakub@redhat.com>
Subject: Re: [PATCH v2] fs: select: fix information leak to userspace
Date: Wed, 24 Nov 2010 20:32:13 +0800	[thread overview]
Message-ID: <20101124123213.GB2922@hack> (raw)
In-Reply-To: <4CECFB19.1090003@draigBrady.com>

On Wed, Nov 24, 2010 at 11:46:33AM +0000, Pádraig Brady wrote:
>On 24/11/10 11:05, Américo Wang wrote:
>> On Wed, Nov 24, 2010 at 10:44:50AM +0000, Pádraig Brady wrote:
>>> On 23/11/10 18:02, Andreas Dilger wrote:
>>>> On 2010-11-23, at 07:45, walter harms wrote:
>>>>> Maybe we can convince the gcc people to make 0 padding default. That will not solve the problems for other compilers but when they claim "works like gcc" we can press then to support this also. I can imagine that this will close some other subtle leaks also.
>>>>
>>>> It makes the most sense to tackle this at the GCC level, since the added overhead of doing memset(0) on the whole struct may be non-trivial for commonly-used and/or large structures.  Since GCC is already explicitly zeroing the _used_ fields in the struct, it can much more easily determine whether there is padding in the structure, and zero those few bytes as needed.
>>>
>>> Zero padding structs is part of C90. Details here:
>>> http://www.pixelbeat.org/programming/gcc/auto_init.html
>> 
>> Nope.
>> 
>>>
>>> gcc doesn't zero pad when _all_ elements are specified.
>>>
>> 
>> That is what gcc does, not what C standard specifies.
>
>Looks like gcc is following the standard exactly.
>
>C90 - 6.5.7
>C99 - 6.7.8
>
>  If there are fewer initializers in a brace-enclosed list than
>  there are elements or members of an aggregate ... the remainder
>  of the aggregate shall be initialized implicitly the same as
>  objects that have static storage duration.
>

Depends on if "the remainder of the aggregate" includes padding bytes
or not.

  reply	other threads:[~2010-11-24 12:32 UTC|newest]

Thread overview: 72+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-11-10 20:38 [PATCH] fs: select: fix information leak to userspace Vasiliy Kulikov
2010-11-10 20:38 ` Vasiliy Kulikov
2010-11-12 20:08 ` Andrew Morton
2010-11-12 20:08   ` Andrew Morton
2010-11-13 21:38   ` Andreas Dilger
2010-11-13 21:38     ` Andreas Dilger
2010-11-14  9:25     ` [PATCH v2] " Vasiliy Kulikov
2010-11-14  9:25       ` Vasiliy Kulikov
2010-11-15  2:06       ` Andrew Morton
2010-11-15  2:06         ` Andrew Morton
2010-11-15 19:12         ` Eric Dumazet
2010-11-15 19:12           ` Eric Dumazet
2010-11-15 19:12           ` Eric Dumazet
2010-11-16 11:19           ` Boaz Harrosh
2010-11-16 11:19             ` Boaz Harrosh
2010-11-22 23:50             ` Andrew Morton
2010-11-22 23:50               ` Andrew Morton
2010-11-23  0:20               ` Eric Dumazet
2010-11-23  0:20                 ` Eric Dumazet
2010-11-23  0:32                 ` Andrew Morton
2010-11-23  0:32                   ` Andrew Morton
2010-11-23  5:12                   ` Dan Carpenter
2010-11-23  5:12                     ` Dan Carpenter
2010-11-23  6:59                     ` Eric Dumazet
2010-11-23  6:59                       ` Eric Dumazet
2010-11-23  6:59                       ` Eric Dumazet
2010-11-23 13:58           ` Américo Wang
2010-11-23 14:01             ` Américo Wang
2010-11-23 14:01             ` Américo Wang
2010-11-23 14:45             ` walter harms
2010-11-23 14:45               ` walter harms
2010-11-23 14:45               ` walter harms
2010-11-23 15:23               ` Américo Wang
2010-11-23 15:23                 ` Américo Wang
2010-11-23 15:23                 ` Américo Wang
2010-11-23 18:02               ` Andreas Dilger
2010-11-23 18:02                 ` Andreas Dilger
2010-11-23 20:18                 ` Andrew Morton
2010-11-23 20:18                   ` Andrew Morton
2010-11-23 20:22                   ` David Miller
2010-11-23 20:22                     ` David Miller
2010-11-24  0:24                   ` Andreas Dilger
2010-11-24  0:24                     ` Andreas Dilger
2010-11-24 16:06                   ` walter harms
2010-11-24 16:06                     ` walter harms
2010-11-24 10:44                 ` Pádraig Brady
2010-11-24 10:44                   ` Pádraig Brady
2010-11-24 10:44                   ` Pádraig Brady
2010-11-24 11:05                   ` Américo Wang
2010-11-24 11:05                     ` Américo Wang
2010-11-24 11:46                     ` Pádraig Brady
2010-11-24 12:32                       ` Américo Wang [this message]
2010-11-24 12:32                         ` Américo Wang
2010-12-15  9:49                       ` Al Viro
2010-12-15 20:30                         ` Andreas Dilger
2010-12-15 20:30                           ` Andreas Dilger
2010-12-15 20:33                           ` Julia Lawall
2010-12-15 20:33                             ` Julia Lawall
2010-12-15 20:52                             ` Eric Dumazet
2010-12-15 20:52                               ` Eric Dumazet
2010-12-15 20:52                               ` Eric Dumazet
2010-12-15 22:19                               ` Andreas Dilger
2010-12-15 22:19                                 ` Andreas Dilger
2010-12-16  9:39                                 ` Boaz Harrosh
2010-12-16  9:39                                   ` Boaz Harrosh
2010-12-16  9:39                                   ` Boaz Harrosh
2010-11-24 17:54               ` Valdis.Kletnieks
2010-11-24 17:54                 ` Valdis.Kletnieks
2010-11-16 18:45         ` Vasiliy Kulikov
2010-11-16 18:45           ` Vasiliy Kulikov
2010-11-15  2:05     ` [PATCH] " Andrew Morton
2010-11-15  2:05       ` Andrew Morton

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20101124123213.GB2922@hack \
    --to=xiyou.wangcong@gmail.com \
    --cc=P@draigBrady.com \
    --cc=adilger.kernel@dilger.ca \
    --cc=akpm@linux-foundation.org \
    --cc=eric.dumazet@gmail.com \
    --cc=jakub@redhat.com \
    --cc=kernel-janitors@vger.kernel.org \
    --cc=linux-fsdevel@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=segoon@openwall.com \
    --cc=viro@zeniv.linux.org.uk \
    --cc=wharms@bfs.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.