Static slicing

  1. REDIRECT Program slicing