JSONObject.toString() throws StackOverflowError (not JSONException) on self-referential cycles
まだ誰も着手していません。
評価
調査の方向性
Start by inspecting JSONObject.writeValue(Writer, Object, …) and JSONArray.write(…), then reproduce the direct and indirect cycles from the issue. Trace how nested values are serialized and determine how cycle handling should propagate through both methods. Done means cyclic JSONObject and JSONArray graphs produce JSONException rather than StackOverflowError, while ordinary serialization remains unchanged.
索引モデルが issue の本文から書いたものです。
説明
Description
JSONObject.toString() (and write()) recurse into nested JSONObject values without any cycle detection. If a JSONObject contains itself (directly or transitively), serialization recurses indefinitely and the JVM throws StackOverflowError.
The parsing path is protected by JSONParserConfiguration.getMaxNestingDepth(), but cycles created via put() programmatically bypass it because the cycle was never parsed.
Reproducer (org.json 20240303)
import org.json.JSONObject;
public class Repro {
public static void main(String[] args) {
JSONObject jo = new JSONObject();
jo.put("key", "value");
jo.put("self", jo); // direct self-reference
jo.toString(); // -> StackOverflowError
}
}
Indirect cycles also trigger:
JSONObject a = new JSONObject(), b = new JSONObject();
a.put("b", b);
b.put("a", a);
a.toString(); // -> StackOverflowError
JSONArray containing itself triggers the same:
JSONArray arr = new JSONArray();
arr.put("x");
arr.put(arr);
arr.toString(); // -> StackOverflowError
Why this is more than "don't construct cycles"
- Code that takes user input and walks it into a
JSONObjectmodel (deserializers, GraphQL resolvers, ORM emitters) may produce a cycle without realizing it (object graph derived from a database join, a mutually-referencing config). - The current contract is that
JSONObject.toString()returns aStringor throws a checkedJSONException. AStackOverflowErroris anError, not anException, so application try/catch blocks targetingException(or evenJSONException) won't catch it. The JVM thread crashes. - A library used in a hot serialization path that crashes on
Errorrather than throwing a typed exception is a DoS / availability issue for any process that lets this be reached.
Root cause
JSONObject.writeValue(Writer, Object, …) and JSONArray.write(…) recurse on nested values without maintaining a "seen" set. The fix is to either:
- Pass an
IdentityHashMap<Object, Boolean>of currently-being-serialized objects down throughwrite()/writeValue()and throwJSONExceptionon a cycle. - Use the same
maxNestingDepthlimit on serialization that already exists on parsing.
(1) is more precise; (2) is simpler and matches the parsing-side mitigation.
Suggested patch sketch
public Writer writeValue(Writer writer, Object value, int indentFactor, int indent,
Set<Object> seen) throws JSONException, IOException {
if (value instanceof JSONObject || value instanceof JSONArray) {
if (!seen.add(System.identityHashCode(value))) {
throw new JSONException("Cyclic reference detected during serialization");
}
try {
// existing logic, threading `seen` into recursive calls
} finally {
seen.remove(System.identityHashCode(value));
}
} else { /* unchanged */ }
}
Environment
- org.json: 20240303 (latest at time of writing)
- JDK: 21
Discovered via jqwik property-based testing on the invariant toString() either returns a String or throws JSONException (never Error). Happy to PR.
- 主要言語
- Java
- スター
- 4.7k
- フォーク
- 2.6k
- 平均マージ
- 11日 18分
- マージ済み PR(30日)
- 1
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
stleary/JSON-java のほかの issue
-
Fix before the next release
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
-
Fix before the next release
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
stleary/JSON-java の issue をすべて見る
似ている issue
-
Bug Java Platform: Java
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
getsentry/sentry-java#6138 · コメント 1 件 ·
-
bug needs triage p2
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
GoogleCloudPlatform/DataflowTemplates#4273 · コメント 1 件 ·
-
[Studio][Bug] Bulk-deleting a full page of alert rules steps the page back while more rules remain オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
apache/rocketmq-dashboard#4654 · コメント 1 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100