Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <1512778733.15005.59.camel@gmail.com>
Date: Fri, 08 Dec 2017 19:18:53 -0500
From: Daniel Micay <danielmicay@...il.com>
To: oss-security@...ts.openwall.com, Greg KH <greg@...ah.com>
Cc: at zhou <zhouat2017@...il.com>, security@...nel.org,
 secalert@...hat.com,  security@...e.com, tglx@...utronix.de,
 linux-distros@...openwall.org
Subject: Re: Re: signed integer overflow in common_timer_get
 on linux 4.15.0-rc1

On Fri, 2017-12-08 at 12:09 +0300, Dan Carpenter wrote:
> On Thu, Dec 07, 2017 at 12:17:18PM +0100, Greg KH wrote:
> > On Thu, Dec 07, 2017 at 06:01:43PM +0800, at zhou wrote:
> > > Hi all,
> > > 
> > > credit   to   L5@...vulcan team
> > > 
> > > I fuzzed the linux kernel and find signed integer overflow on
> > > linux
> > > 4.15.0-rc1+.
> > > the crash log can see below, the .config and the poc file ,please
> > > see the
> > > attachments.
> > 
> > Odd, doesn't seem to affect a 4.9 or 4.15-rc2 kernel here on my
> > machines, is there something specific in the .config that might be
> > triggering this?
> > 
> 
> Greg, you're running with UBSAN?
> 
> I've always wondered how UBSAN was going to work because there are
> *so*
> many harmless integer overflows in the kernel.  That's my main
> challenge
> with trying to use static analysis for integer overflows.
> 
> regards,
> dan carpenter

There are options for marking intended overflows to start moving towards
it being more useful. There's no_sanitize for marking intended overflow,
etc. at a function scope. The overflow intrinsics bypass the checks so
they can be used to mark specific operations as having intended overflow
for more clarity and better coverage.

Of course, people would need to agree that it has enough value to be
worth putting in this effort. It can improve code readability despite
the extra verbosity in these cases too, especially with good taste when
choosing no_sanitize vs. marking specific operations.

Android uses both signed + unsigned overflow checks in production for
their media stack via the trapping mode (debugging mode used more
broadly) so it can be quite successful and can go beyond just using it
for debugging.

Powered by blists - more mailing lists

Please check out the Open Source Software Security Wiki, which is counterpart to this mailing list.

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.