Ferramenta de análise estática para Java, C, C++ e Objective-C
