Empower developers to write cleaner & safer code
Detect bugs and security weaknesses in the source code
A powerful system for statistical computation and graphics