Blame 00211-Disabled-HTTP-header-injections-in-http-client.patch

e32ce1
From 86589512cc1192e58343bbbc51bb4c09450dab90 Mon Sep 17 00:00:00 2001
e32ce1
From: Tomas Orsava <torsava@redhat.com>
e32ce1
Date: Fri, 24 Jun 2016 12:35:26 +0200
e32ce1
Subject: [PATCH] Disabled HTTP header injections in http.client.
e32ce1
e32ce1
CVE-2016-5699 python: http protocol steam injection attack
e32ce1
rhbz#1303699 : https://bugzilla.redhat.com/show_bug.cgi?id=1303699
e32ce1
e32ce1
Based on an upstream change by Demian Brecht and Serhiy Storchaka
e32ce1
- in changeset 94952:bf3e1c9b80e9 3.4
e32ce1
- https://hg.python.org/cpython/rev/bf3e1c9b80e9
e32ce1
---
e32ce1
 Lib/http/client.py       | 37 +++++++++++++++++++++++++++++++
e32ce1
 Lib/test/test_httplib.py | 57 ++++++++++++++++++++++++++++++++++++++++++++++++
e32ce1
 2 files changed, 94 insertions(+)
e32ce1
e32ce1
diff --git a/Lib/http/client.py b/Lib/http/client.py
e32ce1
index 6de4b0e..7ec5899 100644
e32ce1
--- a/Lib/http/client.py
e32ce1
+++ b/Lib/http/client.py
e32ce1
@@ -70,6 +70,7 @@ import email.parser
e32ce1
 import email.message
e32ce1
 import io
e32ce1
 import os
e32ce1
+import re
e32ce1
 import socket
e32ce1
 import collections
e32ce1
 from urllib.parse import urlsplit
e32ce1
@@ -215,6 +216,34 @@ MAXAMOUNT = 1048576
e32ce1
 _MAXLINE = 65536
e32ce1
 _MAXHEADERS = 100
e32ce1
 
e32ce1
+# Header name/value ABNF (http://tools.ietf.org/html/rfc7230#section-3.2)
e32ce1
+#
e32ce1
+# VCHAR          = %x21-7E
e32ce1
+# obs-text       = %x80-FF
e32ce1
+# header-field   = field-name ":" OWS field-value OWS
e32ce1
+# field-name     = token
e32ce1
+# field-value    = *( field-content / obs-fold )
e32ce1
+# field-content  = field-vchar [ 1*( SP / HTAB ) field-vchar ]
e32ce1
+# field-vchar    = VCHAR / obs-text
e32ce1
+#
e32ce1
+# obs-fold       = CRLF 1*( SP / HTAB )
e32ce1
+#                ; obsolete line folding
e32ce1
+#                ; see Section 3.2.4
e32ce1
+
e32ce1
+# token          = 1*tchar
e32ce1
+#
e32ce1
+# tchar          = "!" / "#" / "$" / "%" / "&" / "'" / "*"
e32ce1
+#                / "+" / "-" / "." / "^" / "_" / "`" / "|" / "~"
e32ce1
+#                / DIGIT / ALPHA
e32ce1
+#                ; any VCHAR, except delimiters
e32ce1
+#
e32ce1
+# VCHAR defined in http://tools.ietf.org/html/rfc5234#appendix-B.1
e32ce1
+
e32ce1
+# the patterns for both name and value are more leniant than RFC
e32ce1
+# definitions to allow for backwards compatibility
e32ce1
+_is_legal_header_name = re.compile(rb'[^:\s][^:\r\n]*').fullmatch
e32ce1
+_is_illegal_header_value = re.compile(rb'\n(?![ \t])|\r(?![ \t\n])').search
e32ce1
+
e32ce1
 
e32ce1
 class HTTPMessage(email.message.Message):
e32ce1
     # XXX The only usage of this method is in
e32ce1
@@ -1058,12 +1087,20 @@ class HTTPConnection:
e32ce1
 
e32ce1
         if hasattr(header, 'encode'):
e32ce1
             header = header.encode('ascii')
e32ce1
+
e32ce1
+        if not _is_legal_header_name(header):
e32ce1
+            raise ValueError('Invalid header name %r' % (header,))
e32ce1
+
e32ce1
         values = list(values)
e32ce1
         for i, one_value in enumerate(values):
e32ce1
             if hasattr(one_value, 'encode'):
e32ce1
                 values[i] = one_value.encode('latin-1')
e32ce1
             elif isinstance(one_value, int):
e32ce1
                 values[i] = str(one_value).encode('ascii')
e32ce1
+
e32ce1
+            if _is_illegal_header_value(values[i]):
e32ce1
+                raise ValueError('Invalid header value %r' % (values[i],))
e32ce1
+
e32ce1
         value = b'\r\n\t'.join(values)
e32ce1
         header = header + b': ' + value
e32ce1
         self._output(header)
e32ce1
diff --git a/Lib/test/test_httplib.py b/Lib/test/test_httplib.py
e32ce1
index 3fc3466..d5037f0 100644
e32ce1
--- a/Lib/test/test_httplib.py
e32ce1
+++ b/Lib/test/test_httplib.py
e32ce1
@@ -148,6 +148,33 @@ class HeaderTests(TestCase):
e32ce1
         conn.putheader('Content-length', 42)
