Coverity
静的解析によって不具合やセキュリティリスクなどを検知するツール．