Don't neglect static analysis though. It will find real bugs you haven't noticed.
FindBugs
PMD
lint4j
gcc -Wall
Agitar
etc.