e32ce1
         self.assertIn(b'Content-length: 42', conn._buffer)
e32ce1
 
e32ce1
+        conn.putheader('Foo', ' bar ')
e32ce1
+        self.assertIn(b'Foo:  bar ', conn._buffer)
e32ce1
+        conn.putheader('Bar', '\tbaz\t')
e32ce1
+        self.assertIn(b'Bar: \tbaz\t', conn._buffer)
e32ce1
+        conn.putheader('Authorization', 'Bearer mytoken')
e32ce1
+        self.assertIn(b'Authorization: Bearer mytoken', conn._buffer)
e32ce1
+        conn.putheader('IterHeader', 'IterA', 'IterB')
e32ce1
+        self.assertIn(b'IterHeader: IterA\r\n\tIterB', conn._buffer)
e32ce1
+        conn.putheader('LatinHeader', b'\xFF')
e32ce1
+        self.assertIn(b'LatinHeader: \xFF', conn._buffer)
e32ce1
+        conn.putheader('Utf8Header', b'\xc3\x80')
e32ce1
+        self.assertIn(b'Utf8Header: \xc3\x80', conn._buffer)
e32ce1
+        conn.putheader('C1-Control', b'next\x85line')
e32ce1
+        self.assertIn(b'C1-Control: next\x85line', conn._buffer)
e32ce1
+        conn.putheader('Embedded-Fold-Space', 'is\r\n allowed')
e32ce1
+        self.assertIn(b'Embedded-Fold-Space: is\r\n allowed', conn._buffer)
e32ce1
+        conn.putheader('Embedded-Fold-Tab', 'is\r\n\tallowed')
e32ce1
+        self.assertIn(b'Embedded-Fold-Tab: is\r\n\tallowed', conn._buffer)
e32ce1
+        conn.putheader('Key Space', 'value')
e32ce1
+        self.assertIn(b'Key Space: value', conn._buffer)
e32ce1
+        conn.putheader('KeySpace ', 'value')
e32ce1
+        self.assertIn(b'KeySpace : value', conn._buffer)
e32ce1
+        conn.putheader(b'Nonbreak\xa0Space', 'value')
e32ce1
+        self.assertIn(b'Nonbreak\xa0Space: value', conn._buffer)
e32ce1
+        conn.putheader(b'\xa0NonbreakSpace', 'value')
e32ce1
+        self.assertIn(b'\xa0NonbreakSpace: value', conn._buffer)
e32ce1
+
e32ce1
     def test_ipv6host_header(self):
e32ce1
         # Default host header on IPv6 transaction should wrapped by [] if
e32ce1
         # its actual IPv6 address
e32ce1
@@ -177,6 +204,36 @@ class HeaderTests(TestCase):
e32ce1
         self.assertEqual(resp.getheader('First'), 'val')
e32ce1
         self.assertEqual(resp.getheader('Second'), 'val')
e32ce1
 
e32ce1
+    def test_invalid_headers(self):
e32ce1
+        conn = client.HTTPConnection('example.com')
e32ce1
+        conn.sock = FakeSocket('')
e32ce1
+        conn.putrequest('GET', '/')
e32ce1
+
e32ce1
+        # http://tools.ietf.org/html/rfc7230#section-3.2.4, whitespace is no
e32ce1
+        # longer allowed in header names
e32ce1
+        cases = (
e32ce1
+            (b'Invalid\r\nName', b'ValidValue'),
e32ce1
+            (b'Invalid\rName', b'ValidValue'),
e32ce1
+            (b'Invalid\nName', b'ValidValue'),
e32ce1
+            (b'\r\nInvalidName', b'ValidValue'),
e32ce1
+            (b'\rInvalidName', b'ValidValue'),
e32ce1
+            (b'\nInvalidName', b'ValidValue'),
e32ce1
+            (b' InvalidName', b'ValidValue'),
e32ce1
+            (b'\tInvalidName', b'ValidValue'),
e32ce1
+            (b'Invalid:Name', b'ValidValue'),
e32ce1
+            (b':InvalidName', b'ValidValue'),
e32ce1
+            (b'ValidName', b'Invalid\r\nValue'),
e32ce1
+            (b'ValidName', b'Invalid\rValue'),
e32ce1
+            (b'ValidName', b'Invalid\nValue'),
e32ce1
+            (b'ValidName', b'InvalidValue\r\n'),
e32ce1
+            (b'ValidName', b'InvalidValue\r'),
e32ce1
+            (b'ValidName', b'InvalidValue\n'),
e32ce1
+        )
e32ce1
+        for name, value in cases:
e32ce1
+            with self.subTest((name, value)):
e32ce1
+                with self.assertRaisesRegex(ValueError, 'Invalid header'):
e32ce1
+                    conn.putheader(name, value)
e32ce1
+
e32ce1
 
e32ce1
 class BasicTest(TestCase):
e32ce1
     def test_status_lines(self):
e32ce1
-- 
e32ce1
2.9.0
e32ce1