2007-10-26から1日間の記事一覧

Fail-Safe C

Fail-Safe Cが公開されている。Fail-Safe Cは、完全な ANSI-C 規格への準拠を実現しながら、実行状態の破壊や乗っ取りに繋がる全ての危険な操作を検出し防止するC言語の処理系だそうだ。ライセンスはQPL。 そういえば、やや話はずれるが、pccはOpenBSDのツリ…