rewt66 asks: "We are looking for a good static analysis tool for a fairly large (half a million lines) C/C++ project. What tools do you recommend? What do you recommend avoiding? What experience (good or bad) have you had with such tools?"
Life in the state of nature is solitary, poor, nasty, brutish, and short. - Thomas Hobbes, Leviathan