静的解析ツール調査

最近、社内でメモリリークが話題となっている。
で、リークになりそうなコード（言語はJava）を引っ掛けてくれる静的解析ツールはないものかという調査依頼を受けた。
checkstyle,FindBugs,PMD,Lint4J,jlintといった無償のツールでのチェック項目を調べてみたがリークに関するチェックはないようだ。せいぜい、リソースのclose忘れぐらいか。
メモリリークはたいていコレクションの不適切な使い方が原因。しかし、上記ツールではコレクションに関する解析はしてくれないようだ。
有償ではjtestに「バグ探偵」という機能があるが、やはり”リソースリーク”の検知だけのようだ。
Coverity Preventというツールには”メモリやリソースのリーク”を検知するとある。果たしてどこまで引っ掛けてくれるのか。試用版があるので試してみる価値はあるかも。ただ、試用版は「別途ご相談の上、ご提供申し上げます」とある。相談て何よ。面倒くせえなあ。
最終手段として自作もありかも。