1665N/AFrom 19a9cd607de73947fcfb104682f203ffe4e1f4e5 Mon Sep 17 00:00:00 2001
1665N/AFrom: Tobias Stoeckmann <tobias@stoeckmann.org>
1665N/ADate: Sun, 25 Sep 2016 22:31:34 +0200
1665N/ASubject: [PATCH:libXi] Properly validate server responses.
1665N/ABy validating length fields from server responses, out of boundary
1665N/Aaccesses and endless loops can be mitigated.
1665N/ASigned-off-by: Tobias Stoeckmann <tobias@stoeckmann.org>
1665N/AReviewed-by: Matthieu Herrb <matthieu@herrb.eu>
1665N/A 10 files changed, 99 insertions(+), 23 deletions(-)
1665N/Aindex 7785843..9433e29 100644
1665N/A@@ -114,7 +114,8 @@ XGetDeviceMotionEvents(
1665N/A /*
rep.axes is a CARD8, so assume max number of axes for bounds check */
1665N/A- (INT_MAX / (sizeof(XDeviceTimeCoord) + (UCHAR_MAX * sizeof(int))))) {
1665N/A+ (INT_MAX / (sizeof(XDeviceTimeCoord) + (UCHAR_MAX * sizeof(int)))) &&
1665N/Aindex 002daba..13bb8c6 100644
1665N/A@@ -92,7 +92,8 @@ XGetDeviceButtonMapping(
1665N/A status = _XReply(dpy, (xReply *) & rep, 0, xFalse);
1665N/A _XRead(dpy, (char *)mapping, nbytes);
1665N/Aindex c5d3b53..7f6b396 100644
1665N/A@@ -93,7 +93,8 @@ XGetDeviceControl(
1665N/A@@ -117,7 +118,8 @@ XGetDeviceControl(
1665N/A r = (xDeviceResolutionState *) d;
1665N/A- if (r->num_valuators >= (INT_MAX / (3 * sizeof(int))))
1665N/A+ if (sizeof(xDeviceResolutionState) > nbytes ||
1665N/A+ r->num_valuators >= (INT_MAX / (3 * sizeof(int))))
1665N/A val_size = 3 * sizeof(int) * r->num_valuators;
1665N/A if ((sizeof(xDeviceResolutionState) + val_size) > nbytes)
1665N/Aindex 7fd6d0e..82dcc64 100644
1665N/A@@ -73,6 +73,7 @@ XGetFeedbackControl(
1665N/A XFeedbackState *Sav = NULL;
1665N/A xFeedbackState *sav = NULL;
1665N/A xGetFeedbackControlReq *req;
1665N/A xGetFeedbackControlReply rep;
1665N/A XExtDisplayInfo *info = XInput_find_display(dpy);
1665N/A@@ -105,10 +106,12 @@ XGetFeedbackControl(
1665N/A _XRead(dpy, (char *)f, nbytes);
1665N/A for (i = 0; i < *num_feedbacks; i++) {
1665N/A+ if ((char *)f + sizeof(*f) > end ||
1665N/A+ f->length == 0 || f->length > nbytes)
1665N/A@@ -125,6 +128,8 @@ XGetFeedbackControl(
1665N/A xStringFeedbackState *strf = (xStringFeedbackState *) f;
1665N/A+ if ((char *)f + sizeof(*strf) > end)
1665N/A size += sizeof(XStringFeedbackState) +
1665N/A (strf->num_syms_supported * sizeof(KeySym));
1665N/Aindex 0540ce4..008a72b 100644
1665N/A@@ -93,9 +94,16 @@ XGetDeviceKeyMapping(register Display * dpy, XDevice * dev,
1665N/A- mapping = (KeySym *) Xmalloc((unsigned)nbytes);
1665N/A+ mapping = (KeySym *) Xmalloc((unsigned)nbytes);
1665N/A _XRead(dpy, (char *)mapping, nbytes);
1665N/Aindex 246698c..33c114f 100644
1665N/A@@ -85,8 +86,14 @@ XGetDeviceModifierMapping(
1665N/A return (XModifierKeymap *) NULL;
1665N/A- res = (XModifierKeymap *) Xmalloc(sizeof(XModifierKeymap));
1665N/A+ res = (XModifierKeymap *) Xmalloc(sizeof(XModifierKeymap));
1665N/A res->modifiermap = (KeyCode *) Xmalloc(nbytes);
1665N/A@@ -43,6 +44,7 @@ XIQueryDevice(Display *dpy, int deviceid, int *ndevices_return)
1665N/A@@ -60,14 +62,24 @@ XIQueryDevice(Display *dpy, int deviceid, int *ndevices_return)
1665N/A if (!_XReply(dpy, (xReply*) &reply, 0, xFalse))
1665N/A /* info is a null-terminated array */
1665N/A@@ -79,6 +91,9 @@ XIQueryDevice(Display *dpy, int deviceid, int *ndevices_return)
1665N/A XIDeviceInfo *lib = &info[i];
1665N/A xXIDeviceInfo *wire = (xXIDeviceInfo*)ptr;
1665N/A+ if (ptr + sizeof(xXIDeviceInfo) > end)
1665N/A lib->deviceid = wire->deviceid;
1665N/A lib->attachment = wire->attachment;
1665N/A@@ -87,12 +102,23 @@ XIQueryDevice(Display *dpy, int deviceid, int *ndevices_return)
1665N/A ptr += sizeof(xXIDeviceInfo);
1665N/A+ if (ptr + wire->name_len > end)
1665N/A lib->name = Xcalloc(wire->name_len + 1, 1);
1665N/A strncpy(lib->name, ptr, wire->name_len);
1665N/A+ lib->name[wire->name_len] = '\0';
1665N/A ptr += ((wire->name_len + 3)/4) * 4;
1665N/A sz = size_classes((xXIAnyInfo*)ptr, nclasses);
1665N/A lib->classes = Xmalloc(sz);
1665N/A ptr += copy_classes(lib, (xXIAnyInfo*)ptr, &nclasses);
1665N/A /* We skip over unused classes */
1665N/A lib->num_classes = nclasses;
1665N/A@@ -103,6 +129,12 @@ XIQueryDevice(Display *dpy, int deviceid, int *ndevices_return)
1665N/A@@ -74,7 +74,7 @@ static int pad_to_xid(int base_size)
1665N/A-SizeClassInfo(xAnyClassPtr *any, int num_classes)
1665N/A+SizeClassInfo(xAnyClassPtr *any, size_t len, int num_classes)
1665N/A@@ -90,6 +90,8 @@ SizeClassInfo(xAnyClassPtr *any, int num_classes)
1665N/A v = (xValuatorInfoPtr) *any;
1665N/A size += pad_to_xid(sizeof(XValuatorInfo) +
1665N/A (v->num_axes * sizeof(XAxisInfo)));
1665N/A@@ -98,6 +100,8 @@ SizeClassInfo(xAnyClassPtr *any, int num_classes)
1665N/A *any = (xAnyClassPtr) ((char *)(*any) + (*any)->length);
1665N/A@@ -170,7 +174,7 @@ XListInputDevices(
1665N/A xListInputDevicesReply rep;
1665N/A xDeviceInfo *list, *slist = NULL;
1665N/A@@ -178,6 +182,7 @@ XListInputDevices(
1665N/A unsigned char *nptr, *Nptr;
1665N/A@@ -213,16 +218,20 @@ XListInputDevices(
1665N/A any = (xAnyClassPtr) ((char *)list + (*ndevices * sizeof(xDeviceInfo)));
1665N/A+ end = (char *)list + rlen;
1665N/A for (i = 0; i < *ndevices; i++, list++) {
1665N/A- size += SizeClassInfo(&any, (int)list->num_classes);
1665N/A+ s = SizeClassInfo(&any, end - (char *)any, (int)list->num_classes);
1665N/A- Nptr = ((unsigned char *)list) + rlen + 1;
1665N/A+ Nptr = ((unsigned char *)list) + rlen;
1665N/A for (i = 0, nptr = (unsigned char *)any; i < *ndevices; i++) {
1665N/A clist = (XDeviceInfoPtr) Xmalloc(size);
1665N/Aindex 029dec2..4b3c460 100644
1665N/A@@ -86,9 +87,15 @@ XOpenDevice(
1665N/A int dlen; /* data length */
1665N/Aindex de1c0e5..7ee2272 100644
1665N/A@@ -73,7 +73,7 @@ XQueryDeviceState(
1665N/A xQueryDeviceStateReply rep;
1665N/A XDeviceState *state = NULL;
1665N/A+ char *data = NULL, *end = NULL;
1665N/A XExtDisplayInfo *info = XInput_find_display(dpy);
1665N/A@@ -92,6 +92,7 @@ XQueryDeviceState(
1665N/A@@ -100,7 +101,8 @@ XQueryDeviceState(
1665N/A+ if ((char *)any + sizeof(XInputClass) > end ||
1665N/A+ any->length == 0 || any->length > rlen)
1665N/A@@ -114,6 +116,8 @@ XQueryDeviceState(
1665N/A xValuatorState *v = (xValuatorState *) any;
1665N/A+ if ((char *)any + sizeof(xValuatorState) > end)
1665N/A size += (sizeof(XValuatorState) +
1665N/A (v->num_valuators * sizeof(int)));