Skip to content

Absent Input Validation in BinaryHttpParser

High severity GitHub Reviewed Published Jul 18, 2024 in netty/netty-incubator-codec-ohttp • Updated Jul 19, 2024

Package

maven io.netty.incubator:netty-incubator-codec-bhttp (Maven)

Affected versions

< 0.0.13.Final

Patched versions

0.0.13.Final

Description

Summary

BinaryHttpParser does not properly validate input values thus giving attackers almost complete control over the HTTP requests constructed from the parsed output. Attackers can abuse several issues individually to perform various injection attacks including HTTP request smuggling, desync attacks, HTTP header injections, request queue poisoning, caching attacks and Server Side Request Forgery (SSRF). Attacker could also combine several issues to create well-formed messages for other text-based protocols which may result in attacks beyond the HTTP protocol.

Details

Path, Authority, Scheme
The BinaryHttpParser class implements the readRequestHead method which performs most of the relevant parsing of the received request. The data structure prefixes values with a variable length integer value. The algorithm to create a variable length integer value is below:

def encode_int(n):
    if n < 64:
        base = 0x00
        l = 1
    elif n in range(64, 16384):
        base = 0x4000
        l = 2
    elif n in range(16384, 1073741824):
        base = 0x80000000
        l = 4
    else:
        base = 0xc000000000000000
        l = 8
   encoded = base | n
   return encoded.to_bytes()

The parsing code below first gets the lengths of the values from the prefixed variable length integer. After it has all of the lengths and calculates all of the indices, the parser casts the applicable slices of the ByteBuf to String. Finally, it passes these values into a new DefaultBinaryHttpRequest object where no further parsing or validation occurs.

//netty-incubator-codec-ohttp/codec-bhttp/src/main/java/io/netty/incubator/codec/bhttp/BinaryHttpParser.java

public final class BinaryHttpParser {
   ...
    private static BinaryHttpRequest readRequestHead(ByteBuf in, boolean knownLength, int maxFieldSectionSize) {
        ...
        final long pathLength = getVariableLengthInteger(in, pathLengthIdx, pathLengthBytes);
        ...
        final int pathIdx = pathLengthIdx + pathLengthBytes;
        ...
/*417*/ String method = in.toString(methodIdx, (int) methodLength, StandardCharsets.US_ASCII);
/*418*/ String scheme = in.toString(schemeIdx, (int) schemeLength, StandardCharsets.US_ASCII);
/*419*/ String authority = in.toString(authorityIdx, (int) authorityLength, StandardCharsets.US_ASCII);
/*420*/ String path = in.toString(pathIdx, (int) pathLength, StandardCharsets.US_ASCII);

/*422*/ BinaryHttpRequest request = new DefaultBinaryHttpRequest(HttpVersion.HTTP_1_1, HttpMethod.valueOf(method),
                scheme, authority, path, headers);
        in.skipBytes(sumBytes);
        return request;
    }
   ...
}

Request Method
On line 422 above, the parsed method value is passed into HttpMethod.valueOf method. The return value from this is passed to the DefaultBinaryHttpRequest constructor.

Below is the code for HttpMethod.valueOf:

    public static HttpMethod valueOf(String name) {
        // fast-path
        if (name == HttpMethod.GET.name()) {
            return HttpMethod.GET;
        }
        if (name == HttpMethod.POST.name()) {
            return HttpMethod.POST;
        }
        // "slow"-path
        HttpMethod result = methodMap.get(name);
        return result != null ? result : new HttpMethod(name);
    }

If the result of methodMap.get is not null, then a new arbitrary HttpMethod instance will be returned using the provided name value.

methodMap is an instance of type EnumNameMap which is also defined within the HttpMethod class:

        EnumNameMap(Node<T>... nodes) {
            this.values = (Node[])(new Node[MathUtil.findNextPositivePowerOfTwo(nodes.length)]);
            this.valuesMask = this.values.length - 1;
            Node[] var2 = nodes;
            int var3 = nodes.length;

            for(int var4 = 0; var4 < var3; ++var4) {
                Node<T> node = var2[var4];
                int i = hashCode(node.key) & this.valuesMask;
                if (this.values[i] != null) {
                    throw new IllegalArgumentException("index " + i + " collision between values: [" + this.values[i].key + ", " + node.key + ']');
                }

                this.values[i] = node;
            }

        }

        T get(String name) {
            Node<T> node = this.values[hashCode(name) & this.valuesMask];
            return node != null && node.key.equals(name) ? node.value : null;
        }

Note that EnumNameMap.get() returns a boolean value, which is not null. Therefore, any arbitrary http verb used within a BinaryHttpRequest will yield a valid HttpMethod object. When the HttpMethod object is constructed, the name is checked for whitespace and similar characters. Therefore, we cannot perform complete injection attacks using the HTTP verb alone. However, when combined with the other input validation issues, such as that in the path field, we can construct somewhat arbitrary data blobs that satisfy text-based protocol message formats.

Impact

Method is partially validated while other values are not validated at all. Software that relies on netty to apply input validation for binary HTTP data may be vulnerable to various injection and protocol based attacks.

References

Published to the GitHub Advisory Database Jul 18, 2024
Reviewed Jul 18, 2024
Published by the National Vulnerability Database Jul 18, 2024
Last updated Jul 19, 2024

Severity

High

CVSS overall score

This score calculates overall vulnerability severity from 0 to 10 and is based on the Common Vulnerability Scoring System (CVSS).
/ 10

CVSS v3 base metrics

Attack vector
Network
Attack complexity
High
Privileges required
None
User interaction
None
Scope
Unchanged
Confidentiality
High
Integrity
High
Availability
High

CVSS v3 base metrics

Attack vector: More severe the more the remote (logically and physically) an attacker can be in order to exploit the vulnerability.
Attack complexity: More severe for the least complex attacks.
Privileges required: More severe if no privileges are required.
User interaction: More severe when no user interaction is required.
Scope: More severe when a scope change occurs, e.g. one vulnerable component impacts resources in components beyond its security scope.
Confidentiality: More severe when loss of data confidentiality is highest, measuring the level of data access available to an unauthorized user.
Integrity: More severe when loss of data integrity is the highest, measuring the consequence of data modification possible by an unauthorized user.
Availability: More severe when the loss of impacted component availability is highest.
CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:H

EPSS score

0.043%
(10th percentile)

Weaknesses

CVE ID

CVE-2024-40642

GHSA ID

GHSA-q8f2-hxq5-cp4h

Credits

Loading Checking history
See something to contribute? Suggest improvements for this vulnerability.