About Parasoft C/C++test

Parasoft C/C++test is an integrated development testing solution designed to help C and C++ developers improve software quality. By assisting in the process of validating C/C++ code and applications, it helps you prevent errors, detect errors more effectively, and increase development team productivity.

...

C/C++test has been certified by TÜV SÜD to be qualified for safety-related software development:
The verification tool fulfills the requirements for support tools according to IEC 61508-3. The tool is qualified to be used in safety-related software development according to IEC 61508 and ISO 26262.

See Using C/ C++test on Safety-Related Software for details.