CVE-2025-32756: Fortinet RCE PoC

Fortinet製品に影響を与える重大なスタックベースのバッファオーバーフロー脆弱性(CVE-2025-32756)の概念実証です。

脆弱性

• CVSS: 9.8 (重大)
• タイプ: AuthHashクッキー処理におけるスタックベースのバッファオーバーフロー
• 影響: 認証不要のリモートコード実行
• 影響を受ける製品: FortiVoice, FortiMail, FortiNDR, FortiRecorder, FortiCamera

この脆弱性は、/remote/hostcheck_validateエンドポイントにおけるencパラメータの処理に存在し、不適切な境界チェックによりバッファオーバーフローが発生します。

使用方法

単一ターゲットのエクスプロイト

python3 fortinet_cve_2025_32756_poc.py exploit target_ip [-p port] [-d]

脆弱なデバイスのスキャン

単一IPのスキャン

python3 fortinet_cve_2025_32756_poc.py scan -f 192.168.1.1 [-p port] [-t threads] [-o output.csv] [-d]

ファイルから複数のIPをスキャン

python3 fortinet_cve_2025_32756_poc.py scan -u targets.txt [-p port] [-t threads] [-o output.csv] [-d]

IP範囲のスキャン

python3 fortinet_cve_2025_32756_poc.py scan --range 192.168.1.0/24 [-p port] [-t threads] [-o output.csv] [-d]

引数:

• -f, --ip: スキャンする単一のIP
• -u, --file: スキャンするIPのリストを含むファイル (1行に1つ)
• --range: CIDR表記でのスキャンするIP範囲 (例: 192.168.1.0/24)
• -p, --port: ターゲットポート (デフォルト: 443)
• -t, --threads: スキャンに使用するスレッド数 (デフォルト: 10)
• -o, --output: 結果を保存する出力ファイル (CSV形式)
• -d, --debug: デバッグ出力を有効化

緩和策

パッチ適用済みバージョンに更新:

• FortiVoice: 7.2.1+, 7.0.7+, 6.4.11+
• FortiMail: 7.6.3+, 7.4.5+, 7.2.8+, 7.0.9+
• FortiNDR: 7.6.1+, 7.4.8+, 7.2.5+, 7.0.7+
• FortiRecorder: 7.2.4+, 7.0.6+, 6.4.6+
• FortiCamera: 2.1.4+

重要なお知らせ（セキュリティに関する注意）

この概念実証(PoC)は、教育およびセキュリティ研究目的のみを意図しています。以下の点にご注意ください:

• このPoCは実際のコード実行を行いません。

• このPoCは以下の方法で脆弱性を実証します:

  • 脆弱なFortinetデバイスの検出
  • バッファオーバーフロー状態のトリガー
  • エクスプロイト成功を証明するためのメモリ上の1バイトの変更

• 以下のことは行いません:

  • 任意のコードの実行
  • シェルアクセスの提供
  • バックドアや永続化メカニズムのインストール
  • 破壊的な行為の実行