Polyspace Client for C/C++

Enforce Coding Standards

Polyspace Client for C/C++ supports the detection of MISRA-C:2004, MISRA-C++:2008, and JSF++ coding violations. The product also generates code metrics and produces reports that you can use to monitor and help improve code reliability and quality.

You can configure the client to focus on all the rules of the standard or individually select the rules you want to enforce. You can also mirror this configuration on the Polyspace server to make sure that the same coding rules are enforced within your team.

You can decide to fix the errors by double-clicking on the errors within Polyspace, or to justify the coding rule violations in the results for the purpose of documentation or code comments. The Polyspace user interface lets you focus on differences from the previous runs to avoid reviewing a check twice.