Coverityでのコードの評価方法

どうやってバグをスキャンしたというのだろうか？
ある種のツールなどを使用した機械的な実施結果なのか、それとも経験豊富なエンジニア達によるソースレビューによる実施結果なのか。Coverityって会社のことについて知りたいなぁ。

• Coverity: Automated Error Prevention and Source Code Analysis
  http://coverity.com/main.html

• ITmedia エンタープライズ：Coverity、LAMPのコード品質を評価
  http://www.itmedia.co.jp/enterprise/articles/0603/07/news104.html
• ITmedia エンタープライズ：Linuxのセキュリティは国家的課題、DHSがコード改善プロジェクト
  http://www.itmedia.co.jp/enterprise/articles/0601/13/news026.html