The Polyspace® JSF® C++ checker helps you comply with the Joint Strike Fighter® Air Vehicle C++ coding standards (JSF++). These coding standards were developed by Lockheed Martin® for the Joint Strike Fighter program. They are designed to improve the robustness of C++ code, and improve maintainability.
[1]
When JSF++ rules are violated, the Polyspace JSF C++ checker enables Polyspace software to provide 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.
[1] JSF and Joint Strike Fighter are Lockheed Martin.