do do ランキングとまとめ
- オペレーティングシステム:
- Windows All
do do タグ
do do 説明
DOOPは、ポインタ、またはPoints-To、プログラムの分析のためのJavaベースのフレームワークとして開発されました。 DOOPは、一般的なコードベースの変動としてモジュール的に指定された状況に敏感な、コールサイトに敏感、およびオブジェクトに敏感な分析を含む、さまざまなアルゴリズムを実装しています。 代替の状況依存ポインタ分析の実装(パドルなど)DOPと比較して、DOPははるかに速くなり、スケールが縮小されています。また、同等の状況感度の特徴を持つと、DOOPは、代替手段よりもいくつかのJava機能(例外など)を処理する際により正確です。 DATは、DATALOGを使用して、ポインタ解析アルゴリズムを指定するという考えを構築します.Datalog:(再帰的)関係を定義するための論理ベースの言語。 DOPは、Datalogのフルエンドツーエンド分析を説明し、関係の表現(例えば、索引付けなど)をDatalog言語レベルに展開することによって積極的に最適化することによって、過去の作業(BDDBDDBなど)よりも宣言的アプローチを運びます。 DopはLogicBloxのDatalogの方言とエンジンを使用します。
do do 関連ソフトウェア