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?"
Computers are unreliable, but humans are even more unreliable. Any system which depends on human reliability is unreliable. -- Gilb