「プログラム・スライシング」という用語を紹介しました。そのような機能が欲しいのは当然のことですが、どこかに存在するのでしょうか?
この用語は現在 20 年前のもので、多くの出版物や研究論文などがあるようです。しかし、実際のツールはどこにあるのでしょうか。人々は実際にこの概念を実践しているのか、それとも学術的に研究しているだけなのか?
そこには何があり、どの言語に対応していますか?
編集：私が探しているもの、受け入れられた回答として報いるものは、特にプログラムのスライスを対象としており、ツール/テクニック/などのリストを維持している出版物/組織/などへの参照です。
ギリをご覧ください。
動的プログラム スライシングは、プログラムの 1 回の実行で特定の値に影響を与えた命令を正確に判断できる手法です。Giriは、LLVM コンパイラで動的後方スライシングを実装します。
このプロジェクトは、UIUC の Swarup Kumar Sahoo、John Criswell、および Dr. Vikram S. Adve によって最初に開発されました。これは、傘下のプロジェクト LLVM の下で、Google Summer of Code (GSoC) 2013 によって選択されました。清華大学の Mingliang Liu が 2013 年 6 月に Giri の改善に参加しました。これは進行中のプロジェクトであり、プル リクエストは非常に高く評価されています。