Practical static analysis (vincentsanders.blogspot.co.uk)

Coming from a safety-critical background, I found this a very interesting read. I am a massive fan of static analysis, and I hadn't realised that the open source tools had come this far.