Contenu principal

Règles JSF C++

Liste et description des directives JSF® C++ supportées par Polyspace®

Le contrôleur Polyspace JSF C++ vous aide à respecter les normes de codage Joint Strike Fighter® Air Vehicle C++ (JSF++). Ces normes de codage sont conçues pour améliorer la robustesse du code C++ et sa maintenabilité.

Pour plus d’informations sur les règles supportées, consultez JSF AV C++ Coding Rules. Utilisez l'option d’analyse Check JSF C++ rules (-jsf-coding-rules) pour activer des sous-ensembles de règles. En cas d’infraction aux règles JSF C++, le logiciel Polyspace fournit des messages contenant des informations sur les infractions aux règles. La plupart des messages sont signalés lors de la phase de compilation d'une analyse.

Remarque

Le contrôleur Polyspace JSF C++ s’appuie sur JSF++:2005.

Rubriques