C: その他すべてが実行される言語

要点

1. モデルは正直です。malloc/free による手動メモリ、ポインタの演算、バグ カテゴリではなく仕様レベルの真実としての未定義の動作です。 C を高速にする規律は、不注意な C を高価にする規律と同じです。
2. 未定義の動作は循環する危険です。境界外のインデックス作成、署名付きオーバーフロー、メモリ セーフティ CVE ファミリに直接対応する解放後の使用クラス (数十年にわたる CVE データにほぼ 1 つずつ埋め込まれています)。ファザー (AFL-libFuzzer クラスのツール) とサニタイザーは、推測を再現条件に変換します。
3. デバッグ ツールは世界クラスであり、知っておく価値があります。gdb、valgrind/memcheck、AddressSanitizer とその類 (UBSan、TSan) は、本番スタック トレースが示唆するだけのバグのクラスをテスト時にキャッチします。この組み合わせが、私たちが協力する C を多用するすべてのチームで「CI でサニタイザーを使用してビルドする」という社内ルールになっている理由です。
4. C を読むことは運用スキルです。CVE アナウンスメントは関数と型を参照し、サービス セグメンテーション違反は gdb ボキャブラリでバックトレースを生成し、ポートツリークラスのソースからのパッケージ ビルドは品質とジャンクを区別するコンパイラ警告を表示します。読者の利点は何年にもわたって静かに増大します。
5. ABI は結合組織です。C がライブラリ境界の共通語になったため、すべての「外部関数インターフェイス」(Python の ctypes、Rust の FFI、Go の cgo) は C 型です。この役割により、開発者の流行に関係なく C の関連性が保たれます。
6. C が依然として、カーネル、ドライバー、組み込みファームウェア、キャッシュ動作が支配的な最も内側のループを記述する適切なツールである場合。他の場所では、言語の比較 (安全でない C コンポーネントを安全に書き換えるための Rust、ops ツールの Go) は、正直で現代的な選択肢をカバーしています。

現場ノート

私たちにサニタイザーを制度化させた C のバグは、スタック トレースの民間伝承によって発見するのに 3 週間かかり、AddressSanitizer では 3 分かかりました。コンパイラーのエコシステムは、人間が午前 2 時にスキャンすべきではないものをすでに知っています。

よくある質問