Marek Chalupa
Results
192
comments of
Marek Chalupa
Nope, this method removes only functions and globals that are not used in the reachable part of the sliced code. It does just a kind of a cleanup.
> However, I was curious if, internally, DG tracks which specific function parameters affect the slicing criterion when performing inter-procedural analysis? Yes, DG tracks this.