セマンティック差分ユーティリティ[終了]

セマンティックdiff / mergeユーティリティの良い例をいくつか見つけようとしています。ソースコードファイルを比較する従来のパラダイムは、行と文字を比較することで機能します。しかし、ファイルを比較するときにコードの構造を実際に検討するユーティリティがあります（どの言語でも）。

たとえば、既存のdiffプログラムは、「125行の文字2に相違が見つかりました。ファイルxにはvoidが含まれ、ファイルyにはboolが含まれます」と報告します。特殊なツールは、「メソッドの戻り値の型doSomething（）がvoidからboolに変更された」ことを報告できるはずです。

このタイプのセマンティック情報は、実際にユーザーがコードを比較するときに探しているものであり、次世代のプログラミングツールの目標であるべきだと私は主張します。利用可能なツールにこの例はありますか？

このシナリオに正確に対応できるツールを開発しました。http://www.semanticmerge.comを確認してください

コードベースでテキストベースのアルゴリズムを使用せずにマージ（および差分）します。これにより、基本的に、強力なリファクタリングを含む次のようなケースに対処できます。以下に示すように、違いとマージの競合の両方をレンダリングすることもできます。

また、移動されるテキストブロックと混同される代わりに、最初に解析するため、メソッドごと（実際には要素ごと）に競合を表示できます。前のようなケースでは、解決すべき手動の競合さえありません。

これは言語認識のマージツールであり、最終的にこのSOの質問に答えられることは素晴らしいことです:-)

Eclipseには長い間この機能がありました。「Structure Compare」と呼ばれ、とてもいいです。Javaのスクリーンショットの例を次に示し、XMLファイルの別のスクリーンショットを示します。

（上部ペインのメソッドのマイナスアイコンとプラスアイコンに注意してください。）

「セマンティック比較」を正しく行うには、言語の構文ツリーを比較し、記号の意味を考慮する必要があります。非常に優れたセマンティックdiffは、言語のセマンティクスを理解し、コードの1つのブロックの機能が別のブロックと同等である場合を認識します。ここまで行くには定理の証明者が必要であり、非常にかわいいですが、現在のところ実際のツールには実用的ではありません。

これの実行可能な近似は、単に構文ツリーを比較し、挿入、削除、移動、または変更された構造に関して変更を報告することです。「セマンティックの比較」に少し近づくと、コードのブロック全体で識別子が一貫して変更されたときにレポートを作成できます。

上記の近似を行う、多くの言語で動作する構文ツリーベースの比較エンジンについては、http：//www.semanticdesigns.com/Products/SmartDifferencer/index.htmlを参照してください。

2010年1月の編集：C ++、C＃、Java、PHP、およびCOBOLで利用可能なバージョン。ウェブサイトはこれらのほとんどのための特定の例を示しています。

2010年5月の編集：PythonとJavaScriptが追加されました。

2010年10月の編集：EGLが追加されました。

2010年11月の編集：VB6、VBScript、VB.netを追加

模索しているのは「ツリーの差分」です。これは、実際には2つのフラットシーケンスの比較である単純な行指向のテキスト形式のdiffよりも、うまく処理するのがはるかに難しいことがわかります。

「きめの細かいXML構造比較アプローチ」は、次のようにまとめています。

私たちの理論的研究と実験的評価は、提案された方法が同じ時間の複雑さ（O（N ^ 2））を持ちながら、既存の代替案に関して改善された構造類似性結果をもたらすことを示しました

（強調鉱山）

実際、ツリーの差異化の例をもっと探しているのであれば、XMLに焦点を当てることをお勧めします。XMLがその分野の実用的な開発を推進しているからです。

私自身のプロジェクトのための恥知らずなプラグイン：

HTML Tree Diffは、Pythonで記述されたxmlおよびhtmlドキュメントの構造に対応した比較を行います。

http://pypi.python.org/pypi/html-tree-diff/0.1.0

これに対する解決策は、言語ごとにあります。つまり、コードを多くの構文解析してツリーに据え置くプラグインアーキテクチャと、言語固有のプラグインとの意味論的比較を考慮して設計されていない限り、複数の言語をサポートすることは非常に困難です。そのようなツールを使用することに興味がある言語は何ですか。個人的には、C＃の1つが大好きです。

C＃の場合、Reflectorへのアセンブリ差分アドインがありますが、ILでの差分のみを実行し、C＃では差分を実行しません。

ここで diffアドインをダウンロードするか[zip]、またはcodeplexサイトのプロジェクトにアクセスできます。

Zynamicsという会社は、バイナリレベルのセマンティック差分ツールを提供しています。REILと呼ばれるメタアセンブリ言語を使用して、バイナリの2つのバージョンのグラフ理論分析を実行し、それらの違いを示すために色分けされたグラフを生成します。価格はわかりませんが、無料かどうかは疑問です。

http://prettydiff.com/

Pretty Diffは、各入力を縮小してコメントと不要な空白を削除し、diffアルゴリズムの前にコードを美化します。とにかくこれ以上のコードセマンティックになるとは思えません。また、JavaScriptで記述されているため、ブラウザーで直接実行できます。