]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
libfdt: Fix undefined behaviour in fdt_offset_ptr()
authorDavid Gibson <david@gibson.dropbear.id.au>
Sun, 2 Oct 2016 23:59:26 +0000 (17:59 -0600)
committerSimon Glass <sjg@chromium.org>
Thu, 13 Oct 2016 19:54:10 +0000 (13:54 -0600)
Using pointer arithmetic to generate a pointer outside a known object is,
technically, undefined behaviour in C.  Unfortunately, we were using that
in fdt_offset_ptr() to detect overflows.

To fix this we need to do our bounds / overflow checking on the offsets
before constructing pointers from them.

Reported-by: David Binderman <dcb314@hotmail.com>
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
Signed-off-by: Simon Glass <sjg@chromium.org>
lib/libfdt/fdt.c

index 96017a15a27aed38697c0d0d23b642082dd6d8b1..2055734012a1009438adf10b2d2e232f5b647c3d 100644 (file)
@@ -35,18 +35,19 @@ int fdt_check_header(const void *fdt)
 
 const void *fdt_offset_ptr(const void *fdt, int offset, unsigned int len)
 {
-       const char *p;
+       unsigned absoffset = offset + fdt_off_dt_struct(fdt);
+
+       if ((absoffset < offset)
+           || ((absoffset + len) < absoffset)
+           || (absoffset + len) > fdt_totalsize(fdt))
+               return NULL;
 
        if (fdt_version(fdt) >= 0x11)
                if (((offset + len) < offset)
                    || ((offset + len) > fdt_size_dt_struct(fdt)))
                        return NULL;
 
-       p = _fdt_offset_ptr(fdt, offset);
-
-       if (p + len < p)
-               return NULL;
-       return p;
+       return _fdt_offset_ptr(fdt, offset);
 }
 
 uint32_t fdt_next_tag(const void *fdt, int startoffset, int *nextoffset)