Règles JSF C++
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
- 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.