Here you will find the material for the third Tp of the Testing Course which copes with the static analysis using PMD.
Objective: to manipulate PMD, a framework for automatic static analysis.
Go to http://people.rennes.inria.fr/Benoit.Baudry/test-course/ to find more information