I prodotti di analisi statica dei codici Polyspace® utilizzano metodi formali per dimostrare l’assenza di errori di run-time critici in tutte le possibili strutture di controllo e nel flusso di dati. Includono checker di regole di codifica, vulnerabilità di sicurezza, metriche del codice e centinaia di classi aggiuntive di bug.
Polyspace Access
Identificazione dei difetti di codifica, revisione dei risultati delle analisi statiche e monitoraggio delle metriche di qualità del software
Polyspace Bug Finder
Controlla le regole di codifica, degli standard di sicurezza, delle metriche del codice e individua i bug
Polyspace Bug Finder Server
Identificazione di difetti software tramite analisi statiche in esecuzione su computer server
Polyspace Code Prover
Dimostra formalmente l’assenza di errori critici di run-time senza eseguire codice
Polyspace Code Prover Server
Dimostrazione dell’assenza di errori di run-time nel software
Polyspace Client for Ada
Dimostrazione dell’assenza di errori di run-time nel codice sorgente
Polyspace Server for Ada
Esecuzione della verifica del codice su cluster di computer e pubblicazione delle metriche

Analisi statica automatica dei codici utilizzando metodi formali per C/C++ e Ada
Qualità
Trova bug e dimostra formalmente l’assenza di errori critici di run-time, senza casi di test o esecuzione del codice.
Sicurezza
Soddisfa gli standard di sicurezza e di conformità di MISRA, ISO 26262, IEC 61508, DO-178 e delle normative FDA.
Sicurezza
Verifica le vulnerabilità di sicurezza del software e gli standard come CWE, CERT-C, ISO/IEC 17961, e altri.
Volvo Cars
Con Polyspace, possiamo garantire la sicurezza e la qualità del software individuando e correggendo gli errori critici di run-time prima dell’unione dei codici.
Alenia Aermacchi
Gli strumenti di analisi statica di Polyspace verificano il codice per gli errori di run-time, assicurano il rispetto degli standard di codifica MISRA e creano artefatti che permettono di ottenere crediti validi per la certificazione DO-178.
Miracor
Polyspace aiuta Miracor a dimostrare qualità e correttezza alla comunità di regolamentazione, compresa la FDA, per provare la sicurezza del dispositivo.