An extensible multilanguage static code analyzer
Code Visualization and Analysis
A very powerful static code analysis tool