Fail-Safe C
Fail-Safe Cが公開されている。Fail-Safe Cは、完全な ANSI-C 規格への準拠を実現しながら、実行状態の破壊や乗っ取りに繋がる全ての危険な操作を検出し防止するC言語の処理系だそうだ。ライセンスはQPL。
そういえば、やや話はずれるが、pccはOpenBSDのツリーに入ったそうだ。セキュリティとCコンパイラという点でなにか共通するものを感じるような気がしなくもない。
Fail-Safe Cが公開されている。Fail-Safe Cは、完全な ANSI-C 規格への準拠を実現しながら、実行状態の破壊や乗っ取りに繋がる全ての危険な操作を検出し防止するC言語の処理系だそうだ。ライセンスはQPL。
そういえば、やや話はずれるが、pccはOpenBSDのツリーに入ったそうだ。セキュリティとCコンパイラという点でなにか共通するものを感じるような気がしなくもない。