Вдобавок к указанным инструментам посмотрите еще тут http://www.softwareverify.com/productsCpp.html. Довольно хорошие делают тулзы, но интерфейс несколько страдает от мега-переизбытка галочек и кнопочек... ну, нет, видимо, у них дизайнеров