Ответ 1
[РЕДАКТИРОВАТЬ] (в ответ на вопрос, который был изменен в ОП)
Я довольно долго слежу за литературой. Я не думаю, что там есть "программный срез", в котором есть список, который вы хотите. Большинство программных слайсеров, которые были построены, были своего рода университетским экспериментом (означает, что они не работали в производстве и недоступны для практических целей). Вы можете узнать о них, выполнив поиск на странице scholar.google.com с термином "угадай, что", "нарезка программ"; Я подозреваю, что вы уже это знаете. "Biggies", я думаю, вы уже здесь.
Это исследование немного устарело, но сделано звездным исследователем: http://www.cse.buffalo.edu/LRG/CSE605/Papers/slicing-survey-tip.pdf. Это последнее: http://dl.acm.org/citation.cfm?id=1050865.
CodeSurfer - это коммерческий инструмент для выполнения статической нарезки на C-программах. Я считаю, что они также обрабатывают С++. Значительным плюсом, недоступным для других инструментов, является пользовательский интерфейс для интерактивного просмотра фрагментов кода.
Indus - это инструмент для исследований в университете, предназначенный для статического наложения кода на Java. Я не уверен, что это все еще активно развивается.
Кажется, существует множество "динамических" программных инструментов для среза Java, созданных университетами. Ни один из них не находится в стадии активного развития или использования, о котором я знаю.
Моя компания предлагает DMS Software Reengineering Toolkit, который содержит общую технику для управления программой и анализа потока данных, включая создание специализированных статических кодовых слайсеров. DMS используется для создания фрагментов больших программ C, а также программ управления промышленными процессами. (Я бы предоставил ссылку, но люди SO, похоже, ненавидят ее, когда я это делаю).