Standard di codifica
Descrizione ed esempi di checker delle regole di codifica
Polyspace® Bug Finder™ può controllare il codice rispetto a diversi insiemi di regole di codifica e regole di codifica personalizzate. Per iniziare a controllare le regole di codifica, vedere Check for and Review Coding Standard Violations. Per controllare l'estensione della copertura di Polyspace per i diversi standard, vedere Polyspace Support for Coding Standards.
Verifica della conformità agli standard di codifica
Categorie
- Regole MISRA C:2004
Elenco e descrizione delle linee guida MISRA C™:2004 supportate da Polyspace
- Direttive e regole MISRA C:2012
Elenco e descrizione delle linee guida di codifica MISRA C:2012 supportate da Polyspace
- Direttive e regole MISRA C:2023
Elenco e descrizione delle direttive e delle regole MISRA™ C:2023 supportate da Polyspace
- Regole e suggerimenti CERT C
Elenco e descrizione delle regole e dei suggerimenti standard CERT C supportati da Polyspace
- Regole ISO/IEC TS 17961
Elenco e descrizione delle regole dello standard di sicurezza ISO/IEC TS 17961 supportate da Polyspace
- Regole MISRA C++:2008
Elenco e descrizione delle linee guida MISRA C++:2008 supportate in Polyspace
- Regole e direttive MISRA C++:2023
Elenco e descrizione delle regole e delle direttive MISRA C++:2023
- Regole JSF C++
Elenco e descrizione delle linee guida JSF® C++ supportate in Polyspace
- Regole AUTOSAR C++14
Elenco e descrizione delle regole AUTOSAR C++14 supportate da Polyspace
- Regole CERT C++
Elenco e descrizione delle regole dello standard CERT C++ supportate da Polyspace
- Enumerazione delle vulnerabilità comuni (CWE)
Elenco e descrizione delle regole dello standard di sicurezza CWE supportate da Polyspace
- Regole di codifica personalizzate
Elenco e descrizione delle regole personalizzate per la convenzione di denominazione
- Linee guida
Elenco e descrizione dei checker delle linee guida