code-analysis - 实际存在哪些程序切片工具？

Question

我刚刚了解了“程序切片”这个术语。人们想要这样的功能是完全有道理的，但它存在于任何地方吗？

这个词现在已经 20 岁了，我看到有很多出版物、研究论文等。但实际的工具在哪里？人们真的将这个概念付诸实践，还是只是在学术上研究它？

外面有什么，用什么语言？

编辑:我想我在寻找什么，作为接受的答案我会奖励什么，是对某些出版物/组织/等的引用，这些出版物/组织/等特别适合程序切片并维护工具/技术/等列表。

Answer 1

[编辑](回应 OP 修订的问题)

我一直在关注文学很长一段时间。我不认为有一个“程序切片”中心有你想要的那种列表。大多数已经构建的程序切片器都是某种大学实验(意味着它们在生产中不起作用，也不能用于实际目的)。您可以通过在scholar.google.com 中搜索“程序切片”一词来了解它们；我怀疑你已经知道这一点。 “大人物”我想你已经在这里了。

这项调查有点旧，但由一位出色的研究人员完成:http://www.cse.buffalo.edu/LRG/CSE605/Papers/slicing-survey-tip.pdf .这是最近的一个:
http://dl.acm.org/citation.cfm?id=1050865 .

CodeSurfer是用于对 C 程序执行静态切片的商业工具。我相信他们也处理 C++。其他工具不具备的一个显着优点是用于以交互方式探索代码片段的 UI。

Indus是在 Java 上进行静态代码切片的大学研究工具。我不确定这是否仍在积极开发中。

似乎有各种由大学构建的用于 Java 的“动态”程序切片工具。据我所知，它们都没有处于积极开发或使用状态。

我的公司提供 DMS 软件再工程工具包，其中包含用于程序控制和数据流分析的通用机制，包括构建自定义静态代码切片器。 DMS 已被用于构建大型 C 程序以及工业过程控制程序的片段。 (我会提供一个链接，但是当我这样做时人们似乎讨厌它)。