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?"
How many NASA managers does it take to screw in a lightbulb? "That's a known problem... don't worry about it."