Skip to main content

Compute Program Dependence Graphs


Suitable for

MSc in Computer Science


Program dependence graphs (PDGs) form an essential element for slicing. The reaching definitions analysis is particularly well suited to derive a clean and precise implementation of program dependence graphs, because it is field-sensitive.

Make SAMATE Tests Work

Read this paper and make the tests mentioned in there work.