放棄されたプロジェクト、理論、および機能リストのみを見つけました。しかし、2 つの C++ ソース ファイルを比較してセマンティックの違いを表示できるツールは見つかりませんでした。
もちろん、関係のない 2 つのファイルや、10 年間の開発と保守の間に蓄積された変更を比較するつもりはありません。ただし、コード レビューで通常議論される変更は、文字/単語/行レベルでのテキストの変更ではなく、適切な意味とともに提示されれば、より簡単に理解できます。
真の「セマンティック差分」は不可能です。Closer は、2 つのソース ファイルを比較して、プログラム構造 (変数、式、ステートメント、メソッド) に対する抽象的な編集操作 (削除、コピー、移動、名前変更) によって一方が他方からどのように派生したかを確認するツールです。いくつかの言語でこれを行うツールについては、 Smart Differencerを参照してください。C++ は近日公開予定です。
2013 年 3 月: C++11 の GCC/MS 方言がサポートされました。
Linux カーネル開発者が使用する C 用のものがあります。ただし、C++ 向けではありません
一般的に、それは不可能です。あるプログラムは、別のプログラムが終了するかどうかさえわかりません (有名な停止問題)。より制限されたプログラム (有限境界ループ、およびその他の制約) の場合は、より多くのことができますが、それは負荷の高いものであり、言語は C++ ではなく、制限されたサブセットまたはより単純な言語である必要があります。それがおそらく、開始した以上のものを何も見つけていない理由です。
はい、「コミットに対するコメントの書き込み」と「課題追跡」と呼ばれます。セマンティック分析用のメタデータと考えてください。