This project provides various analyses and transformations required to slice Java programs.