【入門編】Hackの『Taint Analysis』によるセキュリティ強化：型システムでSQLインジェクションを撲滅する – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

やあ。Hack言語の世界へようこそ。HHVMの深淵を覗き、型システムという強固な防壁を築く旅へようこそ。

今日は、多くの言語が「実行時のチェック」や「外部ライブラリ」に頼っているセキュリティ対策を、Hackの型システムそのものに組み込む「Taint Analysis（汚染解析）」について話そう。

SQLインジェクション？そんなものは、HackのStrict Modeで開発している限り、コードを書いた瞬間に「型エラー」として排除されるべき過去の遺物だ。なぜそう言い切れるのか、その核心を解説していくよ。

—

開発現場でよくある失敗は、「信頼できるデータ」と「外部からの怪しいデータ」の区別がつかなくなることだ。

HackのTaint Analysisは、この区別を「型」としてコードに埋め込むんだ。

[ユーザー入力] -> (汚染状態: string) -> [SQLクエリに直接代入] -> 【型エラー発生！】
|
V
[サニタイズ関数]
|
V
(安全状態: SafeString) -> [SQLクエリに代入] -> 【安全！】

このように、型チェッカーが「汚染されたデータ」が「安全な口（SQL実行部）」に触れるのを物理的に遮断するんだ。

—

まずは、脆弱なコードがなぜ型チェッカーに見破られるのかを見てみよう。

<<__EntryPoint>>
async function main(): Awaitable {
// ユーザーからの入力を模倣
$user_input = $_GET[‘id’] ?? ‘1’;

// 型システムが警告を出すポイント
// 本来なら、ここで直接クエリを組み立ててはいけない
$query = “SELECT FROM users WHERE id = ” . $user_input;

// もしここで、型チェッカーが「汚染された文字列がSQLとして使われた」ことを検知すれば
// コンパイル（型チェック）段階でビルドが落ちるんだ。
}

もし君が `string` 型をそのままSQLクエリに突っ込もうとしたとき、Hackのカスタム型ルール（`__Tainted` 属性やそれに類するカスタムアノテーション）を設定しておけば、HHVMの型チェッカーは容赦なく停止する。

「おい、そのデータは汚染されているぞ。そのままクエリに使うな！」と、コンパイラが教えてくれるわけだ。これが「静的解析による撲滅」の正体だよ。

—

初心者がよくやる間違いは、「サニタイズしたつもり」で、その結果をただの `string` に戻してしまうことだ。

// 悪い例：サニタイズしても型が変わらないと意味がない
function sanitize(string $input): string {
return str_replace(“‘”, “””, $input);
}

これだと、型チェッカーは「汚染された文字列」が「普通の文字列」になっただけだと認識してしまう。本当にセキュアなHackコードを書くなら、「安全であることを保証する専用の型（ブランド型）」を定義するのがプロの流儀だよ。

// 良い例：型で安全を保証する
newtype SafeSQL = string;

function sanitize(string $input): SafeSQL {
// ここで検証を行い、SafeSQL型としてラップする
return (string)do_real_escape($input);
}

function execute_query(SafeSQL $sql): void {
// ここに来るには必ずSafeSQL型を経由しなければならない
// これでSQLインジェクションは構造的に不可能になる
}

—

Hackの型システムは、ただ単に「エラーを防ぐ」ための道具じゃない。「コードの設計意図を型として表現する」ための最高レベルのフレームワークなんだ。

意識してほしいこと: 「このデータはどこから来たのか？」「誰がこのデータを検証したのか？」を、関数名や変数名だけでなく、型定義そのものに反映させていくこと。
初心者がまずやるべきこと: `strict` モードを有効にし、`?` を使ったNull許容型や、ブランド型を使ったデータの区別を意識すること。

Hackで書かれたコードは、実行する前からすでに「安全性」というテストをパスしているんだ。これほど心強い相棒はいないと思わないかい？

ここをクリアすれば、君はもう単なるコーダーではなく、アーキテクチャの安全を司る「ガーディアン」の視点を持てたことになる。この調子で、型という最強の武器を使いこなしていこう。

何か詰まったら、いつでも聞いてくれ。HHVMの深層で待っているよ。