Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep(ACM, 2020-11-19)
[EN] The System Dependence Graph (SDG) is a program representation used in several static analyses. In particular, it is
the basis of program slicing, a technique that extracts the
part of the program that may directly or ...
[EN]
Program slicing is a technique to extract the part of the program that can affect the values computed at a given program point (known as the slicing criterion). To represent programs, program slicing uses the System ...