JSF C++ Rules

List and description of JSF^® C++ guidelines supported in Polyspace^®

The Polyspace JSF C++ checker helps you comply with the Joint Strike Fighter^® Air Vehicle C++ coding standards (JSF++). These coding standards are designed to improve the robustness of C++ code, and improve maintainability.

For information about supported rules, see JSF AV C++ Coding Rules. Use the Check JSF C++ rules (-jsf-coding-rules) analysis option to activate subsets of the rules. When JSF C++ rules are violated, Polyspaceprovides messages with information about the rule violations. Most messages are reported during the compile phase of an analysis.

Note

The Polyspace JSF C++ checker is based on JSF++:2005.

Topics

Polyspace Support for Coding Standards
Check the Polyspace support for different coding standards.
Check for and Review Coding Standard Violations
Check for violations of AUTOSAR C++14, CERT^® C, CERT C++, CWE, MISRA C™, MISRA™ C++, JSF AV C++, or ISO-17961 standards with Polyspace Bug Finder.
JSF AV C++ Coding Rules
Find the JSF++ rules that Polyspace can check.