Я некоторое время работал над нарезкой программ.Так как это обратное срезание работает на графе потока управления (CFG), и существует множество инструментов, которые генерируют CFG, я легко реализовал алгоритм обратного среза с Java.
Однако, как я читал в некоторых статьях, я видел, что прямое срезание работает на графиках системной зависимости (SDG), и я обнаружил, что WALA генерирует SDG, но также реализовано прямое нарезание.
WALA - очень большой проект, и я вроде как заблудился в его кодах и документации.Есть ли примеры того, как я могу использовать прямую нарезку WALA для Java?Или, по крайней мере, как я могу сгенерировать SDG данной программы в формате dot , чтобы я мог также визуализировать его с помощью Graphviz.