CCuredをダウンロードする場所

Question

多くの論文を読んだら、CCuredのソース（またはバイナリ）がCソースコードで使用しようとしています。

ただし、すべてのリンクが死んでいるようです。いくつかのグーグルの後、私はここで尋ねています。万が一あなたのハードドライブにタールボールがある場合、誰か（ソース、ドキュメントなど）をアップロードできますか？

編集：私も著者の1人にメールしましたが、まだ回答がありませんでした。しばらくしてから他の人にメールを送ろうとします。

（紙から引用）

は、既存のCプログラムに安全保証を入力追加プログラム変換システムをCCured。そのメモリエラーを静的に検証しようとするCCuredの試みは起こり得ず、静的検証が不十分なランタイムチェックが挿入される.Cの型システムは、その使用法に従ってポインタ型を分離することによって拡張され、驚くほど単純な型推論アルゴリズムを使用する。既存のCプログラムの適切なポインタの種類を推測することができます。 CCuredは、物理サブタイプを使用してコンパイル時に多数の型キャストを認識して検証します。追加の型キャストは、実行時の型情報を使用して検証されます。コメントはこのことを言うように、その一般的な領域内の他のプロジェクトのための

Answer 1

よりよい検索は、主に論文として開発されたプロトタイプと、その後放棄されています。あなたが探しているものに最も近いものは、LLVMベースのツールです。またはsplintのようなものです。あるいは、valgrindのような計装ツールさえも。