competition-request-normalization-smuggling

競技リクエスト正規化スマグリング

このスキルは、$ctf-sandbox-orchestrator がすでに有効化され、サンドボックスの前提、ノードの所有権、証拠の優先順位が確立された後にのみ、下流の専門特化として使用してください。それがまだ行われていない場合は、まず $ctf-sandbox-orchestrator に戻ってください。

プロキシ、ミドルウェア、バックエンドのパーサーレイヤー間でリクエストの解釈が変わる場合に、このスキルを使用してください。

ユーザーが明示的に英語を要求しない限り、簡体字中国語で回答してください。

クイックスタート

1. すべてのパースホップをマッピングします。クライアント向けプロキシ、ゲートウェイ、アプリサーバー、下流サービスです。
2. 各ホップにおけるパス正規化、ヘッダーの正規化、転送フレーミング、ホストの導出を記録します。
3. 受け入れられたベースラインリクエストを 1 つと、差分を最小限にした差分リクエストを 1 つキャプチャします。
4. どのホップがリクエストを異なる方法で解釈するかを証明します。
5. 決定的な動作を生み出す、最小限の差分パスを 1 つ再現します。

ワークフロー

1. パースとルーティングの境界をマッピングする

• Host、転送ヘッダー、パスのデコード、スラッシュの圧縮、ドットセグメントの処理、大文字小文字の挙動を記録します。
• 関連する場合は、Content-Length、Transfer-Encoding、チャンクフレーミング、接続再利用の挙動に注意してください。
• エッジパーサーとバックエンドパーサーの判断を並べて保持します。

2. 差分解釈を証明する

• 正規化の 1 つの次元だけが異なるペアのリクエストを構築します。
• プロキシログ、バックエンドログ、ルートマッチ、下流リクエストの形状をキャプチャします。
• ルート、認証スコープ、またはボディ境界がどこで分岐するかを示します。

3. 決定的なスマグリングチェーンに還元する

• 次のように圧縮します。細工されたリクエスト -> ホップ間のパーサー差分 -> 意図しないルーティング先リクエストまたは隠しエンドポイントへの到達 -> 結果として生じる影響。
• 根本原因が、パス正規化のずれ、ヘッダーの曖昧さ、転送フレーミングの差分、ホスト導出の混乱のいずれであるかを明示します。
• チェーンがフレーミングのトリックを伴わない主にランタイムルーティングになった場合は、ランタイムルーティングスキルに引き継ぎます。

このリファレンスを読む

• パース差分のチェックリストと証拠のパッケージ化については、references/request-normalization-smuggling.md をロードしてください。

保持すべきもの

• 生のリクエストペア、ホップごとの解釈、最終的なルーティング先
• 挙動を反転させる正確な正規化またはフレーミングの差分
• 最小限の再現可能な差分リクエストパス