Klocwork
(FREE)
What is Klocwork ?
Static code analyzer that helps optimize code quality and production time using continuous integration, reports, etc.