This actually is a new term for me. I've heard people sometimes (rarely) use that term, but I couldn't figure out what that means at the time. Looked at wikipedia (for curiosity) and found this definition http://en.wikipedia.org/wiki/Static_code_analysis.
What actually interests me is the Formal Methods that is being described there. It's quite extensive list and I would say that it will take quite a long time to perform all of that. I can't say I've done any of those kind of test to the degree described there.
So my question is, have anyone here done such analysis? tell me your experiences and how you did it.