Openwall GNU/*/Linux - a small security-enhanced Linux distro for servers
[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Date: Thu, 22 Mar 2018 10:54:47 +0100
From: Daniel Vetter <daniel@...ll.ch>
To: Greg Kroah-Hartman <gregkh@...uxfoundation.org>, Kees Cook <keescook@...omium.org>, 
	kernel-hardening@...ts.openwall.com
Cc: David Airlie <airlied@...ux.ie>, dri-devel <dri-devel@...ts.freedesktop.org>, 
	Sean Paul <seanpaul@...omium.org>, Cihangir Akturk <cakturk@...il.com>, 
	Ingo Molnar <mingo@...nel.org>, Krzysztof Kozlowski <krzk@...nel.org>, 
	Tom Lendacky <thomas.lendacky@....com>, Eyal Itkin <eyalit@...ckpoint.com>
Subject: Re: [PATCH] drm: udl: Properly check framebuffer mmap offsets

On Thu, Mar 22, 2018 at 9:03 AM, Greg Kroah-Hartman
<gregkh@...uxfoundation.org> wrote:
> On Thu, Mar 22, 2018 at 07:59:59AM +0100, Daniel Vetter wrote:
>> Does anyone working on overflow-proof integers? That would make a lot of
>> this code so much simpler if we could just ask the compiler to carry the
>> oferflow bit around for a given expression and then check that and bail
>> with -EINVAL.
>
> That would be nice, but no, I don't think that's part of any C standard
> work that I have heard of :(

Well we have refcount_t already, stitching something together that
would work and not suck too badly with performance should be possible.
But yeah direct compiler support would be better (and would allow
optimizing the carry flag checks I guess). I kinda hoped Kees&team
would be working on this eventually.

Adding Kees+kernel-hardening, maybe he'll grow fond of this :-)
-Daniel
-- 
Daniel Vetter
Software Engineer, Intel Corporation
+41 (0) 79 365 57 48 - http://blog.ffwll.ch

Powered by blists - more mailing lists

Your e-mail address:

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