The MISRA folks talk about the importance of Static Code Analysis. What is it, and what tools are available for it? Anything built into gcc? What does it NOT do?
<edit> Tried to do some searching on the internet with little concrete information </edit>
Thanks
Jim