glx: Length checking for RenderLarge requests (v2) [CVE-2014-8098 3/8]
This is a half-measure until we start passing request length into the varsize function, but it's better than the nothing we had before. v2: Verify that there's at least a large render header's worth of dataBytes (Julien Cristau) Reviewed-by: Michal Srb <msrb@suse.com> Reviewed-by: Andy Ritger <aritger@nvidia.com> Signed-off-by: Adam Jackson <ajax@redhat.com> Signed-off-by: Alan Coopersmith <alan.coopersmith@oracle.com>
This commit is contained in:
parent
698888e667
commit
a33a939e6a
|
@ -2109,6 +2109,8 @@ __glXDisp_RenderLarge(__GLXclientState * cl, GLbyte * pc)
|
||||||
|
|
||||||
__GLX_DECLARE_SWAP_VARIABLES;
|
__GLX_DECLARE_SWAP_VARIABLES;
|
||||||
|
|
||||||
|
REQUEST_AT_LEAST_SIZE(xGLXRenderLargeReq);
|
||||||
|
|
||||||
req = (xGLXRenderLargeReq *) pc;
|
req = (xGLXRenderLargeReq *) pc;
|
||||||
if (client->swapped) {
|
if (client->swapped) {
|
||||||
__GLX_SWAP_SHORT(&req->length);
|
__GLX_SWAP_SHORT(&req->length);
|
||||||
|
@ -2124,12 +2126,14 @@ __glXDisp_RenderLarge(__GLXclientState * cl, GLbyte * pc)
|
||||||
__glXResetLargeCommandStatus(cl);
|
__glXResetLargeCommandStatus(cl);
|
||||||
return error;
|
return error;
|
||||||
}
|
}
|
||||||
|
if (safe_pad(req->dataBytes) < 0)
|
||||||
|
return BadLength;
|
||||||
dataBytes = req->dataBytes;
|
dataBytes = req->dataBytes;
|
||||||
|
|
||||||
/*
|
/*
|
||||||
** Check the request length.
|
** Check the request length.
|
||||||
*/
|
*/
|
||||||
if ((req->length << 2) != __GLX_PAD(dataBytes) + sz_xGLXRenderLargeReq) {
|
if ((req->length << 2) != safe_pad(dataBytes) + sz_xGLXRenderLargeReq) {
|
||||||
client->errorValue = req->length;
|
client->errorValue = req->length;
|
||||||
/* Reset in case this isn't 1st request. */
|
/* Reset in case this isn't 1st request. */
|
||||||
__glXResetLargeCommandStatus(cl);
|
__glXResetLargeCommandStatus(cl);
|
||||||
|
@ -2139,7 +2143,7 @@ __glXDisp_RenderLarge(__GLXclientState * cl, GLbyte * pc)
|
||||||
|
|
||||||
if (cl->largeCmdRequestsSoFar == 0) {
|
if (cl->largeCmdRequestsSoFar == 0) {
|
||||||
__GLXrenderSizeData entry;
|
__GLXrenderSizeData entry;
|
||||||
int extra;
|
int extra = 0;
|
||||||
size_t cmdlen;
|
size_t cmdlen;
|
||||||
int err;
|
int err;
|
||||||
|
|
||||||
|
@ -2152,13 +2156,17 @@ __glXDisp_RenderLarge(__GLXclientState * cl, GLbyte * pc)
|
||||||
return __glXError(GLXBadLargeRequest);
|
return __glXError(GLXBadLargeRequest);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
if (dataBytes < __GLX_RENDER_LARGE_HDR_SIZE)
|
||||||
|
return BadLength;
|
||||||
|
|
||||||
hdr = (__GLXrenderLargeHeader *) pc;
|
hdr = (__GLXrenderLargeHeader *) pc;
|
||||||
if (client->swapped) {
|
if (client->swapped) {
|
||||||
__GLX_SWAP_INT(&hdr->length);
|
__GLX_SWAP_INT(&hdr->length);
|
||||||
__GLX_SWAP_INT(&hdr->opcode);
|
__GLX_SWAP_INT(&hdr->opcode);
|
||||||
}
|
}
|
||||||
cmdlen = hdr->length;
|
|
||||||
opcode = hdr->opcode;
|
opcode = hdr->opcode;
|
||||||
|
if ((cmdlen = safe_pad(hdr->length)) < 0)
|
||||||
|
return BadLength;
|
||||||
|
|
||||||
/*
|
/*
|
||||||
** Check for core opcodes and grab entry data.
|
** Check for core opcodes and grab entry data.
|
||||||
|
@ -2180,17 +2188,13 @@ __glXDisp_RenderLarge(__GLXclientState * cl, GLbyte * pc)
|
||||||
if (extra < 0) {
|
if (extra < 0) {
|
||||||
return BadLength;
|
return BadLength;
|
||||||
}
|
}
|
||||||
/* large command's header is 4 bytes longer, so add 4 */
|
|
||||||
if (cmdlen != __GLX_PAD(entry.bytes + 4 + extra)) {
|
|
||||||
return BadLength;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
else {
|
|
||||||
/* constant size command */
|
/* the +4 is safe because we know entry.bytes is small */
|
||||||
if (cmdlen != __GLX_PAD(entry.bytes + 4)) {
|
if (cmdlen != safe_pad(safe_add(entry.bytes + 4, extra))) {
|
||||||
return BadLength;
|
return BadLength;
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/*
|
/*
|
||||||
** Make enough space in the buffer, then copy the entire request.
|
** Make enough space in the buffer, then copy the entire request.
|
||||||
*/
|
*/
|
||||||
|
@ -2217,6 +2221,7 @@ __glXDisp_RenderLarge(__GLXclientState * cl, GLbyte * pc)
|
||||||
** We are receiving subsequent (i.e. not the first) requests of a
|
** We are receiving subsequent (i.e. not the first) requests of a
|
||||||
** multi request command.
|
** multi request command.
|
||||||
*/
|
*/
|
||||||
|
int bytesSoFar; /* including this packet */
|
||||||
|
|
||||||
/*
|
/*
|
||||||
** Check the request number and the total request count.
|
** Check the request number and the total request count.
|
||||||
|
@ -2235,11 +2240,18 @@ __glXDisp_RenderLarge(__GLXclientState * cl, GLbyte * pc)
|
||||||
/*
|
/*
|
||||||
** Check that we didn't get too much data.
|
** Check that we didn't get too much data.
|
||||||
*/
|
*/
|
||||||
if ((cl->largeCmdBytesSoFar + dataBytes) > cl->largeCmdBytesTotal) {
|
if ((bytesSoFar = safe_add(cl->largeCmdBytesSoFar, dataBytes)) < 0) {
|
||||||
client->errorValue = dataBytes;
|
client->errorValue = dataBytes;
|
||||||
__glXResetLargeCommandStatus(cl);
|
__glXResetLargeCommandStatus(cl);
|
||||||
return __glXError(GLXBadLargeRequest);
|
return __glXError(GLXBadLargeRequest);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
if (bytesSoFar > cl->largeCmdBytesTotal) {
|
||||||
|
client->errorValue = dataBytes;
|
||||||
|
__glXResetLargeCommandStatus(cl);
|
||||||
|
return __glXError(GLXBadLargeRequest);
|
||||||
|
}
|
||||||
|
|
||||||
memcpy(cl->largeCmdBuf + cl->largeCmdBytesSoFar, pc, dataBytes);
|
memcpy(cl->largeCmdBuf + cl->largeCmdBytesSoFar, pc, dataBytes);
|
||||||
cl->largeCmdBytesSoFar += dataBytes;
|
cl->largeCmdBytesSoFar += dataBytes;
|
||||||
cl->largeCmdRequestsSoFar++;
|
cl->largeCmdRequestsSoFar++;
|
||||||
|
@ -2251,17 +2263,16 @@ __glXDisp_RenderLarge(__GLXclientState * cl, GLbyte * pc)
|
||||||
** This is the last request; it must have enough bytes to complete
|
** This is the last request; it must have enough bytes to complete
|
||||||
** the command.
|
** the command.
|
||||||
*/
|
*/
|
||||||
/* NOTE: the two pad macros have been added below; they are needed
|
/* NOTE: the pad macro below is needed because the client library
|
||||||
** because the client library pads the total byte count, but not
|
** pads the total byte count, but not the per-request byte counts.
|
||||||
** the per-request byte counts. The Protocol Encoding says the
|
** The Protocol Encoding says the total byte count should not be
|
||||||
** total byte count should not be padded, so a proposal will be
|
** padded, so a proposal will be made to the ARB to relax the
|
||||||
** made to the ARB to relax the padding constraint on the total
|
** padding constraint on the total byte count, thus preserving
|
||||||
** byte count, thus preserving backward compatibility. Meanwhile,
|
** backward compatibility. Meanwhile, the padding done below
|
||||||
** the padding done below fixes a bug that did not allow
|
** fixes a bug that did not allow large commands of odd sizes to
|
||||||
** large commands of odd sizes to be accepted by the server.
|
** be accepted by the server.
|
||||||
*/
|
*/
|
||||||
if (__GLX_PAD(cl->largeCmdBytesSoFar) !=
|
if (safe_pad(cl->largeCmdBytesSoFar) != cl->largeCmdBytesTotal) {
|
||||||
__GLX_PAD(cl->largeCmdBytesTotal)) {
|
|
||||||
client->errorValue = dataBytes;
|
client->errorValue = dataBytes;
|
||||||
__glXResetLargeCommandStatus(cl);
|
__glXResetLargeCommandStatus(cl);
|
||||||
return __glXError(GLXBadLargeRequest);
|
return __glXError(GLXBadLargeRequest);
|
||||||
|
|
Loading…
Reference in New Issue