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