There is another problem with this type of tools, you can read about it here: http://blog.regehr.org/archives/226 http://blog.regehr.org/archives/226 most of

There is another problem with this type of tools, you can read about it here: http://blog.regehr.org/archives/226 http://blog.regehr.org/archives/226 most of what it's found while still a bug may never lead to erratic behaviour, it's hard to estimate the severity of each bug and it's a lot of work to wade through all of them.