Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Our Students
  3. Online Resources & Handbooks
  4. Student projects - Compute Program Dependence Graphs

Compute Program Dependence Graphs

Supervisor

Daniel Kroening

Suitable for

MSc in Computer Science

Abstract

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 http://www.sciencedirect.com/science/article/pii/S0950584913000384 and make the tests mentioned in there work.

Our Students

Back to Top