Parasoft

Family of static analysis and automated testing products for C, C++, Java and .NET, oriented toward safety and security coding standard compliance.