mbanyamer/px4-military-uav-autopilot-1.12.3-stack-buffer-overflow-exploit-cve-2025-5640-CVE-2025-5640の概念実証エクスプロイト。PX4 Military UAV Autopilot <=1.12.3におけるスタックバッファオーバーフロー。UDP経由で細工されたMAVLinkパケットを送信し、サービス拒否を引き起こします。権限のあるセキュリティテストおよび研究用。
著者: Mohammed Idrees Banyamer (@banyamer_security)
GitHub: https://github.com/mbanyamer
日付: 2025-06-21
テスト環境: Ubuntu 20.04 LTS + PX4 SITL (jMAVSim)
CVE: CVE-2025-5640
タイプ: スタックバッファオーバーフローによるサービス拒否 (DoS)
プラットフォーム: クロスプラットフォーム (軍事用UAV / PX4 SITL / Linuxベースのオートパイロット地上局)
著者国籍: ヨルダン
PX4 軍事用UAVオートパイロット バージョン 1.12.3 以下に、スタックベースのバッファオーバーフローの脆弱性が存在します。
この脆弱性は、TRAJECTORY_REPRESENTATION_WAYPOINTS タイプの不正なMAVLinkメッセージを処理する際にトリガーされます。
MAVLink通信チャネルにアクセスできる攻撃者は、細工されたパケットを送信してオートパイロットをクラッシュさせ、軍事用UAVの運用を妨害する可能性があります。
このリポジトリには、悪意のあるMAVLink UDPパケットを送信して脆弱性をトリガーし、PX4オートパイロットにサービス拒否（クラッシュ）を引き起こす概念実証（PoC）エクスプロイトが含まれています。
python3 px4_military_exploit.py [オプション]
# デフォルトのPX4 SITLでDoS攻撃を実行
python3 px4_military_exploit.py --mode dos
# 実際のドローンへの接続をテスト
python3 px4_military_exploit.py --mode check --ip 192.168.10.10 --port 14550
オプション: --ip ターゲットIPアドレス (デフォルト: 127.0.0.1) --port ターゲットUDPポート (デフォルト: 14540) --mode 動作モード: dos (デフォルト), check --timeout ハートビートのタイムアウト（秒） (デフォルト: 5) --verbose 詳細出力を有効化
このPoCエクスプロイトは教育および研究目的でのみ提供されています。
許可なくシステムに対して不正に使用することは違法であり、非倫理的です。
責任を持って使用し、テスト前に明示的な許可を得てください。
"""
pip で pymavlink をインストール:
pip install pymavlink