Slide 1Crystal-izing Sophisticated Code Analyses Ciera Jaspan Kevin Bierhoff Jonathan Aldrich http://code.google.com/p/crystalsaf Slide 2 2 Installation Pre-requisites Eclipse…