多くの論文を読んだ後、CCuredソース (またはバイナリ) を見つけて、C ソース コードで使用しようとしています。
ただし、すべてのリンクが無効になっているようです。いくつかのグーグルの後、私はここで尋ねています。万が一あなたのハード ドライブに tarball があった場合、誰かがそれら (ソース、ドキュメントなど) をアップロードしてくれませんか?
編集: 著者の 1 人にもメールを送信しましたが、まだ応答がありません。しばらくして他の人にメールを送信してみます。
（紙面引用）
既存の C プログラムに型の安全性を保証するプログラム変換システムを CCured しました。CCured は、メモリ エラーが発生しないことを静的に検証しようとし、静的検証が不十分な場合にランタイム チェックを挿入します。既存の C プログラムに適切なポインターの種類を推測します。CCured は、物理サブタイピングを使用して、コンパイル時に多数の型キャストを認識および検証します。追加の型キャストは、実行時の型情報を使用して検証されます。