JSF C++ ルール

Polyspace JSF C++ チェッカーは、Joint Strike Fighter^® Air Vehicle C++ コーディング規約 (JSF++) への準拠に役立ちます。これらのコーディング規約は、C++ コードのロバスト性と保守性を向上させる目的で設計されています。

サポートされるルールについての詳細は、JSF AV C++ コーディング ルールを参照してください。Check JSF C++ rules (-jsf-coding-rules) 解析オプションを使用して、このルールのサブセットを有効にします。JSF C++ ルールに違反すると、Polyspace チェッカーによりルール違反に関する情報を含むメッセージが提供されます。ほとんどのメッセージは、解析のコンパイル段階で報告されます。