Open prabhu opened 4 months ago
A simple call tree slicing on top of CFG. This could offer some improvements over usage slicing with better performance than reachables. We can try to squeeze in automatic tags, too.
A simple call tree slicing on top of CFG. This could offer some improvements over usage slicing with better performance than reachables. We can try to squeeze in automatic tags, too.