| 蔦 COMPILERおよびRUNTIMEライブラリーの拡張方言は、タイプ、メモリ、および同時実行性の安全性をチェックします。 |
今すぐダウンロード |
蔦 ランキングとまとめ
- 出版社のWebサイト:
- http://ivy.cs.berkeley.edu/ivywiki/index.php/Main/HomePage
蔦 タグ
蔦 説明
タイプ、メモリ、および同時実行性の安全性をチェックするCの拡張方言および実行時ライブラリ IVYは、時間とスペースのオーバーヘッドを合理的に保つために、ソースコード内の少数の軽量注釈に依存しています。 IVYは、GCCをバックエンドとして使用しているC-CO-Cコンパイラとして実装されており、これにより、GCCのダイレクトドロップイン交換であるIVYコンパイラドライバがインストールされます。 Cは非常に広く使用されているシステムプログラミング言語です。それは広く知られており、多くのツールによってサポートされている、低レベルのハードウェアへのアクセスが良くなっています...現代の言語はこれらの安全性と信頼性の問題の多くに対処していますが、大規模なシステムを新しい言語に移植することは実用的ではありません。 Cの静的分析はいくつかの問題を見つけていますが、通常は安全性を保証しない。・副小切手の種類とメモリの安全性(アレイ境界、組合、void *の使用など)・HeapSafeチェックメモリ割り当て解除・SHARCは並列プログラムでメモリが正しく共有されていることを確認します。
蔦 関連ソフトウェア