#628 [security][tools] Bash の閉じ込めの検査で、.. と ~ だけの語を確かめ、dd の of= を書き込み先として認識する

[Kewton]

概要

Bash の閉じ込めの検査に、既存の見逃しが 2 種類ありました（#613 の着手前調査と merge 前レビューで発見）。

1. .. と ~ だけの語：静的な path の判定が / を必須にしていたので、ls ..・ls ~・cat ~ のような語は候補にならず、ワークスペースの親や home の一覧を読めました。make PREFIX=~・cat --file=.. のような = の右側も同じです。
2. dd の of=：dd of=… が書き込みと認識されず（A=0）、bash:verify の自動許可の対象にもなっていました（V=1）。外向き symlink を通して外に書けました。

この PR は、Issue 本文の設計 1〜3 どおりに直します。

変更（4 ファイル、+351/−4）

• src/tools/bash/read_guard.rs（+39/−2）：先頭の代入より後の語が .. ちょうど、または ~ で始まり / を含まないとき、字どおりの読み取りの候補にする（既存の字どおりのパスの検査が拒否する）。先頭の代入でない NAME=value の右側も同じ。echo の区切り（echo ~・echo ..）と先頭の代入（X=~ cargo test）は、今どおり候補にしない。/ を含む形は今の扱いのまま。
• src/tools/bash_write_guard.rs（+19/−1）：dd の of= で始まり値が空でない引数を、操作名 dd の書き込み先にする。書き込みの閉じ込め、作業ディレクトリの候補、保護 path の検出、自動許可の判定に、ほかの書き込み先と同じく渡る。of=/dev/null は出力のリダイレクト・tee と同じく許可。
• tests/corpus/apps/issue582-bash-read-candidates/fixtures/decision-cases.jsonl（+27/−1）：allow-dd-nonpath の行の期待を A=0・V=1 から A=1・V=0 に改めた（厳しくなる向き）。ほかの 102 行の期待は変えていない。親・home の語、= の右側、dd of= の外・/dev/null・保護 path、値が変わらない形の 26 行を足した。
• tests/issue628_bash_parent_home_dd.rs（新規、+266）：本文の表の形、値が変わらない形、dd の書き込みと自動許可、拒否が shell の前で止まり canary が漏れないこと。fixture は CARGO_TARGET_TMPDIR の下の一時ディレクトリの中だけ。
• event の名前と schema は変えていない。拒否は既存の理由の文を使う。

検証

• commandmate verify の 15 ゲート：develop 66fbb07b を取り込んだ HEAD で 15/15 pass（d5da0b70、scope 4 本、違反 0）。
• TMPDIR=/tmp cargo test --test issue628_bash_parent_home_dd --test issue582_bash_read_candidates（CI と同じ条件を作るため）：取り込んだ HEAD で exit 0、28 passed・0 failed、4 passed・0 failed（issue582・issue628 の順）。
• 二点測定（develop 2a078deb の src ＋ この PR のテストと corpus の表）：新しい形のテストだけが FAIL（ls .. が拒否されない、dd if=in.bin of=out.bin の V が 1、表の allow-dd-nonpath の V の不一致、拒否されないまま shell で ls .. が走る）。値が変わらないことを確かめる 1 本と、表の既存の行は develop でも pass。
• 変異テスト（cargo mutants --jobs 1、--in-diff、--lib と結合テスト 2 本）：24 件で caught 22・missed 0・unviable 2。
• merge 前レビュー（H-13）：merge 可、blocker 0。判定の関数を fixture で呼んだ 1762 件を、base→HEAD と、develop ddcb8022（[security][tools] Bash の cd・pushd の行き先が 1 つに一致する glob だと作業ディレクトリが検査されず、外を読み書きできる（#613 のレビューで発見） #635・[test] runner cleanup の終了順序と孫プロセス消滅を直接確認する #630 を含む）→ develop＋[security][tools] Bash の閉じ込めの検査が、.. と ~ だけの語を確かめず、dd の of= を書き込みとして認識しない（#613 の調査で発見） #628 の 2 組で比べ、R・A・W・P・S が 1→0 の行、V が 0→1 の行はどちらも 0 件。変わった 231 行はすべて厳しくなる向き。echo の例外は名前が字どおり echo のときだけで広すぎない（printf ~・/bin/echo ..・builtin echo .. は拒否）。of=/dev/null/../../etc/x やリダイレクトとの組み合わせも拒否される。

新しく拒否される形

• cd sub && ls ..（bash では中に留まるが、作業ディレクトリの候補に root も残るため）。root から ls で書けば通る。
• ls "~"（~ という名前のファイル）。先頭に ./ を付ければ通る。
• make PREFIX=~ のような home を値に渡す形（閉じ込めの外を指すので拒否のまま）。
• tar -C .. -cf - x・git -C .. status（.. だけの語が候補になったため）。-C の値を作業ディレクトリとして扱う修正そのものは [security][tools] Bash でオプションにより作業ディレクトリを変える形（tar -C・git -C など）と、- で始まる pushd の行き先が検査されない（#613・#635 のレビューで発見） #637。
• dd … of=… は、中に書く形も自動許可から外れる（書き込みのコマンドなので）。
• 記録の 436 件では、..・~ だけの語、dd、-C を含むものは 0 件。

この PR では直していない既存の穴（どれも #628 の前からあり、この PR で緩んではいない）

• -C で作業ディレクトリを変える形（tar -C sub -cf - lf2、git -C sub …）：[security][tools] Bash でオプションにより作業ディレクトリを変える形（tar -C・git -C など）と、- で始まる pushd の行き先が検査されない（#613・#635 のレビューで発見） #637 で扱う。
• brace 展開から出てくる ~（ls {~,x}、cat {~,~}）：H-13 で見つけた base からの穴。展開の結果が ~ で始まる場合だけ漏れている。別の Issue で扱う。

Refs #628

🤖 Generated with Claude Code