Skip to content
Attila Sukosd edited this page Mar 15, 2013 · 1 revision

We have "tuned" the static checker PMD in a similar fashion to FindBugs. PMD analyzes source code, rather than bytecode. Thus, it is not usable in all circumstances, as sometimes source is not available due to licensing, legal, or intellectual property-related reasons.

Evaluation and maintaining the configuration of PMD in the Mobius PVE mirrors that of FindBugs---as the plugin evolves, so does the set of checks enabled by default to support verification-centric development

Version: 1 Time: Fri Mar 28 12:08:25 2008 Author: dcochran (dcochran) IP: 193.1.132.32

Clone this wiki locally