C言語のコンパートメント化プログラムの形式的に安全なコンパイル

コンパートメント化されたC言語プログラムのコンパイルにより、未定義動作の影響範囲を動的に侵害されたコンパートメントに制限することができる。