Regole JSF C++
Il checker Polyspace JSF C++ aiuta a rispettare gli standard di codifica Joint Strike Fighter® Air Vehicle C++ (JSF++). Questi standard di codifica sono progettati per migliorare la robustezza del codice C++ e facilitarne la manutenzione.
Per informazioni sulle regole supportate, vedere JSF AV C++ Coding Rules. Utilizzare l'opzione di analisi Check JSF C++ rules (-jsf-coding-rules) per attivare sottoinsiemi delle regole. Quando vengono violate le regole JSF C++, Polyspace fornisce messaggi con informazioni sulle violazioni delle regole. La maggior parte dei messaggi viene riportata durante la fase di compilazione di un'analisi.
Nota
Il checker Polyspace JSF C++ si basa su JSF++:2005.
Argomenti
- 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.
