Re: MIT discovered issue with gcc

2013-11-23 Thread Paul Wise
On Sun, Nov 24, 2013 at 3:53 AM, Darius Jahandarie wrote: > Although Debian *developers* can't find and fix all upstream bugs, the > Debian project, as the funnel between code and users, provides an > interesting location to perform this sort of automated static analysis > on all source code flowi

Re: MIT discovered issue with gcc

2013-11-23 Thread Cyril Brulebois
Stefan Roas (2013-11-23): > On Sat Nov 23, 2013 at 10:18:43, Robert Baron wrote: > > Second question: > > > > Doesn't memcpy allow for overlapping memory, but strcpy does not? Isn't > > this why memcpy is preferred over strcpy? > > Nope. There's memmove for overlapping areas. Indeed, easy enou

Re: MIT discovered issue with gcc

2013-11-23 Thread Joel Rees
On Sun, Nov 24, 2013 at 12:18 AM, Robert Baron wrote: > Second question: > > Doesn't memcpy allow for overlapping memory, but strcpy does not? Isn't > this why memcpy is preferred over strcpy? >[...] The reason memcpy() is preferred over strcpy() is the same as the reason strncpy() is preferred

Re: MIT discovered issue with gcc

2013-11-23 Thread Joel Rees
[Not sure this really needs to be cc-ed to security@] On Sun, Nov 24, 2013 at 12:09 AM, Robert Baron wrote: > Aren't many of the constructs used as examples in the paper are commonly > used in c programming. For example it is very common to see a function that > has a pointer as a parameter def

Re: MIT discovered issue with gcc

2013-11-23 Thread Michael Gilbert
On Sat, Nov 23, 2013 at 4:52 PM, Jann Horn wrote: > On Sat, Nov 23, 2013 at 08:14:34AM -0500, Brad Alexander wrote: >> Any program at a level not very much above Hello World >> in the language of your choice is likely to have bugs. > > Isn't that a bit extreme? I think that a good programmer who se

Re: MIT discovered issue with gcc

2013-11-23 Thread Jann Horn
On Sat, Nov 23, 2013 at 08:14:34AM -0500, Brad Alexander wrote: > Any program at a level not very much above Hello World > in the language of your choice is likely to have bugs. Isn't that a bit extreme? I think that a good programmer who seriously tries to code carefully should be able to impleme

Re: MIT discovered issue with gcc

2013-11-23 Thread Darius Jahandarie
On Sat, Nov 23, 2013 at 1:16 PM, Mark Haase wrote: > Anyway, I don't see what this has to do with Debian. It's an interesting > paper, but Debian can't find and fix all upstream bugs, nor do I think most > users would be happy if suddenly everything was compiled without any > optimizations. Altho

Re: MIT discovered issue with gcc

2013-11-23 Thread Mark Haase
The researchers' point was that an attacker might be able to remap that memory page so that dereferencing a null pointer would NOT segfault. (I don't actually know how feasible this is; I'm just paraphrasing their argument. They footnote this claim but I didn't bother to read the cited sources.)

Re: [SECURITY] [DSA 2797-1] chromium-browser security update

2013-11-23 Thread Michael Gilbert
On Sun, Nov 17, 2013 at 10:42 AM, Michael Gilbert wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA512 > > - - > Debian Security Advisory DSA-2797-1 secur...@debian.org > http://www.debian.org/security/

Re: MIT discovered issue with gcc

2013-11-23 Thread Michael Tautschnig
[...] > Isn't it interesting that their one example will potentially dereference > the null pointer even before compiler optimizations (from the paper): > > struct tun_struct *tun=; > struct sock *sk = tun->sk; > if(*tun) return POLLERR; > > The check to see that tun is non-null should occur

Re: MIT discovered issue with gcc

2013-11-23 Thread Stefan Roas
On Sat Nov 23, 2013 at 10:18:43, Robert Baron wrote: > Second question: > > Doesn't memcpy allow for overlapping memory, but strcpy does not? Isn't > this why memcpy is preferred over strcpy? Nope. There's memmove for overlapping areas. -- To UNSUBSCRIBE, email to debian-security-requ...@list

Re: MIT discovered issue with gcc

2013-11-23 Thread Robert Baron
Second question: Doesn't memcpy allow for overlapping memory, but strcpy does not? Isn't this why memcpy is preferred over strcpy? On Sat, Nov 23, 2013 at 10:09 AM, Robert Baron < robertbartlettba...@gmail.com> wrote: > Aren't many of the constructs used as examples in the paper are commonly

Re: MIT discovered issue with gcc

2013-11-23 Thread Robert Baron
Aren't many of the constructs used as examples in the paper are commonly used in c programming. For example it is very common to see a function that has a pointer as a parameter defined as: int func(void *ptr) { if(!ptr) return SOME_ERROR; /* rest of function*/ return 1; } I

Re: MIT discovered issue with gcc

2013-11-23 Thread Joel Rees
Deja gnu? On Sat, Nov 23, 2013 at 10:34 AM, Andrew McGlashan wrote: > Hi, > > The following link shows the issue in a nutshell: > > http://www.securitycurrent.com/en/research/ac_research/mot-researchers-uncover-security-flaws-in-c > > [it refers to the PDF that I mentioned] > > -- > Kind Regards

Re: MIT discovered issue with gcc

2013-11-23 Thread Brad Alexander
On Sat, Nov 23, 2013 at 6:18 AM, Michael Tautschnig wrote: > > > > > This looks very serious indeed, but a quick search of Debian mailing > > lists didn't show anything being acknowledged for this issue should > > Debian users be concerned? > > > > Probably not more than before, but as much a

Re: MIT discovered issue with gcc

2013-11-23 Thread Michael Tautschnig
Hi Andrew, hi all, > I understand that Debian has a bunch of vulnerabilities as described in > the following PDF. > > http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf > > Just a small quote: > > "This paper presents the first systematic approach for > reasoning about and detecting unstable