Reglas JSF C++
El comprobador JSF C++ de Polyspace le ayudará a cumplir los estándares de codificación Joint Strike Fighter® Air Vehicle C++ (JSF++). Estos estándares están diseñados para mejorar la solidez del código C++ y su mantenibilidad.
Para obtener información sobre las reglas compatibles, consulte JSF AV C++ Coding Rules. Utilice la opción de análisis Check JSF C++ rules (-jsf-coding-rules) para activar subconjuntos de reglas. Cuando se infringen las reglas de JSF C++, Polyspace proporciona mensajes con información sobre las infracciones de las reglas. La mayoría de los mensajes se notifican durante la fase de compilación de un análisis.
Nota
El comprobador Polyspace JSF C++ se basa en JSF++:2005.
Temas
- 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.