Perforce Klocwork

Klockwork, from Perforce Software, supports Static Code Analysis for C, C++, C#, Java, JavaScript, and Python.