* Laboratory of Software Analysis Lesson 1 Mariano Ceccato, FBK-Irst Trento, Italy [email protected] Alesssandro Marchetto FBK-Irst Trento, Italy [email protected] The Project…