エプロン ランキングとまとめ
- 出版社のWebサイト:
- http://apron.cri.ensmp.fr/
エプロン タグ
エプロン 説明
数値変数の静的分析専用のライブラリー。 エプロンは、抽象解釈によるプログラムの数値変数の静的分析専用のライブラリです。そのような分析の目的は、これらの変数に関する不変性を推測することです。 1要件のように: ・ANSI Cコンパイラ(ANSIオプション付きGCCのみがテストされています) ・GMPライブラリ、バージョン4.2またはUP、およびMPFRライブラリ、バージョン2.2またはUP ・オプションで、Parma Polyhedraライブラリ、および-enable-cxx設定オプションをコンパイルしたGMP) ・C ++インターフェース(まだ実験的)、GCC 4.1.2以上を希望する場合 ・OCAMLインターフェースを使用する場合は、OCAMLシステム、バージョン3.09またはUP、OCAMLインタフェースのCamLIDL 1.05スタブコードジェネレータ、GNU SED 4.1またはUP、およびGNU M4が必要です(Subversionからダウンロードする場合)。リポジトリ) このリリースの新機能: ・オクタゴンドメインはハッシュをサポートしています。共有ライブラリのサポートが追加されました。 ・マイナーAPIの変更が行われました。
エプロン 関連ソフトウェア