Prevent

ELIS復活祭でスタンフォードチェッカーがどうのという話があったなぁと思ってふとネットを探索してみる
wikipedia:en:Coverity

Coverity Prevent is a static code analysis tool for C, C++, C# and Java source code. It is a commercial product which originated as the Stanford Checker,[1] which used abstract interpretation to identify defects in source code.

ふむ